A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
An extendible approach for analyzing fixed priority hard real-time tasks
Real-Time Systems
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
An approach to schedulability analysis of UML-based real-time systems design
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
A UML Profile and a Methodology for Real-Time Systems Design
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Task Construction for Model-Based Design of Embedded Control Software
IEEE Transactions on Software Engineering
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
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
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
Real-time design models to RTOS-specific models refinement verification
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
| Hi-index | 0.00 |
The construction of a design model is a critical phase in RTS development as the choices made have a direct impact on timing aspects. In traditional model-based approaches, the design relies largely on the designer experience. Once the design model is constructed, a convenient schedulability test has to be found in order to ensure that the design allows the respect of the timing constraints. This late analysis does not guarantee the existence of a test for the given design and does not allow early detection of unfeasible designs. In order to enhance reliability of RTS, this paper proposes a two step methodology for schedulability-aware real-time software design models construction. Having a high-level functional model as entry, the first methodology step consists in the workload model specification. The workload model represents the system end-to-end workload of critical scenarios triggered by an external stimulus and subject to hard-real time constraints. The second step is the refinement of the workload model towards a Schedulability Analysis Model defining an appropriate and analyzable threading strategy model. The threading strategy defines the set of units of execution taken into account by the scheduler of the system and their scheduling parameters. Different threading strategies can be then evaluated from a schedulability point of view in order to guide the designer towards the choice of the most appropriate one