Accession Number : ADA301296

Title :   Methodology for the Specification of Fault-Tolerant Real-Time Systems.

Descriptive Note : Progress rept. 1 Oct 91-30 Sep 92,

Corporate Author : DUKE UNIV DURHAM NC DEPT OF ELECTRICAL ENGINEERING

Personal Author(s) : Trivedi, Kishor

PDF Url : ADA301296

Report Date : 30 SEP 1992

Pagination or Media Count : 6

Abstract : Mission critical systems are typically large, have high performance, high reliability 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)

Descriptors :   *SYSTEMS ENGINEERING, *REAL TIME, *FAULT TOLERANT COMPUTING, MEASUREMENT, METHODOLOGY, SPECIFICATIONS, PRODUCTIVITY, RESEARCH MANAGEMENT.

Subject Categories : Computer Programming and Software
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE