<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Joseph Porter</style></author><author><style face="normal" font="default" size="100%">Karsai, Gabor</style></author><author><style face="normal" font="default" size="100%">Sztipanovits, Janos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a time-triggered schedule calculation tool to support model-based embedded software design</style></title><secondary-title><style face="normal" font="default" size="100%">ACM International Conference on Embedded Software (EMSOFT ’09)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year><pub-dates><date><style  face="normal" font="default" size="100%">10/2009</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">Grenoble, France</style></pub-location><isbn><style face="normal" font="default" size="100%">978-1-60558-627-4</style></isbn><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record></records></xml>