Rapid Development: Taming Wild Software Schedules
Rapid Development: Taming Wild Software Schedules
Scheduling of Time-Triggered Real-Time Systems
Constraints
A New Multi-resource cumulatives Constraint with Negative Heights
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
AMUSE: a minimally-unsatisfiable subformula extractor
Proceedings of the 41st annual Design Automation Conference
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
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
Extensible and Scalable Time Triggered Scheduling
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Scheduling and memory requirements analysis with AADL
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Trading End-to-End Latency for Composability
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)
ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops
Loosely time-triggered architectures based on communication-by-sampling
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Online stability validation using sector analysis
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
| Hi-index | 0.00 |
Time-triggered architectures (TTA) provide replica determinism in safety-critical distributed embedded software designs. TTA has become a crucial part of many high-confidence embedded paradigms, as it decouples functional concerns from platform timing concerns in system designs. Complex embedded software development workflows for safety-critical applications are increasingly managed by model-based design tools, in order to support automated verification and reconcile conflicts between functional and non-functional concerns in designs. We present a prototype scheduling tool (ESched) which calculates cyclic schedules for time-triggered networks. ESched supports the model-based workflow of the ESMoL modeling language and tool suite. Using ESMoL, designers can rapidly iterate through simulating a control design, capturing platform effects in models, generating a schedule (if feasible), and re-simulating the control design subject to the platform model and the computed schedule. ESched specifications include a number of useful platform parameters, and it supports troubleshooting of infeasible schedules by allowing the user to specify partial platform models to solve.