A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Computer
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach
DIPES '02 Proceedings of the IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems: Design and Analysis of Distributed Embedded Systems
Proceedings of the 25th International Conference on Software Engineering
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol
Object-Oriented Real-Time Computing for Reusable Avionics Software
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Real-Time scheduling techniques for implementation synthesis from component-based software models
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. The tool-chain covers the entire system development life-cycle including modeling, analysis, code generation, and runtime instrumentation. Emphasis is placed on integration of tools developed by multiple institutions via standardized interface format definitions in XML. All aspects of an embedded realtime system are captured in domain-specific models, including software components and architecture, timing and resource constraints, processes and threads, execution platforms, etc. Configuration code generation allows automated building of the application executable. Instrumentation of the application running on a target platform is used to collect runtime statistics that are fedback into the models. Analysis tools perform various static analyses based on the models, including systemlevel dependency analysis, execution-rate assignment to component ports, real-time and schedulability analysis, and automated allocation of components to processors. By capturing all relevant information explicitly in models at the design level, and performing analysis that provides insight into non-functional aspects of the system, we can raise the level of abstraction for the designer, and facilitate rapid system prototyping.