Paper Info
Title
Integrated Design Tools for Hard Real-Time Systems
Abstract
We propose a toolset for designing real-time systems. The toolset is based on a design methodology for real-time systems. The purpose of a design methodology is to pro- vide a set of procedures and guidelines that, with human intervention and interaction, allow designers to systemati- cally obtain implementations of systems that conform pre- cisely to their design specifications. Our methodology is designed for automation. We present the toolset and case study of the design of a simple VCR system. The method- ology is based on a formal model and precise descriptions of the components of the system. The underlying model of our methodology is composed of a control level and a data- flow level that, together with a resource scheduler and the application-specific code, make up the system under design. systems is a demanding one and is considered to be hard due to the fact that, in most cases, strong reliability spec- ifications are part of the overall system requirement. This is especially the case for complex distributed real-time sys- tems. A system is said to be a hard real-time system when timing constraints must be satisfied without exception. We consider the problem of providing a general, inte- grated and automated approach to the design of distributed hard real-time systems which not only preserves but makes use of correctness criteria provided by existing analytical techniques. We call this a design methodologyfor the do- main of real-time systems. Our methodology considers all the major aspects associated with a real-time system, in- cluding (and specially) timeliness. It is based on three fun- damental principles:
Year
DOI
Venue
1998
10.1109/REAL.1998.739770
RTSS
Keywords
Field
DocType
CAD,integrated circuit design,real-time systems,VCR system,application-specific code,control level,data-flow level,design methodology,design specifications,formal model,hard real-time systems,integrated design tools,resource scheduler,toolset
Computer science,System of systems,Systems design,Automation,Real-time computing,Design flow,Integrated design,Electronic design automation,Physical design,IDEF4
Conference
ISSN
ISBN
Citations 
1052-8725
0-8186-9212-X
5
PageRank 
References 
Authors
0.61
7
2
Name
Order
Citations
PageRank
C. Puchol1131.38
Aloysius K. Mok266286.52