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

ACM SIGPLAN Notices

Volumn 38, Issue 7, 2003, Pages 153-162

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

^a VERIMAG   (France)

^b AIX MARSEILLE UNIV   (France)

Author keywords

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

Indexed keywords

ALGORITHMS; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; RESOURCE ALLOCATION;

CODE DISTRIBUTION; EMBEDDED SOFTWARE; SAFETY CRITICAL APPLICATION DEVELOPMENT ENVIRONMENT; SIMULINK; SYNCHRONOUS LANGUAGES; TIME TRIGGERED ARCHITECTURE;

SOFTWARE ENGINEERING;

EID: 1442264243     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780731.780754     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 4th ECRTS, 2002.
11. H. Kopetz. Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, 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 Transactions on Software Engineering, 19(2), 1993.