Certifiably safe software-dependent systems: challenges and directions-Reference-Cited by-同舟云学术

Certifiably safe software-dependent systems: challenges and directions

Published:2014-05-31 Issue: Volume: Page:
ISSN:
Container-title:Future of Software Engineering Proceedings
language:
Short-container-title:

Author:

Hatcliff John¹,Wassyng Alan²,Kelly Tim³,Comar Cyrille⁴,Jones Paul⁵

Affiliation:

1. Kansas State University, USA

2. McMaster University, Canada

3. University of York, UK

4. AdaCore, France

5. US Food and Drug Administration, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2593882.2593895

Reference82 articles.

1. Ministry of defence defence standard 23-09 – generic vehicle architecture aug 2010. Ministry of defence defence standard 23-09 – generic vehicle architecture aug 2010.

2. ACM and IEEE Computer Society. Software engineering 2004 curriculum guidelines for undergraduate degree programs in software engineering. http://sites. computer.org/ccse/SE2004Volume.pdf 2004. ACM and IEEE Computer Society. Software engineering 2004 curriculum guidelines for undergraduate degree programs in software engineering. http://sites. computer.org/ccse/SE2004Volume.pdf 2004.

3. Associated Press. Okla. jury: Toyota liable in sudden acceleration crash. http: //www.cbsnews.com/news/okla-jury-toyotaliable-in-sudden-acceleration-crash/ 2013. Associated Press. Okla. jury: Toyota liable in sudden acceleration crash. http: //www.cbsnews.com/news/okla-jury-toyotaliable-in-sudden-acceleration-crash/ 2013.

4. AUTomotive Open System ARchitecture. AUTOSAR. https://www.autosar.org 2014. AUTomotive Open System ARchitecture. AUTOSAR. https://www.autosar.org 2014.

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

1. Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases;Lecture Notes in Computer Science;2023

2. How assurance case development and requirements engineering interplay: a study with practitioners;Requirements Engineering;2022-02-09

3. Automatic Code Generation of Safety Mechanisms in Model-Driven Development;Electronics;2021-12-17

4. Awas: AADL information flow and error propagation analysis framework;Innovations in Systems and Software Engineering;2021-07-19

5. A Workflow for Automatic Code Generation of Safety Mechanisms via Model-Driven Development;Communications in Computer and Information Science;2021