Karl N. Levitt

• The SRI hierarchical development methodology (HDM) and its application to the development of secure software
• Fault tolerant architectures for integrated aircraft electronics systems