Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-15651-9_27 | SAFECOMP |
Keywords | Field | DocType |
safety aspect,safe design,safe system design iteratively,functional characteristic,initial proposed design,safety constraint,functional essential design,final design,functional behavior,safety violation,aeronautical safety,life cycle,model checking,system design | Probabilistic design,Model checking,Systems engineering,Life-critical system,Computer science,Markov chain,Functional design,Safety constraints,Systems design,Software development process,Reliability engineering | Conference |
Volume | ISSN | ISBN |
6351 | 0302-9743 | 3-642-15650-9 |
Citations | PageRank | References |
8 | 0.53 | 11 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexandre Cabral Mota | 1 | 199 | 18.27 |
Joabe Jesus | 2 | 13 | 1.01 |
Adriano Gomes | 3 | 20 | 1.46 |
Felipe Ferri | 4 | 23 | 2.10 |
Edson Watanabe | 5 | 8 | 0.53 |