Efficient Anytime Techniques for Model-Based Safety Analysis-Reference-Cited by-同舟云学术

Efficient Anytime Techniques for Model-Based Safety Analysis

Published:2015 Issue: Volume: Page:603-621
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bozzano Marco,Cimatti Alessandro,Griggio Alberto,Mattarei Cristian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_41

Reference32 articles.

1. Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Boston (1995)

2. Storey, N.: Safety Critical Computer Systems. Addison-Wesley, Boston (1996)

3. Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems, an Auerbach Book. CRC Press (Taylor and Francis), Boca Raton (2010)

4. Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003, pp. 237–245 (2003)

5. IFIP International Federation for Information Processing;P Bieber,2004

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Defining and characterizing model-based safety assessment: A review;Safety Science;2024-04

2. Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation;Tools and Algorithms for the Construction and Analysis of Systems;2022

3. AADL-Based safety analysis using formal methods applied to aircraft digital systems;Reliability Engineering & System Safety;2021-09

4. A Comprehensive Approach to On-board Autonomy Verification and Validation;ACM Transactions on Intelligent Systems and Technology;2021-08-31

5. Model-based Safety Assessment of a Triple Modular Generator with xSAP;Formal Aspects of Computing;2021-03