An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2010, Pages 375-384

  Steiner, Wilfried ^a  

^a TTTech North America   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BIN PACKING PROBLEM; COMMUNICATION LINKS; COST-EFFICIENT; END-TO-END LATENCY; HARDWARE RESTRICTIONS; MULTIHOP NETWORKS; NP COMPLETE; SCHEDULING PROBLEM; SIDE EFFECT; TIME TRIGGERED; TIME-TRIGGERED COMMUNICATIONS; TRANSMISSION POINTS;

JITTER; SCHEDULING;

REAL TIME SYSTEMS;

EID: 79951804265     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2010.25     Document Type: Conference Paper

References (22)

1. T. P. Baker and A. Shaw, "The cyclic executive model and Ada," The Journal of Real-Time Systems, vol. 1, pp. 120-129, 1989.
2. H. Kopetz, Real-Time Systems. Kluwer Academic Publishers, 1997.
3. D.-T. Peng, K. G. Shin, and T. F. Abdelzaher, "Assignment and scheduling communicating periodic tasks in distributed real-time systems," IEEE Trans. Softw. Eng., vol. 23, no. 12, pp. 745-758, 1997.
4. H. Kopetz and G. Bauer, "The time-triggered architecture," Proceedings of the IEEE, vol. 91, no. 1, pp. 112-126, Jan. 2003.
5. R. Mores, G. Hay, R. Belschner, J. Berwanger, C. Ebner, S. Fluher, E. Fuchs, B. Hedenetz, W. Kuffner, A. Krger, P. Lohrmann, D. Millinger, M. Peller, J. Ruh, A. Schedl, and M. Sprachmann, "Flexray the communication system for advanced automotive control systems," In Proceedings of SAE 2001 World Congress, 2001.
6. H. Hoyme and K. Driscoll, "Safebus (tm)," IEEE Aerospace and Electronics Systems Magazine, vol. 8, no. 3, pp. 34-39, March 1993.
7. T. Carpenter, K. Driscoll, K. Hoyme, and J. Carciofini, "Arinc 659 scheduling: problem definition," in Proceeding of Real-Time Systems Symposium, Dec. 1994, pp. 165-169.
8. H. Kopetz, TTP/C Protocol - Version 1.0. Vienna, Austria: TTTech Computertechnik AG, Jul. 2002, Available at http://www.ttagroup.org.
9. W. Steiner, TTEthernet Specification, TTA Group, 2008, Available at http://www.ttagroup.org.
10. M. Bofill, M. Palah, J. Suy, and M. Villaret, "SIMPLY: a compiler from a CSP modeling language to the SMT-LIB format," in Eighth International Workshop on Constraint Modelling and Reformulation, 2009.
11. A. Cimatti, A. Franzén, A. Griggio, R. Sebastiani, and C. Stenico, "Satisfiability modulo the theory of costs: Foundations and applications," in TACAS, 2010, pp. 99-113.
12. J. Legriel, C. L. Guernic, S. Cotton, and O. Maler, "Approximating the pareto front of multi-criteria optimization problems," in TACAS, 2010, pp. 69-83.
13. B. Dutertre and L. de Moura, "The Yices SMT solver," Tool paper at http://yices.csl.sri.com/tool-paper.pdf, SRI International, August 2006.
14. Sha, T. Abdelzaher, K. E. Arzen, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. Mok, "Real time scheduling theory: A historical perspective," Real-Time Systems, vol. 28, no. 2/3, pp. 101-155, November 2004.
15. W. Wang, A. K. Mok, and G. Fohler, "Pre-scheduling," Real-Time Syst., vol. 30, no. 1-2, pp. 83-103, 2005.
16. P. Pop, P. Eles, and Z. Peng, "Schedulability-driven communication synthesis for time triggered embedded systems," Real-Time Syst., vol. 26, no. 3, pp. 297-325, 2004.
17. A. Metzner, M. Franzle, C. Herde, and I. Stierand, "Scheduling distributed real-time systems by satisfiability checking," in RTCSA '05: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Washington, DC, USA: IEEE Computer Society, 2005, pp. 409-415.
18. F. Boniol, P.-E. Hladik, C. Pagetti, F. Aspro, and V. Jégu, "A framework for distributing real-time functions," in FORMATS '08: Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer-Verlag, 2008, pp. 155-169.
19. S. Voss, M. Sorea, and K. Echtle, "SAL-based symbolic scheduling in time-triggered networks," in IFM '09: Proceedings of the 7th International Conference on Integrated Formal Methods. Berlin, Heidelberg: Springer-Verlag, 2009, pp. 200-214.
20. L. de Moura, S. Owre, H. Rueß, J. Rushby, N. Shankar, M. Sorea, and A. Tiwari, "Tool presentation: SAL2," in Computer-Aided Verification (CAV 2004), S. Verlag, Ed., 2004.
21. H. Kautz and B. Selman, "Planning as satisfiability," in Proceedings of the 10th European Conference on Artificial Intelligence. Wiley, 1996, pp. 359-363.
22. A. K. Mok and W. Wang, "Window-constrained real-time periodic task scheduling," in RTSS '01: Proceedings of the 22nd IEEE Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 2001, p. 15.