Issues for the automatic generation of safety critical software

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 277-280

  O'Halloran, C ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

Author keywords

Automatic code generation; safety critical

Indexed keywords

NETWORK COMPONENTS; SAFETY ENGINEERING; SOFTWARE ENGINEERING;

AUTOMATIC CODE GENERATIONS; AUTOMATIC GENERATION; COMMERCIAL TOOLS; RESEARCH ISSUES; SAFETY CRITICAL SOFTWARE;

AUTOMATIC PROGRAMMING;

EID: 33646540368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873677     Document Type: Conference Paper

References (13)

1. http://www.praxis-cs.co.uk/ also J. M. Sutton. Lean Software for the Lean Aircraft. Lockheed Martin Aeronautical Systems.
2. S. Stepney. High Integrity Compilation.
3. John Barnes. High integrity Ada, The SPARK approach, Addison-Wesley, 1997.
4. Wolfgang Polak. Compiler specification and verification. Springer-Verlag. 1981.
5. A. C. Storey and H. P. Haughton. A strategy for the production of verifiable code using the B method, Springer-Verlag, FME94.
6. Alessandro Armando, Alan Smaill, and Ian Green. Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm, 12th IEEE ASE, 1997. IEEE Computer Society Press.
7. C. O'Halloran and A. Smith. Verification of picture generated code. 14th IEEE ASE, 1999. IEEE Computer Society Press.
8. E. Tronci. Automatic synthesis of control software for an industrial automation control system. 14th IEEE ASE, 1999. IEEE Computer Society Press.
9. P. Garbett, J. Parkes, M. Shackleton, and S. Anderson. Secure synthesis of code: a process improvement experiment. FM99, LNCS 1709, Springer. 1999.
10. P. Maes. Concepts and experiments in computational reflection, in Proceedings of the conference on object-oriented programming systems, languages and applications, OOPSLA'87, ACM SIGPLAN Notices, 1987
11. T. J. Stroud, Zhixue Wu. Using Metaobject protocols to separate functional and non-functional concerns: an example. DeVa technical report no. 14, http://www.newcastle.research.ec.org/deva/trs/index.html, 1996.
12. M. W. Whalen and M. P. E. Heimdahl. An Approach to Automatic Code Generation for Safety-Critical Systems, 14th IEEE International Conference on Automated Software Engineering, 1999. IEEE Computer Society Press.
13. T. J. Erkkinen. Safety-critical software generation, paper MM3-1, proceedings of the IEEE symposium on computer aided control system design. 1999.