Conversion from data-driven to synchronous execution in loop programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Replica determinism in distributed real-time systems: a brief survey
Real-Time Systems
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems
IEEE Transactions on Software Engineering
Advanced compiler design and implementation
Advanced compiler design and implementation
Combined Task and Message Scheduling in Distributed Real-Time Systems
IEEE Transactions on Parallel and Distributed Systems
Architecture of the space shuttle primary avionics software system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Meeting Deadlines in Hard Real-Time Systems
Meeting Deadlines in Hard Real-Time Systems
IEEE Transactions on Software Engineering
Back-End Software for Highly Dependable Real-Time Control Systems
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Event-Triggered Versus Time-Triggered Real-Time Systems
Proceedings of the International Workshop on Operating Systems of the 90s and Beyond
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
A constructive approach to reliable synchronization code
ICSE '79 Proceedings of the 4th international conference on Software engineering
RacerX: effective, static detection of race conditions and deadlocks
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Model-Based Development of Embedded Systems: The SysWeaver Approach
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
AVIO: detecting atomicity violations via access interleaving invariants
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
An integrated architecture for future car generations
Real-Time Systems
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Temporal Analysis for Adapting Concurrent Applications to Embedded Systems
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
Exposing non-standard architectures to embedded software using compile-time virtualisation
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems
ISORC '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Hi-index | 0.00 |
In this paper, we present a prototype of the Real-Time Systems Compiler (RTSC). The RTSC is a compiler-based tool that enables the migration from event-triggered to time-triggered real-time systems. This is achieved by replacing the real-time systems architecture of a given real-time system. The real-time systems architecture governs the structural properties of the white-box view of a real-time system: how are tasks attached to events and how are dependencies between different tasks implemented. The RTSC uses an abstraction called Atomic Basic Blocks (ABBs) to hide the real-time systems architecture and capture all relevant dependencies of an event-triggered system in a global ABB-graph. The RTSC automatically extracts that ABB-graph from an event-triggered real-time system given as source code, transforms that ABB-graph appropriately, and maps it to a statically computed schedule that could be executed by standard time-triggered real-time operating systems. Important temporal properties of the physical environment of the real-time system needed for that transformation are stored in a system model provided as additional input to the RTSC. Furthermore, we demonstrate the applicability of our approach and the operation of our prototype by transforming an event-triggered control application into a time-triggered equivalent. Copyright © 2011 John Wiley & Sons, Ltd.