From simulink to SCADE/Lustre to TTA: A layered approach for distributed embedded applications

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2003, Pages 153-162

  Caspi, Paul ^c   Curic, Adrian ^c   Maignan, Aude ^c   Sofronis, Christos ^c   Tripakis, Stavros ^a   Niebert, Peter ^b  

^a VERIMAG   (France)

^b AIX MARSEILLE UNIV   (France)

^c NONE

Author keywords

Code distribution; Embedded software; Lustre; Scheduling; Simulink; Synchronous languages

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; HIGH LEVEL LANGUAGES; PROGRAM TRANSLATORS; SCHEDULING;

CODE DISTRIBUTION; EMBEDDED SOFTWARE; MIDDLE LEVEL PROGRAMMING; SAFETY CRITICAL APPLICATION DEVELOPMENT ENVIRONMENT; SOFTWARE PACKAGE LUSTRE; SOFTWARE PACKAGE SIMULINK; SYNCHRONOUS LANGUAGES; TIME TRIGGERED ARCHITECTURE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0242527400     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. P. Binns and S. Vestal. Scheduling and communication in metah. In Real-Time Systems Symposium, Raleigh-Durham NC, December 1993.
2. A. Cervin, D. Henriksson, B. Lincoln, and K.-E. Årzén. Jitterbug and Truetime: Analysis tools for real-time control systems. In Proceedings of the 2nd Workshop on Real-Time Tools, Copenhagen, Denmark, August 2002.
3. E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. Taxys: a tool for the development and verification real-time embedded systems. In CAV'01. LNCS 2102, Springer, 2001.
4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208-219. Springer-Verlag, 1996.
5. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with signal. Proc. of the IEEE, 79(9):1321-1336, 1991.
6. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre. Proc. of the IEEE, 79(9), 1991.
7. T.A. Henzinger, B. Horowitz, and C. Meyer Kirsch. Giotto: A time-triggered language for embedded programming. In EMSOFT'01. LNCS 2211.
8. M. Jersak, D. Ziegenbein, F. Wolf, K. Richter, R. Ernst, F. Cieslog, J. Teich, K. Strehl, and L. Thiele. Embedded system design using the SPI workbench. In Proc. of the 3rd International Forum on Design Languages, 2000.
9. G. Kahn. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress, 1974.
10. R. Kirner, R. Lang, G. Freiberger, and P. Puschner. Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. In 14th ECRTS, 2002.
11. H. Kopetz. Real-Time Systems Design Principles for Distributed Embedded Applications. 1997.
12. H. Kopetz and G. Grunsteidl. TTP - a protocol for fault-tolerant real-time systems. IEEE Computer, pages 14-23, January 1994.
13. E. Lee and T. Parks. Dataflow process networks. Proceedings of the IEEE, pages 773-799, May 1995.
14. C.L. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, January 1973.
15. M. Mousavi, M. Reniers, T. Basten, M. Chaudron, G. Russello, A. Cursaro, S. Shukla, R. Gupta, and D.C. Schmidt. Using Aspect-GAMMA in the design of embedded systems. In Proc. of 7th Annual IEEE International Workshop on High Level Design Validation and Test. IEEE Computer Society Press, 2002.
16. C. Ratel, N. Halbwachs, and P. Raymond. Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. In ACM-SIGSOFT Conference on Software for Critical Systems, 1991.
17. S. Sims, K. Butts, R. Cleaveland, and S. Ranville. Automated validation of software models. In ASE, 2001.
18. S. Tudoret, S. Nadjm-Tehrani, A. Benveniste, and J.-E. Stromberg. Co-simulation of hybrid systems: Signal-Simulink. In FTRTFT, 2000.
19. J. Xu. Multiprocessor scheduling of processes with release times, deadlines, precedence, and exclusion relations. IEEE Transaction on Software Engineering, 19(2), 1993.