Software Certification: Is There a Case against Safety Cases?-Reference-Cited by-同舟云学术

Software Certification: Is There a Case against Safety Cases?

Published:2011 Issue: Volume: Page:206-227
ISSN:0302-9743
Container-title:Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
language:
Short-container-title:

Author:

Wassyng Alan,Maibaum Tom,Lawford Mark,Bherer Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21292-5_12

Reference26 articles.

1. Kornecki, A., Zalewski, J.: Certification of software for real-time safety-critical systems: state of the art. Innovations in Systems and Software Engineering 5, 149–161 (2009), http://dx.doi.org/10.1007/s11334-009-0088-1 , doi:10.1007/s11334-009-0088-1

2. CBC Staff: Infusion pumps recalled in U.S. but not Canada. CBC News Online (May 2010), http://www.cbc.ca/news/health/story/2010/05/04/con-baxter-pump.html

3. Poulson, K.: Known software bug disrupts brain-tumor zapping. Wired (October 2009), http://www.wired.com/threatlevel/2009/10/gamma

4. Bogdanich, W.: Radiation offers new cures, and ways to do harm. The New York Times Online (January 2010), http://www.nytimes.com/2010/01/24/health/24radiation.html

5. Bogdanich, W., Rebelo, K.: A pinpoint beam strays invisibly, harming instead of healing. The New York Times Online (December 2010), http://www.nytimes.com/2010/12/29/health/29radiation.html

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

1. Lessons Learned Building a Tool for Workflow⁺;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. Safety-Critical Adaptation in Self-Adaptive Systems;2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2022-10

3. Generating Assurance Cases Using Workflow$$^+$$ Models;Lecture Notes in Computer Science;2022

4. Recommendations for Effective Security Assurance of Software-Dependent Systems;Advances in Intelligent Systems and Computing;2020

5. Analysing encryption mechanisms and functional safety in a ROS‐based architecture;Journal of Software: Evolution and Process;2019-07-31