IEEE - Institute of Electrical and Electronics Engineers, Inc. - INSERT: a COTS-based solution for building high-assurance applications

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings

Author(s): Calloni, B.A. ; DelPrincipe, M.V. ; Marz, T.F. ; Littlejohn, K.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: St Louis, MO, USA, USA
Conference Date: 24 October 1999
Volume: 1
ISBN (Paper): 0-7803-5749-3
DOI: 10.1109/DASC.1999.813691
Regular:

The INSERT technology has demonstrated itself scalable to major weapon system avionics software. Initially developed at the SEI for providing software fault tolerance, its clean architecture and... View More

Advertisement