A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Real-time object-oriented modeling
Real-time object-oriented modeling
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
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
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Proceedings of the 25th International Conference on Software Engineering
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
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
VEST: An Aspect-Based Composition Tool for Real-Time Systems
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Integrating Real-time Analysis in a Component Model for Embedded Systems
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
UM-RTCOM: An analyzable component model for real-time distributed systems
Journal of Systems and Software
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
Composition and compositionality in a component model for autonomous robots
SC'10 Proceedings of the 9th international conference on Software composition
Optimum: a MARTE-based methodology for schedulability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
Towards a simple meta-model for complex real-time and embedded systems
MEDI'11 Proceedings of the First international conference on Model and data engineering
| Hi-index | 0.00 |
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After building a logical software model, it is necessary to synthesize a multi-threaded implementation that runs on a given target hardware platform and satisfies timing constraints. Commercial code generators generate functional code, but ignore concurrency and timing issues. In this paper, we compare alternative multi-threading strategies for implementation synthesis from this class of software models, and describe real-time scheduling analysis techniques that are useful during design space exploration for implementation synthesis. We use the elevator control application to illustrate our analysis techniques.