Secure synthesis of code: a process improvement experiment

P. Garbett, J.P. Parkes, M. Shackleton, S. Anderson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Arguments for and against the deployment of formal methods in system design are rarely supported by evidence derived from experiments that compare a particular formal approach with conventional methods [2]. We illustrate an approach to the use of formal methods for secure code synthesis in safety-critical Avionics applications. The technique makes use of code components and uses sound introduction rules for the components to ensure constraints on their use are enforced. The approach we describe is the subject of a controlled experiment where it is running in parallel with the conventional approach. We describe the experiment and report some preliminary findings.
Original languageEnglish
Title of host publicationFM'99 Formal Methods
Subtitle of host publicationWorld Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
EditorsJeannetteM. Wing, Jim Woodcock, Jim Davies
PublisherSpringer Berlin Heidelberg
Pages1816-1835
Number of pages20
Volume1709
ISBN (Electronic)978-3-540-48118-8
ISBN (Print)978-3-540-66588-5
DOIs
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume1709

Fingerprint

Dive into the research topics of 'Secure synthesis of code: a process improvement experiment'. Together they form a unique fingerprint.

Cite this