Elementi di software dependability software safety. Elementi di software dependability formal methods in. Indirizzo civile elementi di geologia e 6 geomorfologia chimica. Fisica statistica e teoria dellinformazione b010508. Software geotecnico 3d a elementi finiti completo bentley. Guida dello studente scuola di ingegneria universita degli studi.
I computer sono diventati parte della vita quotidiana. Reliability, scalability, performance, usability, security, installation, interoperability. External requirements requirements which arise from factors which are external to the system and its development process e. Business and formal methods, techniques, outcomes, famous projects. Massimo felici on the adoption of model checking in safetyrelated software industry. B024206 statistics for spatial data corso di laurea magistrale in statistica, scienze attuariali e finanziarie curricula. Alessandro fantechi presidente della scuola di ingegneria. Dispensa di elementi di software dependability satbased model checking.
Modellazione markoviana degli attributi di dependability, valutazione degli attributi rams con il. Consente accesso logico e strutturato agli elementi. Dependability assessment of software for safety instrumentation and control systems at nuclear power plants. Soilvision offre una suite completa di software geotecnici 2d e 3d. Misra motor industry software reliability association a composizione mista tra industrie automobilistiche, fornitori di componenti ed enti universitari. Codice cdl tipo laurea corso di laurea insegnamento docenza semestre anno di corso sede stato schede informazioni risultati. Problematiche di certificazione del software safetycritical i. Il software di supervisione puo proporre semplici stime dellenergia.
Slides per il corso di elementi di software dependability prof. Leveson sostiene che lanalisi degli azzardi e lelemento centrale nel processo di ricerca della. Software architectures and enterprise applications people. In systems engineering, dependability is a measure of a systems availability, reliability, and its maintainability, and maintenance support performance, and, in some cases, other characteristics such as durability, safety and security. Software geotecnico di progettazione a elementi finiti. Produzione di software critico unipd 2005 ingegneria del software mod. Modeldriven dependability assessment of software systems.
Ingegneria dei requisiti software technologies lab stlab. Iaea nuclear energy series dependability assessment of software. Dispensa di elementi di software dependability formal methods in practice. In software engineering, dependability is the ability to provide services that. Differenza tra ft e htft fa riferimento ad una popolazione sana al tempo t0ht fa riferimento ad una pppopolazione sana al tempot. Nello specifico gli argomenti trattati sono i seguenti. Software geotecnico di analisi a elementi finiti plaxis. Produzione di software critico tullio vardanega 2002 1 7. Elementi di software dependability interpretazione astratta. My research interests are in the field of software dependability, and include software fault injection, dependability benchmarking, and software.
Appunti di elementi di software dependability interpretazione astratta. Commissioni desame 20172018 primo semestre orario e. Keywords software refactoring, dependability, change propagation, model. Software culture i nuovi formati della digital art. Committees practical formal verification for software. Appunti di elementi di software dependability download.
Image analysis, software dependability, safety engineering. Fantechi b024321 software dependability software dependability 9 cfu obiettiviformativi ilcorsosipropone di illustrareunaserie di tecnichecheconsentono di ovviare. Quality software i gli elementi che costituiscono il prodotto software specifica dei requisiti utente di sistema software progetto. Dispensa di elementi di software dependability model checking basato sul tableau. Organisational requirements requirements which are a consequence of organisational policies and procedures e. Webpage of the practical formal verification for software dependability workshop search this site. Pdf check and forecasting of railway traffic regularity by a petri. B024321 software dependability corso di laurea magistrale in ingegneria informaticab027530. The complex software applications that pervade nowadays safety critical domains, such. Dipartimento di sistemi ed informatica, university of firenze, firenze, italy and resiltech srl, cascina pi, italy. Questo sito usa cookie di analytics di terze parti per raccogliere dati in forma aggregata e anonima al fine di. The first ones regard the 6 cfu variant of the course. In this book, the authors present cuttingedge modeldriven techniques for modeling and analysis of software dependability.
Dipartimento di ingegneria dellinformazione dinfo via di s. Ultimate problems addressable by model checking, checking correctness of the. I seguenti appunti sono molto riassuntivi, non garantisco. Problematiche di certificazione del software safetycritical i generalita. Felicita di giandomenico, andrea bondavalli, paola inverardi an approach to. Slides per il corso di elementi di software dependability. Dependability modeling and assessment in umlbased software. Per sostenere lesame riferirsi in primo luogo ai libri di testo indicati dal docente.
Appunti di elementi di software dependability software safety. Integrating dependability modeling and analysis in a umlbased software development. Software dependability the complex software applications that pervade nowadays safety critical domains, such as transportation, raise increasing concerns about. Metrics in software verification and validation isbsg. Elementi di software dependability satbased model checking. The prediction of software reliability is important to.