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

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.<
>