Scheduling with optimized communication for time-triggered embedded systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Tabu Search
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Schedulability-driven frame packing for multicluster distributed embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Timing Analysis of the FlexRay Communication Protocol
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Scheduling of fault-tolerant embedded systems with soft and hard timing constraints
Proceedings of the conference on Design, automation and test in Europe
NCA '09 Proceedings of the 2009 Eighth IEEE International Symposium on Network Computing and Applications
NP-complete scheduling problems
Journal of Computer and System Sciences
Applying and optimizing Trajectory approach for performance evaluation of AFDX avionics network
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
A finite state modeling of AFDX frame management using spin
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Towards the Design of Certifiable Mixed-criticality Systems
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Tight performance bounds in the worst-case analysis of feed-forward networks
INFOCOM'10 Proceedings of the 29th conference on Information communications
Worst-case end-to-end delay analysis of an avionics AFDX network
Proceedings of the Conference on Design, Automation and Test in Europe
An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
Synthesis of Static Communication Schedules for Mixed-Criticality Systems
ISORCW '11 Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Response-Time Analysis for Mixed Criticality Systems
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Time-Triggered Communication
A comparison of partitioning operating systems for integrated systems
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet
Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
Hi-index | 0.00 |
In this paper we are interested in safety-critical distributed systems, composed of heterogeneous processing elements interconnected using the TTEthernet protocol. We address hard real-time mixed-criticality applications, which may have different criticality levels, and we focus on the optimization of the communication configuration. TTEthernet integrates three types of traffic: Time-Triggered (TT) messages, Event-Triggered (ET) messages with bounded end-to-end delay, also called Rate Constrained (RC) messages, and Best-Effort (BE) messages, for which no timing guarantees are provided. TT messages are transmitted based on static schedule tables, and have the highest priority. RC messages are transmitted if there are no TT messages, and BE traffic has the lowest priority. TT and RC traffic can carry safety-critical messages, while BE messages are non-critical. Mixed-criticality tasks and messages can be integrated onto the same architecture only if there is enough spatial and temporal separation among them. TTEthernet offers spatial separation for mixed-criticality messages through the concept of virtual links, and temporal separation, enforced through schedule tables for TT messages and bandwidth allocation for RC messages. Given the set of mixed-criticality messages in the system and the topology of the virtual links on which the messages are transmitted, we are interested to synthesize offline the static schedules for the TT messages, such that the deadlines for the TT and RC messages are satisfied, and the end-to-end delay of the RC traffic is minimized. We have proposed a Tabu Search-based approach to solve this optimization problem. The proposed algorithm has been evaluated using several benchmarks.