A metamodel for the design of polychronous systems

Airlines Electronic Engineering Committee, ARINC Specification 653: Avionics Application Software Standard Interface, Aeronautical radio, Inc., Annapolis, Maryland, January 1997. Airlines Electronic Engineering Committee, ARINC Report 651-1: Design Guidance for Integrated Modular Avionics, Aeronautical radio, Inc., Annapolis, Maryland, November 1997. T.P. Amagbegnon, L. Besnard, P. Le Guernic, Arborescent Canonical Form of Boolean Expressions, INRIA, Research Rep. RR-2290, June 1994. C. André, Representation and analysis of reactive behaviors: a synchronous approach, in: Computational Engineering in Systems Applications (CESA), Lille (F): IEEE-SMC, July 1996, pp. 19–29. ATLAS Transformation Language, The Eclipse Consortium, 2008. <http://www.eclipse.org/m2m/atl>. Bender, 2002, Model-based development of hybrid systems: specification, simulation, test case generation, vol. 279 G. Berry, S. Ramesh, R.K. Shyamasundar, Communicating reactive processes, in: 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1993. G. Berry, The Foundations of Esterel, Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000. Berry, 2001, Multiclock Esterel, 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Lecture Notes, vol. 2144 L. Besnard, T. Gautier, P.Le Guernic, SIGNAL v4 Reference Manual, INRIA, 2008. <http://www.irisa.fr/espresso/Polychrony/doc/document/V4_def.pdf>. J. Bézivin, C. Brunette, R. Chevrel, F. Jouault, I. Kurtev, Bridging the generic modeling environment and the eclipse modeling framework, in: Proceedings of the 4th workshop in Best Practices for Model Driven Software Development, OOPSLA, October 2005. C. Brunette, R. Delamare, A. Gamatié, T. Gautier, J.-P. Talpin, A Modeling Paradigm for Integrated Modular Avionic Design, INRIA, Research Rep. RR-5715, October 2005. Brunette, 2006 Colaço, 2005, A conservative extension of synchronous data-flow with state machines, 173 J.-L. Colaço, A. Girault, G. Hamon, M. Pouzet. Towards a higher-order synchronous dataflow language, in: Embedded Software Conference, Springer-Verlag Lectures Notes in Computer Science, 2004. A. Gamatié, T. Gautier, Synchronous Modeling of Modular Avionics Architectures using the Signal Language, INRIA Research Report No. 4678, December 2002. A. Gamatié, T. Gautier, Synchronous modeling of avionics applications using the signal language, in: RTAS’03: Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Washington DC, USA, IEEE Computer Society, May 2003, p. 144. A. Gamatié, T. Gautier, P. Le Guernic, An Example of Synchronous Design of Embedded Real-Time Systems based on IMA, in: Proceedings of the 10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA’2004), vol. 88, Gothenburg, Sweden, August 2004. N. Halbwachs, A Synchronous Language at Work: the Story of Lustre, in: Proceedings of the third ACM-IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE’2005, Verona, Italy, July 2005. Harel, 1987, Statecharts: a visual formalism for complex systems, Sci. Comput. Program., 8, 231, 10.1016/0167-6423(87)90035-9 Harel, 1985, On the development of reactive systems, vol. F-13, 477 Jackson, 2005, Using separation of concerns for embedded systems design, 25 A. Ledeczi, M. Maroti, P. Volgyesi, The generic modeling environment, in: Proceedings of the IEEE Workshop on Intelligent Signal Processing (WISP’01), May 2001. Lee, 1998, A framework for comparing models of computation, vol. 17, 12 E.A. Lee, Overview of the Ptolemy Project, Technical Memorandum No. UCB/ERL M03/25, University of California, Berkeley, CA, 94720, USA, July 2, 2003. Le Guernic, 2003, Polychrony for system design, J. Circ. Syst. Comput. – Special Issue: Application Specific Hardware Design, 12, 261, 10.1142/S0218126603000763 Liu, 2002, Heterogeneous modeling and design of control systems Maraninchi, 2003, Mode-automata: a new domain-specific construct for the development of safe critical systems, Sci. Comput. Program., 46, 219, 10.1016/S0167-6423(02)00093-X Marchand, 2001, Formal verification of programs specified with SIGNAL: application to a power transformer station controller, Sci. Comput. Program., 41, 10.1016/S0167-6423(00)00020-4 Ma, 2008 D. Mathaikutty, H. Patel, S. Shukla, A. Jantsch, EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment, Virginia Polytechnic Institute and State University Research Report No. 2004-20, 2004. T. Meyerowitz, J. Sprinkle, A. Sangiovanni-Vincentelli, A visual language for describing instruction sets and generating decoders, in: 4th ACM OOPSLA Workshop on Domain Specific Modeling, Vancouver, BC, October 2004, pp. 23–32. Rutten, 1995, signal GTI: implementing task preemption and time intervals in the synchronous data flow language signal J. Sprinkle, J. Davis, G. Nordstrom, A paradigm for teaching modeling environment design, in: OOPSLA’04 Educators Symposium (Poster Session), Vancouver, BC, October 2004, pp. 24–28. Talpin, 2006 F. Vernadat, C. Percebois, P. Farail, R. Vingerhoeds, A. Rossignol, J.-P. Talpin, D. Chemouil. The Topcased project – a toolkit in open-source for critical application and system development. International Space System Engineering Conference – Data Systems in Aerospace. Eurospace, 2006. <http://www.topcased.org>. The SAE AADL Information Site, Society of Automotive Engineers Standard, 2008. <http://www.aadl.info>. The OMG. UML Profile for modeling and analysis of real-time and embedded systems (MARTE). OMG document realtime/05-02-06, 2006. The Mathworks, Matlab’s Simulink and Stateflow, 2008. <http://www.mathworks.com>. Syndex – System-level CAD software for distributed real-time system design, INRIA, 2008. <www-rocq.inria.fr/syndex>. The Eclipse Modeling Framework, The Eclipse Consortium, 2008. <http://www.eclipse.org/emf>. The Generic Modeling Environment (gme), Vanderbilt University, 2008. <http://www.isis.vanderbilt.edu/Projects/gme/>. The polychrony website, INRIA, 2008. <http://www.irisa.fr/espresso/Polychrony>. The RNTL project OpenEmbeDD, INRIA, 2008. <http://www.openembedd.org>. The Scade Suite, Esterel technologies, 2008. <http://www.esterel-technologies.com/products/scade-suite>. The Spacify project, CNES, 2008. <http://spacify.gforge.enseeiht.fr>. The TopCased Project, Airbus, 2008. <http://www.topcased.org>.