A safety-case approach for certifying adaptive systems

AIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference

Volumn , Issue , 2009, Pages

  Rushby, John ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE MODE; ANALYSIS TOOLS; BOUNDED MODEL; EFFECTIVE ANALYSIS; EXAMPLE BASED; INTERACTIVE THEOREM PROVER; MODEL-BASED DESIGN; MODELING NOTATION; MOVING FIELD; PUSH BUTTONS; RUNTIMES; SAFETY ANALYSIS; SAFETY CASE; SELF-CHECKING PAIRS; SOLID BASIS;

ADAPTIVE SYSTEMS; FORMAL METHODS; MODEL CHECKING; RELIABILITY ANALYSIS; STANDARDS;

SAFETY ENGINEERING;

EID: 77958467741     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Requirements and Technical Concepts for Aviation, Washington, DC, DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Dec. 1992, This document is known as EUROCAE ED-12B in Europe.
2. Argument Map Wiki page, http://en.wikipedia.org/wiki/Argument-map.
3. Kelly, T. P. and Weaver, R. A.," The Goal Structuring Notationl-A Safety Argument Notation," DSN Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy, July 2004.
4. Bishop, P., Bloomfield, R., and Guerra, S.," The Future of Goal-Based Assurance Cases," DSN Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy, July 2004.
5. ASCE home page, http://www.adelard.com/web/hnav/ASCE/index.html.
6. Toulmin, S. E., The Uses of Argument, Cambridge University Press, 2003, Updated edition (the original is dated 1958).
7. Simulink Design Verifier home page, http://www.mathworks.com/ sldesignverifier/.
8. AADL home page, http://www.aadl.info/.
9. WW Technology Group, \EDICT Tool Suite," Available at http://wwtechnology.com/products/EdictCore.htm, March 2008.
10. Rushby, J., \Harnessing Disruptive Innovation in Formal Verification," Fourth International Conference on Software Engineering and Formal Methods (SEFM), edited by D. V. Hung and P. Pandya, IEEE Computer Society, Pune, India, Sept. 2006, pp. 21=28.
11. SAL home page, http://sal.csl.sri.com/.
12. Yices home page, http://yices.csl.sri.com/.
13. " Report on the incident to Airbus A340-642, registration G-VATL en-route from Hong Kong to London Heathrow on 8 February 2005," Report 4/2007, UK Air Investigations Branch, 2007, Available at http://www.aaib.gov.uk/ publications/formal-reports/4-2007-g-vatl.cfm.
14. Driscoll, K., Hall, B., Sivencrona, H., and Zumsteg, P.," Byzantine Fault Tolerance, from Theory to Reality," SafeComp 2003: Proceedings of the 22nd International Conference on Computer Safety, Reliability, and Security, edited by S. Anderson, M. Felici, and B. Littlewood, No. 2788 in Lecture Notes in Computer Science, Springer-Verlag, Edinburgh, Scotland, Sept. 2003, pp. 235-248.
15. Rushby, J.," Just-in-Time Certification," 12th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS), IEEE Computer Society, Auckland, New Zealand, July 2007, pp. 15-24.
16. Rushby, J.," How Do We Certify For The Unexpected?" AIAA Guidance, Navigation and Control Conference, American Institute of Aeronautics and Astronautics, Honolulu HI, Aug. 2008, AIAA paper 2008-6799.
17. Rushby, J.," Runtime Certification," Eighth Workshop on Runtime Verification: RV08, edited by M. Leucker, Vol. 5289 of Lecture Notes in Computer Science, Springer-Verlag, Budapest, Hungary, April 2008, pp. 21-35.
18. Littlewood, B. and Rushby, J., Reasoning about the Reliability of Fault-Tolerant Systems in Which One Component is \Possibly Perfect", City University UK and SRI International USA, 2009, In preparation.