Distributed, modular HTL

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2009, Pages 171-180

  Henzinger, Thomas A ^a   Kirsch, Christoph M ^b   Marques, Eduardo R B ^c   Sokolova, Ana ^b  

^a INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

^b UNIVERSITY OF SALZBURG   (Austria)

^c UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; CODE DISTRIBUTIONS; CODE GENERATION; COORDINATION LANGUAGE; DISTRIBUTED CONTROL SYSTEM; PROGRAM ANALYSIS; PROGRAM COMPONENTS; RUNTIMES; SCHEDULABILITY;

DISTRIBUTED PARAMETER CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; LINGUISTICS; NETWORK COMPONENTS;

REAL TIME SYSTEMS;

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

References (32)

1. A. Ghosal, T. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni-Vincentelli, "A hierarchical coordination language for interacting real-time tasks," in Proc. EMSOFT, 2006.
2. K. Chatterjee, A. Ghosal, D. Iercan, C. Kirsch, T. Henzinger, C. Pinello, and A. Sangiovanni-Vincentelli, "Logical reliability of interacting real-time tasks," in Proc. DATE, 2008.
3. A. Ghosal, D. Iercan, C. Kirsch, T. Henzinger, and A. Sangiovanni-Vincentelli, "Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code," in Proc. APGES, 2007.
4. C. Kirsch, L. Lopes, and E. Marques, "Semantics-preserving and incremental runtime patching of real-time programs," in Proc. APRES, 2008.
5. D. Iercan, "Contributions to the development of real-time programming techniques and technologies," Ph.D. dissertation, Politehnica University of Timisoara, 2008.
6. D. Stewart, R. Volpe, and P. Khosla, "Design of dynamically reconfigurable real-time software using port-based objects," IEEE Transactions on Software Engineering, 1997.
7. T. Henzinger, B. Horowitz, and C. Kirsch, "Giotto: A time-triggered language for embedded programming," Proc. of the IEEE, 2003.
8. J. Auerbach, D. Bacon, D. Iercan, C. Kirsch, V. Rajan, H. Röck, and R. Trummer, "Low-latency time-portable real-time programming with Exotasks," ACM TECS, 2009.
9. T. Henzinger and C. Kirsch, "The Embedded Machine: predictable, portable real-time code," in Proc. PLDI, 2002.
10. R. Lublinerman, C. Szegedy, and S. Tripakis, "Modular code generation from synchronous block diagrams - modularity vs. code size," in Proc. POPL, 2009.
11. J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity - the Ptolemy approach," Proc. of the IEEE, 2003.
12. HTL site, http://htl.cs.uni-salzburg.at.
13. L. Almeida, P. Pedreiras, and J. Fonseca, "The FTT-CAN protocol: Why and how," IEEE Trans. on Industrial Electronics, 2002.
14. M. Anand and I. Lee, "Robust and sustainable schedulability analysis of embedded software," in Proc. LCTES, 2008.
15. S. Baruah and A. Burns, "Sustainable scheduling analysis," in Proc. RTSS, 2006.
16. G. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Norwell, MA, USA: Kluwer Academic Publishers, 1997.
17. J. Leung and M. Merrill, "A note on preemptive scheduling of periodic, real-time tasks," Information Processing Letters, 1980.
18. T. Henzinger, C. Kirsch, and S. Matic, "Composable code generation for distributed Giotto," in Proc. LCTES, 2005.
19. S. Fischmeister, O. Sokolsky, and I. Lee, "A verifiable language for programming real-time communication schedules," IEEE Trans. on Computers, 2007.
20. S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-Vincent, P. Caspi, and M. Di Natale, "Implementing synchronous models on loosely time triggered architectures," IEEE Trans. on Computers, 2008.
21. H. Kopetz and G. Bauer, "The Time-Triggered Architecture," Proc. of the IEEE, 2003.
22. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert, "From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications," ACM SIGPLAN Notices, 2003.
23. A. Easwaran, M. Anand, and I. Lee, "Compositional analysis framework using EDP resource models," in Proc. RTSS, 2007.
24. L. Thiele, E. Wandeler, and N. Stoimenov, "Real-time interfaces for composing real-time systems," in Proc. EMSOFT, 2006.
25. R. Alur and G. Weiss, "RTComposer: a framework for real-time components with scheduling interfaces," in Proc. EMSOFT, 2008.
26. T. Henzinger and S. Matic, "An interface algebra for real-time components," in Proc. RTAS, 2006.
27. S. Bensalem, M. Bozga, J. Sifakis, and T. Nguyen, "Compositional verification for component-based systems and application," in Proc. ATVA, 2008.
28. M. Chkouri, A. Robert, M. Bozga, and J. Sifakis, "Translating AADL into BIP-application to the verification of real-time systems," in Proc. MoDELS Workshops, 2008.
29. M. Bozga, V. Sfyrla, and J. Sifakis, "Modelling synchronous systems in BIP," in Proc. EMSOFT, 2009.
30. Y. Zhou and E. A. Lee, "Causality interfaces for actor networks," ACM TECS, 2008.
31. S. Tripakis, B. Lickly, T. Henzinger, and E. Lee, "On relational interfaces," in Proc. EMSOFT, 2009.
32. L. de Alfaro and T. A. Henzinger, "Interface theories for component-based design," in Proc. EMSOFT, 2001.