Title :
A risk driven reasoning-based development paradigm for high performance trusted system in Ada
Author :
Marmor-Squires, Ann ; McHugh, John
Author_Institution :
TRW Syst. Div., Fairfax, VA, USA
Abstract :
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
Keywords :
Ada; inference mechanisms; programming environments; software reliability; Ada systems; FAA Advanced Automation System; assurance; construction process; development paradigm; future products; high-performance requirements; high-performance trusted systems; high-performance trusted systems development; incremental development; performance engineering; process model; prototyping; research effort; risk driven reasoning-based development paradigm; risk management; Algorithm design and analysis; Automation; Design engineering; FAA; Performance analysis; Programming; Risk management; Safety; Security; System performance;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113610
