Abstract

This material is based upon work supported by the S.D. Bechtel, Jr. Foundation and by the National Science Foundation under Grant No. 0952013. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the S.D. Bechtel, Jr. Foundation or the National Science Foundation. This project has also been made possible with support of the National Marine Sanctuary Foundation. The STAR program is administered by the Cal Poly Center for Excellence in Science and Mathematics Education (CESaME) on behalf of the California State University (CSU). www.nasa.gov National Aeronautics and Space Administration Safety cases are a structured form of an argument that illustrate the safety of a system through the connections between claims and their evidence or justification. Ideally, they should provide for every possible instance in regards to safety of a system, and give proof through justifications and evidence that a system is indeed safe. The alternative to a safety case involves following a set of objectives that have been previously founded on standards or guidelines. Thus by following these objectives, the system or artifact is implicitly deemed as safe. The point of a safety case is to clearly demonstrate the safety of a system by going through thorough argumentation. The AdvoCATE tool provides support for the modeling and transformation of safety cases. Since conventional safety processes are based on spreadsheets, we want to integrate our tool with spreadsheet based artifacts, and then test it. In order to test the tool, we will be developing a test suite to assess functionality of the interface and transformations, so that it can be used for safety-critical applications.

Mentor

Ewen Denney

Lab site

NASA Ames Research Center (ARC)

Funding Acknowledgement

This material is based upon work supported by the S.D. Bechtel, Jr. Foundation and by the National Science Foundation under Grant No. 0952013. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the S.D. Bechtel, Jr. Foundation or the National Science Foundation. This project has also been made possible with support of the National Marine Sanctuary Foundation. The STAR program is administered by the Cal Poly Center for Excellence in Science and Mathematics Education (CESaME) on behalf of the California State University (CSU).

Share

COinS
 

URL: http://digitalcommons.calpoly.edu/star/136

 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.