A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Integrating Schedulability Analysis and Design Techniques in SDL
Real-Time Systems
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Optimized priority assignment for tasks and messages in distributed hard real-time systems
WPDRTS '95 Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
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
Real-Time Component-Based Systems
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
FSF: A Real-Time Scheduling Architecture Framework
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
An Interface Algebra for Real-Time Components
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Interface-Based Rate Analysis of Embedded Systems
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
UM-RTCOM: An analyzable component model for real-time distributed systems
Journal of Systems and Software
Software components for reliable automotive systems
Proceedings of the conference on Design, automation and test in Europe
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A Software Framework for Hard Real-Time Distributed Embedded Systems
SEAA '08 Proceedings of the 2008 34th Euromicro Conference Software Engineering and Advanced Applications
Towards Composable Timing for Real-Time Programs
STFSSD '09 Proceedings of the 2009 Software Technologies for Future Dependable Distributed Systems
On Component-Based Development and High-Integrity Real-Time Systems
RTCSA '09 Proceedings of the 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Dating concurrent objects: real-time modeling and schedulability analysis
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
RT-EP: a fixed-priority real time communication protocol over standard ethernet
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
This paper proposes a methodology for modelling the timing behaviour of hard real-time systems oriented to compositionality and reusability. When a system is built according to a modular structure, the methodology provides the system designer with capacity to build the real-time model of the system as a composition of the reusable timing models of the modules that make up the system. The modularization is applied at all levels: software, hardware and middleware. The methodology relies on a reactive modelling approach, i.e. the timing behaviour of a system is modelled by identifying and describing the timing behaviour of the activities executed in the system in response to events, coming either from the environment or from the timer. The methodology is based on the complementary concepts of model descriptor and model instance. The reusable timing model of a software or hardware module is formulated as a parameterized descriptor, which contains all the information about the internal elements of the module that is required to evaluate the behaviour of any application in which the module may be used. The analysable real-time model of a system is built by composing the model instances of the modules that form it, which are generated from their corresponding descriptors by assigning concrete values to all their parameters according to the specific configuration of the system.