Improving safety assessment of complex systems: an industrial case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 208-222

  Bozzano, Marco ^a   Cavallo, Antonella ^b   Cifaldi, Massimo ^c   Valacca, Laura ^c   Villafiorita, Adolfo ^a  

^a ITC IRST   (Italy)

^b Alenia Aeronatica   (Italy)

^c Società Italiana Avionica   (Italy)

Author keywords

Automated Fault Tree Computation; ESACS; Formal Verification and Safety Assessment of Complex Systems

Indexed keywords

ACCIDENT PREVENTION; ENGINEERS; SAFETY ENGINEERING; SYSTEMS ANALYSIS;

CONTINUOUS IMPROVEMENTS; EMBEDDED CONTROLLERS; ESACS; EUROFIGHTER TYPHOONS; FAULT-TREES; INDUSTRIAL CASE STUDY; INDUSTRIAL COMPANIES; SAFETY ASSESSMENTS;

FORMAL METHODS;

EID: 35248889587     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_13     Document Type: Article

References (29)

1. Audemard, G. & Bertoli, P. & Cimatti, A. & Kornilowicz, A. & Sebastiani R. A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. In A. Voronkov (Ed.), Proc. Conference on Automated Deduction (CADE-18), volume 2392 of LNAI, pages 195-210, Springer-Verlag, 2002.
2. Audemard, G. & Cimatti, A. & Komilowicz, A. & Sebastiani R. Model Checking for Timed Systems. In D. Peled, M.Y. Vardi (Eds.), Proc. Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002), volume 2529 of LNCS, pages 243-259, Springer-Verlag, 2002.
3. Arnold, A. & Griffault, A. & Point, G. & Rauzy, A. The AltaRica formalism for describing concurrent systems. Fundamenta Informaticae, 40:109-124, 2000.
4. Aldemir, Y. Computer-assisted Markov Failure Modeling of Process Control Systems. IEEE Transactions on Reliability, R-36:133-144, 1987.
5. Biere, A. & Cimatti, A & Clarke, E.M. & Zhu, Y. Symbolic Model Checking without BDDs. In R. Cleaveland (Ed.) Proc. 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), volume 1579 of LNCS, pages 193-207, Springer-Verlag, 1999.
6. Bieber, P. & Castel, C. & Seguin, C. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. In Proc. 4th European Dependable Computing Conference, volume 2485 of LNCS, page 19-31, Springer-Verlag, 2002.
7. Brayton R.K. & Hachtel G.D. & Sangiovanni-Vincentelli A.L. & Somenzi F. & Aziz A. & Cheng S.-T. & Edwards S.A. & Khatri S.P. & Kukimoto Y. & Pardo A. & Qadeer A. & Ranjan R.K. & Sarwary S. & Shiple T.R. & Swamy G. & Villa T. VIS: A System for Verification and Synthesis. In R. Alur and T.A. Henzinger (Eds.), Proc.8th International Conference on Computer Aided Verification (CAV'96), Volume 1102 of LNCS, pages 428-432, Springer-Verlag, 1996.
8. Bryant, R.E. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
9. Bozzano, M. & Villafiorita, A. Integrating Fault Tree Analysis with Event Ordering Information. In Proc. European Safety and Reliability Conference (ESREL 2003), Maastricht, The Netherlands, 2003.
10. Cimatti A. & Clarke, E.M. & Giunchiglia, E. & Giunchiglia, F. & Pistore, M. & Roveri, M. & Sebastiani, R. & Tacchella, A. NuSMV2: An OpenSource Tool for Symbolic Model Checking. In Proc. International Conference on Computer-Aided Verification (CAV 2002), Copenhagen, Denmark, 2002.
11. Clarke, E. & Grumberg, O. & Peled, D. Model Checking. MIT Press, 1999.
12. Cojazzi, G. & Izquierdo, J.M. & Meléndez, E. & Perea, M.S. The Reliability and Safety Assessment of Protection Systems by the Use of Dynamic Event Trees. The DYLAM-TRETA Package. In Proc. XVIII Annual Meeting Spanish Nucl. Soc., 1992.
13. Coudert, O. & Madre, J. Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. In Proc. 29th Design Automation Conference (DAC'98), pages 36-39, IEEE Computer Society Press, 1991
14. 20 Prime Implicants and Beyond. In Proc. Annual Reliability and Maintainability Symposium, 1993.
15. Devooght, J. & Smidts, C. Probabilistic Dynamics; The Mathematical and Computing Problems Ahead. In T. Aldemir, N.O. Siu, A. Mosleh, P.C. Cacciabue and B.G. Göktepe (Eds.), Reliability and Safety Assessment of Dynamic Process Systems, NATO ASI Series F, 120:85-100, Springer-Verlag, 1994.
16. Emerson, E. Temporal and Modal Logic. In J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Volume B, pp. 995-1072. Elsevier Science, 1990.
17. Fenelon, P. & McDermid, J.A. & Pumfrey D.J. & Nicholson. M. Towards Integrated Safety Analysis and Design. ACM Applied Computing Review, 2(1):21-32, ACM Press, 1994.
18. Henzinger, T.A. The Theory of Hybrid Automata. In Proc. 11th Annual International Symposium on Logic in Computer Science (LICS'96), pages 278-292, IEEE Computer Society Press, 1996.
19. Henzinger, T.A. & Ho, P.-H. & Wong-Toi, H. Hytech: : A Model Checker for Hybrid Systems. Software Tools for Technology Transfer, 1:110-122, 1997.
20. th International Symposium on Fault Tolerant Computing (FTCS'98), Munich, Germany, pp. 90-99. IEEE Computer Society Press, 1998.
21. Manian, R. & Dugan, J.B., & Coppit, D. & Sullivan, K.J. Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. In Proc. 3rd International High-Assurance Systems Engineering Symposium (HASE'98), pages 21-28, IEEE Computer Society Press, 1998.
22. Marseguerra, M., & Zio, E. & Devooght, J. & Labeau, P.E. A concept paper on dynamic reliability via Monte Carlo simulation. Mathematics and Computers in Simulation, 47:371-382, 1998.
23. Papazoglou, I.A. Markovian Reliability Analysis of Dynamic Systems. In T. Aldemir, N.O. Siu, A. Mosleh, P.C. Cacciabue and B.G. Göktepe (Eds.), Reliability and Safety Assessment of Dynamic Process Systems, NATO ASI Series F, 120:24-43, Springer-Verlag, 1994.
24. Rae, A. 2000. Automatic Fault Tree Generation - Missile Defence System Case Study. Technical Report 00-36, Software Verification Research Centre, University of Queensland, 2000.
25. Smidts, C. & Devooght, J. Probabilistic Reactor Dynamics II. A Monte-Carlo Study of a Fast Reactor Transient. Nuclear Science and Engineering, 111(3):241-256, 1992.
26. th Annual International Symposium on Fault-Tolerant Computing (FTCS'99), pages 232-235, IEEE Computer Society Press, 1999.
27. Siu, N.O. Risk Assessment for Dynamic Systems: An Overview. Reliability Engineering ans System Safety, 43:43-74, 1994.
28. Sheeran M. & and Stalmarck G. A tutorial on Stalmarck's proof procedure for propositional logic, Formal Methods in System Design, vol. 16(1):23-58, 2000.
29. Vesely, W. & Goldberg, F. & Roberts, N. & Haasl D. 1981. Fault Tree Handbook, Technical Report NUREG-0492, Systems and Reliability Research Office of Nuclear Regulatory Research U.S. Nuclear Regulatory Commission.