Secure synthesis of code: A process improvement experiment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1816-1835

  Garbett, P ^a   Parkes, J P ^a   Shackleton, M ^a   Anderson, S ^b  

^a Lucas Aerospace   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); SAFETY ENGINEERING;

AVIONICS APPLICATIONS; CODE COMPONENTS; CONTROLLED EXPERIMENT; CONVENTIONAL APPROACH; CONVENTIONAL METHODS; FORMAL APPROACH; PROCESS IMPROVEMENT; SECURE CODES;

FORMAL METHODS;

EID: 84949516843     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_46     Document Type: Conference Paper

References (17)

1. Adelard. ASCAD - Adelard Safety Case Development Manual. Adelard, 1998. ISBN 0 9533771 0 5.
2. Geoff Barrett. Formal methods applied to a floating-point number systems. IEEE Transactions on Software Engineering, 15(5):611-621, May 1989.
3. B. A. Carre, D. L. Clutterbuck, C. W. Debney, and I. M. O'Neill. SPADE - the thampton Program Analysis and Development Environment. In Software Engineering Environments, pages 129-134. Peter Peregrinus, 1986.
4. P. Caseley, C. O'Halloran, and A. Smith. Explaining code with pictures – a case study. Technical Report DERA/CIS/CIS3/TR990083/1.0 (DRAFT), DERA, 1997.
5. S. Easterbrook, R Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton. Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering, 24(1), Jan 1998.
6. E.M. Mayger and M.P. Fourman. Integration of formal methods with system design. In A. Halaas and P.B. Denyer, editors, International Conference on Very Large Scale Integration, pages 59-70, Edinburgh, Scotland, August 1991. IFIP Transactions, North-Holland.
7. M. P. Fourman. Formal System Design, chapter 5, pages 191-236. North-Holland, 1990.
8. P. Garbett, J. Parkes, M. Shackleton, and S. Anderson. A case study in innovative process improvement: Code synthesis from formal specifications. In Avionics 98, 1998.
9. R. Lutz. Targeting safety-related errors during software requirements analysis. The Journal of Systems and Software, 34:223-230, Sept 1996.
10. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1989.
11. M.P. Fourman and E.M. Mayger. Formally Based System Design – Interactive hardware scheduling. In G. Musgrave and U. Lauther, editors, Very Large Scale Integration, pages 101-112, Munich, Federal Republic of Germany, August 1989. IFIP TC 10/WG10.5 International Conference, North-Holland.
12. I.M. O'Neill, D.L. Clutterbuck, P.F. Farrow, P.G. Summers, and W.C. Dolman. The formal verification of safety critical assembly code. In Safety of Computer Control Systems, pages 115-120. Pergammon Press, 1988.
13. L. C. Paulson. Isabelle: A generic theorem prover. Lecture Notes in Computer Science, 828:xvii + 321, 1994.
14. Requirements and Technical Concepts for Aviation. Software Considerations in Airborne Systems and Equipment Certification, Dec 1992. (document RTCA SC167/DO-178B).
15. S. Finn, M.P. Fourman, and G. Musgrave. Interactive synthesis in HOL-abstract. In M. Archer, J.J. Joyce, K.N. Levitt, and P.J. Windley, editors, International Workshop on Higher Order Logic Theorem Proving and its Applications, Davis, California, August 1991. IEEE Computer Society, ACM SIGDA, IEEE Computer Society Press.
16. S. Finn, M.P. Fourman, M.D. Francis, and B. Harris. Formal system design - interactive synthesis based on computer assisted formal reasoning. In Luc J. M. Claesen, editor, Applied Formal Methods For Correct VLSI Design, volume 1, pages 97-110. IMEC-IFIP, Elsevier Science Publishers, 1989.
17. H. Saiedan and L. M. Mc Clanahan. Frameworks for quality software process: SEI capability maturity model. Software Quality Journal, 5(1):1, 1996.