By Topic

A risk driven reasoning-based development paradigm for high performance trusted system in Ada

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
A. Marmor-Squires ; TRW Syst. Div., Fairfax, VA, USA ; J. McHugh

Initial results are presented of a research effort to enhance and tailor a paradigm for the development of high-performance trusted systems in Ada. The paradigm is aimed at improving the construction process and the future products of Ada systems having both broad trust and high-performance requirements. The unique characteristics and primary risks of high-performance trusted systems development are described. The elements of the process model discussed in some detail are: risk management, prototyping and demonstrations, incremental development, control and assurance, the integration of trust and performance engineering, and the role of Ada. An example of the application of the development paradigm to the FAA Advanced Automation System is given

Published in:

COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems

Date of Conference:

8-10 May 1990