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
Distribution Statement : APPROVED FOR PUBLIC RELEASE