SMT-based task- and network-level static schedule generation for time-triggered networked systems

ACM International Conference Proceeding Series

Volumn 08-10-October-2014, Issue , 2014, Pages 45-54

  Craciunas, Silviu S ^a   Oliver, Ramon Serna ^a  

^a TTTech Computertechnik AG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL COMPLEXITY; SCHEDULING; SWITCHING CIRCUITS;

APPLICATION LEVEL; GLOBAL COMMUNICATION; NETWORKED SYSTEMS; SATISFIABILITY MODULO THEORIES; SCHEDULE GENERATION; SCHEDULING CONSTRAINTS; SYNTHETIC NETWORKS; SYSTEM CONFIGURATIONS;

REAL TIME SYSTEMS;

EID: 84985946871     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2659787.2659812     Document Type: Conference Paper

References (35)

1. ARINC Report 664P7-1. Aircraft Data Network, Part 7: Avionics Full Duplex Switched Ethernet (AFDX) Network, Sept. 2009.
2. Barrett, C., Sebastiani, R., Seshia, S., and Tinelli, C. Satisfiability modulo theories. In Handbook of Satisfiability, vol. 185. IOS Press, 2009.
3. Baruah, S. K., Rosier, L. E., and Howell, R. R. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. 2, 4 (1990).
4. Buttazzo, G. C. Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series). Springer-Verlag, 2004.
5. Chetto, H., Silly, M., and Bouchentouf, T. Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Syst. 2, 3 (1990).
6. Computer Science Laboratory - SRI International. The Yices SMT Solver. http://yices.csl.sri.com/. retrieved 27-Apr-2014.
7. Craciunas, S. S., Oliver, R. S., and Ecker, V. Optimal static scheduling of real-time tasks on distributed time-triggered networked systems. In Proc. ETFA (2014), IEEE Computer Society.
8. De Moura, L., and Bjørner, N. Satisfiability modulo theories: Introduction and applications. Commun. ACM 54, 9 (2011), 69-77.
9. Derler, P., and Resmerita, S. Flexible static scheduling of software with logical execution time constraints. In Proc. CIT (2010), IEEE.
10. Forget, J., Grolleau, E., Pagetti, C., and Richard, P. Dynamic priority scheduling of periodic tasks with extended precedences. In Proc. ETFA (2011), IEEE Computer Society.
11. Hanzalek, Z., Burget, P., and Šucha, P. Profinet IO IRT message scheduling. In Proc. ECRTS (2009), IEEE Computer Society.
12. Honeywell Aerospace. Application specific integrated circuits based on TTEthernet ready for first Orion test flight. http://aerospace.honeywell.com/about/media-resources/newsroom, 2014. retrieved 22-May-2014.
13. Huang, J., Blech, J. O., Raabe, A., Buckl, C., and Knoll, A. Static scheduling of a time-triggered network-on-chip based on SMT solving. In Proc. DATE (2012), IEEE Computer Society.
14. Issuing Committee: As-2d2 Deterministic Ethernet And Unified Networking. SAE AS6802 time-triggered ethernet. http://standards.sae.org/as6802/, 2011. retrieved 20-May-2014.
15. Kopetz, H. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
16. Kopetz, H., Ademaj, A., Grillinger, P., and Steinhammer, K. The time-triggered ethernet (TTE) design. In Proc. ISORC (2005), IEEE.
17. Leung, J., Kelly, L., and Anderson, J. H. Handbook of Scheduling: Algorithms, Models, and Performance Analysis. CRC Press, Inc., 2004.
18. Leung, J. Y.-T., and Merrill, M. A note on preemptive scheduling of periodic, real-time tasks. Information Processing Letters 11, 3 (1980), 115-118.
19. Liu, C. L., and Layland, J. W. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20 (1973), 46-61.
20. Metzner, A., Franzle, M., Herde, C., and Stierand, I. Scheduling distributed real-time systems by satisfiability checking. In Proc. RTCSA (2005), IEEE Computer Society.
21. Moura, L., and Bjørner, N. Satisfiability modulo theories: An appetizer. In Formal Methods: Foundations and Applications, vol. 5902. Springer Berlin Heidelberg, 2009, pp. 23-36.
22. Pellizzoni, R., and Lipari, G. A new sufficient feasibility test for asynchronous real-time periodic task sets. In Proc. ECRTS (2004), IEEE Computer Society.
23. Pellizzoni, R., and Lipari, G. Feasibility analysis of real-time periodic tasks with offsets. Real-Time Syst. 30, 1-2 (2005), 105-128.
24. Pop, P., Eles, P., and Peng, Z. An improved scheduling technique for time-triggered embedded systems. In Proc. EUROMICRO (1999), IEEE Computer Society.
25. Pop, P., Eles, P., and Peng, Z. Schedulability-driven communication synthesis for time triggered embedded systems. Real-Time Syst. 26, 3 (2004), 297-325.
26. Pop, T., Eles, P., and Peng, Z. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In Proc. CODES (2002), ACM.
27. Sebastiani, R. Lazy satisfiability modulo theories. JSAT 3, 3-4 (2007), 141-224.
28. Steiner, W. An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. In Proc. RTSS (2010), IEEE Computer Society.
29. Steiner, W. Synthesis of static communication schedules for mixed-criticality systems. In Proc. ISORCW (2011), IEEE Computer Society.
30. Steiner, W., Bauer, G., Hall, B., and Paulitsch, M. TTEthernet: Time-Triggered Ethernet. In Time-Triggered Communication, R. Obermaisser, Ed. CRC Press, Aug 2011.
31. Steiner, W., and Dutertre, B. Automated formal verification of the TTEthernet synchronization quality. In NASA Formal Methods, vol. 6617 of Lecture Notes in Computer Science. Springer, 2011.
32. Tamas-Selicean, D., Pop, P., and Steiner, W. Synthesis of communication schedules for ttethernet-based mixed-criticality systems. In Proc. CODES+ISSS (2012), ACM.
33. Texas Instruments. TMS570LS Series 16/32-BIT RISC Flash Microcontroller. http://www.ti.com/lit/ds/symlink/tms570ls3137.pdf. retrieved 12-Jun-2014.
34. Zeng, H., Zheng, W., Di Natale, M., Ghosal, A., Giusto, P., and Sangiovanni-Vincentelli, A. Scheduling the flexray bus using optimization techniques. In Proc. DAC (2009), ACM.
35. Zhang, L., Goswami, D., Schneider, R., and Chakraborty, S. Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems. In Proc. ASP-DAC (2014), IEEE Computer Society.