metroII

Cyber-Physical Systems are integrations of computation and physical processes and as such, will be increasingly relevant to industry and people. The complexity of designing CPS resides in their heterogeneity. Heterogeneity manifest itself in modeling their functionality as well as in the implementation platforms that include a multiplicity of components such as microprocessors, signal processors, peripherals, memories, sensors and actuators often integrated on a single chip or on a small package such as a multi-chip module. We need a methodology, tools and environments where heterogeneity can be dealt with at all levels of abstraction and where different tools can be integrated. We present here Platform-Based Design as the CPS methodology of choice and metroII, a design environment that supports it. We present the metamodeling approach followed in metroII, how to couple the functionality and implementation platforms of CPS, and the simulation technology that supports the analysis of CPS and of their implementation. We also present examples of use and the integration of metroII with another popular design environment developed at Verimag, BIP.

[1]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[2]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[3]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[4]  Sandeep K. Shukla,et al.  Heterogeneous Behavioral Hierarchy Extensions for SystemC , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  Luciano Lavagno,et al.  Modeling and Designing Heterogeneous Systems , 2002, Concurrency and Hardware Design.

[6]  Alberto L. Sangiovanni-Vincentelli,et al.  Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.

[7]  Sandeep K. Shukla,et al.  A Functional Programming Framework of Heterogeneous Model of Computation for System Design , 2004, Forum on Specification and Design Languages.

[8]  M. Sgroi,et al.  The art and science of integrated systems design , 2002, Proceedings of the 28th European Solid-State Circuits Conference.

[9]  Sandeep Neema,et al.  Modeling methodology for integrated simulation of embedded systems , 2003, TOMC.

[10]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[11]  Roberto Passerone,et al.  A Platform-Based Taxonomy for ESL Design , 2006, IEEE Design & Test of Computers.

[12]  Luciano Lavagno,et al.  Hardware-Software Co-Design of Embedded Systems , 1997 .

[13]  P CarloniLuca,et al.  Languages and tools for hybrid systems design , 2006 .

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  A formal approach to system level design: metamodels and unified design environments , 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

[15]  Alberto L. Sangiovanni-Vincentelli,et al.  Metamodels in Europe: Languages, Tools, and Applications , 2009, IEEE Design & Test of Computers.

[16]  A. Sangiovanni-Vincentelli,et al.  A Next-Generation Design Framework for Platform-Based Design , 2007 .

[17]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[18]  Hiren D. Patel,et al.  EWD : A Metamodeling Driven Customizable Multi-MoC System Modeling Environment , 2004 .

[19]  Viktor K. Prasanna,et al.  MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems , 2001, OM '01.

[20]  Perry Alexander,et al.  The Rosetta meta-model framework , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[21]  Kenneth E. Batcher,et al.  Sorting networks and their applications , 1968, AFIPS Spring Joint Computing Conference.

[22]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .

[23]  Alberto L. Sangiovanni-Vincentelli,et al.  Refinement preserving approximations for the design and verification of heterogeneous systems , 2007, Formal Methods Syst. Des..

[24]  Alberto L. Sangiovanni-Vincentelli,et al.  Languages and Tools for Hybrid Systems Design , 2006, Found. Trends Electron. Des. Autom..

[25]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[26]  Roberto Passerone,et al.  Specification, Synthesis, and Simulation of Transactor Processes , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[27]  Tullio Vardanega,et al.  Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems , 2010, IEEE Transactions on Industrial Informatics.

[28]  Alberto L. Sangiovanni-Vincentelli,et al.  Convertibility verification and converter synthesis: two faces of the same coin , 2002, ICCAD 2002.

[29]  Alberto L. Sangiovanni-Vincentelli,et al.  Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor , 2008, 2008 Design, Automation and Test in Europe.

[30]  Roberto Passerone,et al.  A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling , 2008, 2008 International Symposium on Industrial Embedded Systems.

[31]  Axel Legay,et al.  A Modal Interface Theory for Component-based Design , 2011, Fundam. Informaticae.

[32]  Axel Jantsch,et al.  UMoC++: A C++-Based Multi-MoC Modeling Environment , 2006 .

[33]  Alberto L. Sangiovanni-Vincentelli,et al.  Metamodeling: An Emerging Representation Paradigm for System-Level Design , 2009, IEEE Design & Test of Computers.

[34]  Luciano Lavagno,et al.  Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.

[35]  Joseph Sifakis,et al.  From high-level component-based models to distributed implementations , 2010, EMSOFT '10.

[36]  Perry Alexander.  System Level Design with Rosetta , 2006 .

[37]  R. Passerone,et al.  System level design paradigms: Platform-based design and communication synthesis , 2004 .

[38]  Alberto L. Sangiovanni-Vincentelli,et al.  FPGA Architecture Characterization for System Level Performance Analysis , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[39]  Axel Jantsch,et al.  Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.

[40]  Axel Jantsch,et al.  System modeling and transformational design refinement in ForSyDe [formal system design] , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[41]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[42]  Gabor Karsai,et al.  Constraint-Based Design-Space Exploration and Model Synthesis , 2003, EMSOFT.