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
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
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
Preemptive priority-based scheduling: an appropriate engineering approach
Advances in real-time systems
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Schedule validation for embedded reactive real-time systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Task scheduling with RT constraints
Proceedings of the 37th Annual Design Automation Conference
ACM SIGAda Ada Letters
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
STARS in VCC: complementing simulation with worst-case analysis
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Aperiodic task scheduling for real-time systems
Aperiodic task scheduling for real-time systems
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Schedulability analysis of distributed hard real-time systems with multiple-event synchronization
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Early schedulability analysis with timed use case maps
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
| Hi-index | 0.00 |
The growing complexity of real-time software is generating an increasing demand for (specialized) UML as a modeling language for real-time systems. Verification of non-functional properties is key in hard real-time systems, which are required to perform correctly both in the value and time domains. Schedulability analysis provides algorithms and methods for assigning physical and logical resources to the software objects and for analyzing and guaranteeing their time properties at design time. Furthermore, it provides guidelines on the deployment of logical architecture into physical architecture. Unfortunately, UML behavioral models are based on an implicit eventtriggered model, quite unlike those assumed in real-time scheduling research. Furthermore, until the recent development of a specialized UML profile for schedulability analysis, the use of UML has been hindered by the lack of explicit support for common hard real-time abstractions. This chapter shows how fixed and dynamic priority scheduling theory can be applied to designs developed using a specialization of UML for real-time software. It provides a reference architecture for the development of real-time systems amenable to schedulability analysis and features a short survey on the most common real-time scheduling and analysis concepts and policies.