Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Modeling and validation of the real-time Mach scheduler
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Engineering and analysis of real-time operating systems
Engineering and analysis of real-time operating systems
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Formal verification of embedded systems based on CFSM networks
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Analysis of Dual-Link Networks for Real-Time Applications
IEEE Transactions on Computers
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers
IEEE Transactions on Software Engineering
A modeling methodology for real-time/multimedia operating systems
RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
Modeling bus scheduling policies for real-time systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Distributed pipeline scheduling: a framework for design of large-scale, distributed, heterogeneous real-time systems
| Hi-index | 0.00 |
This paper presents a COTS- (Commercial-Off-The-Shelf) oriented view of the embedded systems design space. It summarizes a set of frameworks capturing a significant portion of this design space along with a selected set of methods. These methods enable engineers to easily generate and quantitatively evaluate points within the design space. This paper also briefly discusses the design space navigation problem. The frameworks and methods are restricted to address performance/resource management issues. This paper shows how the design capture frameworks can establish and maintain performance baselines for large-scale, long-life, embedded systems.- This research was supported in part by grants from the Office of Naval Research, Texas Instruments, Lockheed Martin Corporation, and IBM.