42: Programmable models of computation for a component-based approach to heterogeneous embedded systems

GPCE'07 - Proceedings of the Sixth International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2007, Pages 53-62

  Maraninchi, Florence ^a   Bouhadiba, Tayeb ^a  

^a VERIMAG   (France)

Author keywords

Component based design; Heterogeneous embedded systems; models of computation; Semantics

Indexed keywords

COMPONENT-BASED DESIGN; HETEROGENEOUS EMBEDDED SYSTEMS; MODELS-OF-COMPUTATION; VALIDATION;

COMPUTER HARDWARE; COMPUTER SOFTWARE; CONCURRENCY CONTROL; DATA STRUCTURES; SEMANTICS;

EMBEDDED SYSTEMS;

EID: 38849100208     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289971.1289981     Document Type: Conference Paper

References (30)

1. Predictable assembly from certifiable components (PACC) initiative, www.sei.emu.edu/pacc/.
2. Spice. bwrc.eecs.berkeley.edu/Classes/IcBook/SPICE/.
3. Douglas Adams. The Hitchhiker's Guide, to the Galaxy. 1979.
4. R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand. An architecture for autonomy. International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, 17(4), 1998.
5. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
6. Rajeev Alur and Thomas A. Henzinger. Reactive modules. Formal Methods in System Design, 15(1):7-48, 1999.
7. Ananda Basu, Marius Bozga, and Joseph Sifakis. Modeling heterogeneous real-time components in BIP. In SEFM, pages 3-12. IEEE Computer Society, 2006.
8. A. Benveniste, B. Caillaud, L. P. Carloni, and A. L. Sangiovanni- Vincentelli. Tag machines. In Wayne Wolf, editor, 5th ACM International Conference On Embedded Software (EMSOFT), pages 255-263, Jersey City, NJ, USA, September 2005. ACM.
9. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87-152, 1992.
10. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J.-B. Stefani. The FRACTAL component model and its support in java. Softw, Pract. Exper, 36(11-12):1257-1284, 2006.
11. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogenous systems. Int. Journal in Computer Simulation, 4(2):0, 1994.
12. P. Caspi, C. Mazuet, and N. Reynaud Paligot. About the design of distributed control systems: The quasi-synchronous approach. In Udo Voges, editor, Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings, volume 2187 of LNCS, pages 215-226. Springer, 2001.
13. L. de Alfaro and T. A. Henzinger. Interface automata. In ESEC/FSE-9: Proceedings of the 8th European software, engineering conference, pages 109-120, NY, USA, 2001. ACM Press.
14. F. Ghenassia. Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems. Springer-Verlag, 2005.
15. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9): 1305-1320, September 1991.
16. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third. Int. Conf on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag.
17. C. Hardebolle, F. Boulanger, D. Marcadet, and G. Vidal-Naquet. A generic execution framework for models of computation. In International Workshop Series on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), 2007.
18. C. Hewitt. A universal, modular actor formalism for artificial intelligence. In Proc.International Joint Conference on Artificial Intelligence, 1973.
19. Gerard J. Holzmann. Design and validation of computer protocols. Prentice-Hall, Englewood Cliffs, NJ, 1991.
20. P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
21. F. Maraninchi and L. Morel. Logical-time contracts for the development of reactive embedded software. In 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), Rennes, France, September 2004.
22. B. Meyer. Eiffel: An Introduction. Interactive Software Eng., 1988.
23. R. Milner. A calculus of communication systems. In LNCS 92. Springer Verlag, 1980.
24. S. Plasil, F.; Visnovsky. Behavior protocols for software components. Software Engineering, IEEE Transactions on, 28:1056- 1076, 2002.
25. A. Ray and R. Cleaveland. Architectural interaction diagrams: AIDs for system modeling. In Proceedings of the 25th International Conference on Software Engineering (ICSE-03), pages 396-407, Piscataway, NJ, May 3-10 2003. IEEE Computer Society.
26. P. Raymond, Y. Roux, and E. Jahier. Specifying and executing reactive scenarios with lutin. In SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems, Braga, Portugal, March 2007. ENTCS.
27. L. Samper, F. Maraninchi, L. Mounier, and L. Mandel. Glonemo: Global and accurate formal models for the analysis of ad-hoc sensor networks. In InterSense: First International Conference on Integrated Internet Ad hoc and Sensor Networks, Nice, France, May 2006. IEEE.
28. I. Sander and A. Jantsch. System, modeling and transformational design refinement in forsyde. IEEE Trans. on CAD of Integrated Circuits and Systems, 23(1):17-32, 2004.
29. A. Vallecillo, V. T. Vasconcelos, and A. Ravara. Typing the behavior of software components using session types. Fundam. Inf., 73(4):583-598, 2006.
30. Jan van den Bos. PROCOL: A protocol-constrained concurrent object-oriented language. Information Processing Letters, 32(5):221-227, 1989.