Secure synthesis of code: a process improvement experiment [chapter]

P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson
1999 Lecture Notes in Computer Science  
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
more » ... 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.
doi:10.1007/3-540-48118-4_46 fatcat:afsntyq5bzdwrprxvyhwakcbdq