Abstract:
This paper presents the initial results of a DARPA-funded research effort to define a development paradigm for high-performance trusted systems in Ada. The paradigm is ai...Show MoreMetadata
Abstract:
This paper presents the initial results of a DARPA-funded research effort to define a development paradigm for high-performance trusted systems in Ada. The paradigm is aimed at improving the construction process and the future products of Ada systems that require both broad trust and high performance. The need for a process model and the notions of trust and assurance are reviewed. The foundation for the process model and its elements are presented. The process model is contrasted with traditional development approaches. The combination of a risk driven approach with the integration of trust and performance engineering into a unified whole appears to offer substantial advantages to system builders.<>
Date of Conference: 04-08 December 1989
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-2006-4
TRW Systems Division, Fairfax, VA, USA
TRW Systems Division, Fairfax, VA, USA
Computational Logic, Inc., Durham, NC, USA
TRW Systems Division, Fairfax, VA, USA
Trusted Information Systems, Inc., Glenwood, MD, USA
Trusted Information Systems, Inc., Glenwood, MD, USA
TRW Systems Division, Fairfax, VA, USA
TRW Systems Division, Fairfax, VA, USA
TRW Systems Division, Fairfax, VA, USA
Computational Logic, Inc., Durham, NC, USA
TRW Systems Division, Fairfax, VA, USA
Trusted Information Systems, Inc., Glenwood, MD, USA
Trusted Information Systems, Inc., Glenwood, MD, USA
TRW Systems Division, Fairfax, VA, USA
