Evolving a Safe System Design Iteratively-Reference-Cited by-同舟云学术

Evolving a Safe System Design Iteratively

Published:2010 Issue: Volume: Page:361-374
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Mota Alexandre,Jesus Joabe,Gomes Adriano,Ferri Felipe,Watanabe Edson

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15651-9_27.pdf

Reference26 articles.

1. Prism and CSP models, http://www.cin.ufpe.br/~acm/ecs/

2. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems. Aerospace Recommended Practice ARP4761, SAE International, Warrendale, PA (December 1996)

3. Alexander, R., Herbert, N., Kelly, T.: Deriving Safety Requirements for Autonomous Systems. In: 4th SEAS DTC Technical Conference (2009)

4. Alexander, R.D., Kelly, T.P.: Escaping the non-quantitative trap. In: 27th International System Safety Conference, pp. 69–95 (2009)

5. Lecture Notes in Computer Science;M. Bozzano,2003

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

1. Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving;Science of Computer Programming;2024-09

2. Compositional Verification of Simulink Block Diagrams Using tock-$$CSP$$ and CSP-Prover;Lecture Notes in Computer Science;2022

3. Rigorous development of component-based systems using component metadata and patterns;Formal Aspects of Computing;2016-11

4. An algebra of temporal faults;Information Systems Frontiers;2016-06-22

5. A Lattice-Based Representation of Temporal Failures;2015 IEEE International Conference on Information Reuse and Integration;2015-08