Embedded software design, analysis and implementation

This research action aims at developing methods and tools for reliable design, analysis and implementation of software embedded in systems such as automotive or avionics controllers, autonomous robots, mobile phones, etc.

Tool: The Simulink/Stateflow to Lustre translator.

Related papers (read the copyright note)

  1. M. Geilen, S. Tripakis, and M. Wiggers. The Earlier the Better: A Theory of Timed Actor Interfaces. HSCC 2011. Extended version available as technical report.

  2. S. Tripakis, B. Lickly, T.A. Henzinger, and E.A. Lee. A Theory of Synchronous Relational Interfaces. To appear in ACM TOPLAS. Pre-print. Revised and extended version of earlier paper "On Relational Interfaces" that appeared at EMSOFT'09.

  3. S. Tripakis, D. Bui, M. Geilen, B. Rodiers and E. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs. Accepted at ACM TECS.

  4. S. Tripakis, A. Benveniste, P. Caspi, C. Pinello, A. Sangiovanni-Vincentelli, and C. Sofronis. Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms. In 2nd Exploiting Concurrency Efficiently and Correctly Workshop. PDF.

  5. R. Lublinerman, C. Szegedy and S. Tripakis. Modular Code Generation from Synchronous Block Diagrams --- Modularity vs. Code Size. In POPL'09. PDF.

  6. P. Caspi, A. Benveniste, R. Lublinerman, and S. Tripakis. Actors without Directors: a Kahnian View of Heterogeneous Systems. In HSCC'09. PDF.

  7. R. Lublinerman and S. Tripakis. Translating Data Flow to Synchronous Block Diagrams. In ESTIMedia'08. PDF.

  8. R. Lublinerman and S. Tripakis. Modular Code Generation from Synchronous Block Diagrams. In 1st Intl. Workshop on Numerical Abstractions for Software Verification (NSV'08). This paper summarizes in an intuitive manner, with examples, the DATE'08 and RTAS'08 papers below. PDF.

  9. R. Lublinerman and S. Tripakis. Modular Code Generation from Triggered and Timed Block Diagrams. In Real-Time and Embedded Technology and Applications Symposium (RTAS'08). PDF.

  10. R. Lublinerman and S. Tripakis. Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. In Design, Automation and Test in Europe (DATE'08). PDF.

  11. S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-Vincentelli, P. Caspi and M. Di Natale. Implementing Synchronous Models on Loosely Time Triggered Architectures. In IEEE Transactions on Computers. PDF.

  12. M. Di Natale, A. Benveniste, P. Caspi, C. Pinello, A. Sangiovanni-Vincentelli and S. Tripakis. Applying LTTA to guarantee flow of data requirements in distributed systems using Controller Area Network. In DATE'08 Workshop on Dependable Software Systems. PDF.

  13. P. Caspi, N. Scaife, C. Sofronis and S. Tripakis. Semantics-Preserving Multitask Implementation of Synchronous Programs. In ACM Trans. Embedded Computing Systems. PDF.

  14. P. Caspi, P. Raymond and S. Tripakis. Synchronous Programming. In Handbook of Real-Time and Embedded Systems. PDF.

  15. A. Benveniste, P. Caspi, M. Di Natale, C. Pinello, A. Sangiovanni-Vincentelli and S. Tripakis. Loosely Time-Triggered Architectures based on Communication by Sampling. In 7th ACM Intl. Conf. on Embedded Software (EMSOFT'07).

  16. C. Sofronis, S. Tripakis and P. Caspi. A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics under Preemptive Scheduling. In 6th ACM Intl. Conf. on Embedded Software (EMSOFT'06). PDF.

  17. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli and S. Tripakis. Communication by Sampling in Time-Sensitive Distributed Systems. In 6th ACM Intl. Conf. on Embedded Software (EMSOFT'06).

  18. S. Tripakis, C. Sofronis, N. Scaife and P. Caspi. Semantics-preserving and memory-efficient implementation of inter-task communication under static-priority or EDF schedulers. In 5th ACM Intl. Conf. on Embedded Software (EMSOFT'05). PDF.

  19. K. Altisen and S. Tripakis. Implementation of timed automata: an issue of semantics or modeling?. In FORMATS'05. A previous version of this paper is available as VERIMAG Technical Report TR-2005-12.

  20. N. Scaife, C. Sofronis, P. Caspi, S. Tripakis and F. Maraninchi. Defining and translating a "safe" subset of Simulink/Stateflow into Lustre. In EMSOFT'04. Available as VERIMAG Technical Report TR-2004-16.

  21. P. Caspi, A. Curic, A. Maignan, C. Sofronis and S. Tripakis. Translating Discrete-Time Simulink to Lustre. In EMSOFT'03, 2003. Technical report in PDF. An extended version of this paper has been published at the ACM Transactions on Embedded Computing Systems (TECS), 4(4), 2005.

  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. In ACM-SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES'03), 2003. Postscript.

  23. J. Sifakis, S. Tripakis and S. Yovine. Building Models of Real-Time Systems from Application Software. Proceedings of the IEEE, January 2003.

  24. S. Tripakis. Automated Module Composition. In TACAS, 2003. PDF.

  25. S. Tripakis. Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. In EMSOFT, 2002. Extended version in PDF.

  26. A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin and S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In EMSOFT, 2002.

  27. S. Tripakis. Automated Composition of Module Chains. In ETAPS'02 Workshop on Software Composition, 2002. Volume 65, issue 4 of ENTCS, Elsevier.

  28. S. Tripakis and S. Yovine. Timing Analysis and Code Generation of Vehicle Control Software using Taxys. In Workshop on Runtime Verification, 2001. Postscript.

  29. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine. A Framework for Scheduler Synthesis. In IEEE Real-Time Systems Symposium, RTSS'99, 1999. Postscript.


Back to home page of Stavros Tripakis