Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Real-Time Systems
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
The Time-Triggered Model of Computation
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Modeling with the Timing Definition Language (TDL)
Model-Driven Development of Reliable Automotive Services
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Applying a Grouping Operator in Model Transformations
Applications of Graph Transformations with Industrial Relevance
SAL-Based Symbolic Scheduling in Time-Triggered Networks
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Towards a time-triggered schedule calculation tool to support model-based embedded software design
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Time-triggered buffers for event-based middleware systems
Innovations in Systems and Software Engineering
THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS
Software—Practice & Experience
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code
Science of Computer Programming
Bus scheduling for TDL components
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Simulating real-time software components based on logical execution time
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Multiple real-time semantics on top of synchronous block diagrams
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a system is the same no matter where a component is executed, (2) the developer does not have to care about the differences of local versus distributed execution of components, and (3) the components can be developed independently. We present the design and implementation of a component model for real time systems that is well suited for transparent distribution. The component model is based on logical execution time, which abstracts from physical execution time and thereby from both the execution platform and the communication topology.