Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Overview of the CORBA component model
Component-based software engineering
Integrating Schedulability Analysis and Design Techniques in SDL
Real-Time Systems
Compositional Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
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
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Finite Horizon QoS Prediction of Reconfigurable Firm Real-Time Sytems
RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
Aspects and components in real-time system development: Towards reconfigurable and reusable software
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
The ComFoRT reasoning framework
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
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
A formal component framework for distributed embedded systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A prototype tool for software component services in embedded real-time systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Defining “predictable assembly”
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
The design of the TAO real-time object request broker
Computer Communications
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Design of component-based real-time applications
Journal of Systems and Software
Hi-index | 0.00 |
Component-based development is a key technology in the development of software for modern real-time systems. However, standard component models and tools are not suitable for this type of system, since they do not explicitly address real time, memory or cost constraints. This paper presents a new predictable component model for real-time systems (UM-RTCOM) together with a set of tools to support it. The environment allows new components to be developed which can then be assembled to build complete applications, including hardware interaction. The model includes support for real-time analysis at the component and application level. The analysis is achieved by combining component meta-information in the form of an abstract behaviour model and a method to measure worst-case execution times in the final platform. Additionally, we propose an implementation model based on RT-CORBA where the developer uses the UM-RTCOM components and a set of tools to map these elements to elements of the desired platform. In order to apply our proposals, we have used the model and tools in real applications specifically in the context of nuclear power plant simulators.