Methodology for the Specification of Fault-Tolerant Real-Time Systems

摘要

Mission critical systems are typically large, have high performance, highreliability and stringent deadline requirements. Design methodology that separates functional design from the performance reliability and real-time requirements are no longer acceptable. The methodology should integrate functional correctness specification with the specification of performance, reliability, safety, security and real-time requirements. The approaches for the integrated specification of both the functional and nonfunctional aspects of systems design need to be investigated. Automated translation of the performance and reliability aspects of the design specification into an underlying modeling language need to be researched. Methods of trade-off and optimization between various competing measures of system effectiveness need to be developed. The objective is to investigate those issues, of integrated methods of system design specification, specification and solution of system performance and reliability modes. (KR).