Evolving a Safe System Design Iteratively

Autor:	Alexandre Mota, Edson Watanabe, Adriano Gomes, Joabe Jesus, Felipe Ferri
Rok vydání:	2010
Předmět:	Model checking Software development process Engineering Development (topology) Markov chain Life-critical system business.industry Safe system Probabilistic design Functional design business Reliability engineering
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642156502 SAFECOMP
DOI:	10.1007/978-3-642-15651-9_27
Popis:	ARP4754 suggests that, whenever possible, aeronautical safety critical systems may be developed as well as checked in an incremental way. But in practice the safe design emerges from the functional essential design in a discontinuous fashion. Engineers take several decisions in the direction of safety that sometimes can loose some of the desired functional characteristics. This can increase the development cost by only detecting functional problems in late phases of the development life cycle. In this paper we propose a strategy that starts from an initial proposed design, where functional behavior is investigated using model checking, and evolves to a reliable and safe design in a stepwise fashion. At each step, where safety aspects are introduced, safety constraints are checked using probabilistic model checking (Markov analysis). The final design emerges when we cannot find any safety violation.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fae34b260e936646b214e97a8e7d3c2d https://doi.org/10.1007/978-3-642-15651-9_27 Zobrazit plný text záznamu