Abstract
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.
- 3rd Generation Partnership Project. 2004. General universal mobile telecommunications system (UMTS) architecture (release 6). Technical Specification TS 23.101, 3GPP.Google Scholar
- Alexander, P. 2006. System Level Design with Rosetta. Elsevier. Google Scholar
Digital Library
- Bakshi, A., Prasanna, V. K., Ledeczi, A., Mathur, V., Mohanty, S., Raghavendra, C. S., Singh, M., Agrawal, A., Davis, J., Eames, B., Neema, S., and Nordstrom, G. 2001. MILAN: A model based integrated simulation framework for design of embedded systems. In Proceedings of the Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'01). Google Scholar
Digital Library
- Balarin, F., Chiodo, M., Giusto, P., Hsieh, H., Jurecska, A., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Sentovich, E., Suzuki, K., and Tabbara, B. 1997. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Press. Google Scholar
Digital Library
- Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A. L., Sgroi, M., and Watanabe, Y. 2002. Modeling and designing heterogeneous systems. In Advances in Concurrency and System Design, J. Cortadella and A. Yakovlev, Eds., Springer-Verlag. Google Scholar
Cross Ref
- Balarin, F. and Passerone, R. 2007. Specification, synthesis and simulation of transactor processes. IEEE Trans. Comput. Aided Des. Integrat. Circuits Syst. 26, 10, 1749--1762. Google Scholar
Digital Library
- Balarin, F., Passerone, R., Pinto, A., and Sangiovanni-Vincentelli, A. L. 2005. A formal approach to system level design: Metamodels and unified design environments. In Proceedings of the 3rd ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE'05). 155--163. Google Scholar
Digital Library
- Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., and Sangiovanni-Vincentelli, A. 2003. Metropolis: An integrated electronic system design environment. Computer Mag. 45--52. Google Scholar
Digital Library
- Basu, A., Bozga, M., and Sifakis, J. 2006. Modeling heterogeneous real-time components in BIP. In Proceedings of the 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06). 3--12. Google Scholar
Digital Library
- Batcher, K. E. 1968. Sorting networks and their applications. In Proceedings of the Spring Joint Computer Conference (AFIPS'68). ACM, New York, NY, 307--314. Google Scholar
Digital Library
- Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., and Sifakis, J. 2010. From high-level component-based models to distributed implementations. In Proceedings of the Conference Embedded Software (EMSOFT'10). ACM. Google Scholar
Digital Library
- Brooks, C., Lee, E., Liu, X., Neuendorffer, S., Zhao, Y., and (eds.), H. Z. 2005. Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II). Tech. rep. UCB/ERL M05/21, University of California, Berkeley.Google Scholar
- Cancila, D., Passerone, R., Vardanega, T., and Panunzio, M. 2010. Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems. IEEE Trans. Industrial Infor. 6, 2, 181--194. Google Scholar
Cross Ref
- Carloni, L. P., Bernardinis, F. D., Sangiovanni-Vincentelli, A. L., and Sgroi, M. 2002. The art and science of integrated systems design. In Proceedings of the 28th European Solid-State Circuits Conference (ESSCIRC 02). Google Scholar
Cross Ref
- Carloni, L. P., Passerone, R., Pinto, A., and Sangiovanni-Vincentelli, A. L. 2006. Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation Series, vol. 1, Now Publishers. Google Scholar
Digital Library
- Davare, A., Densmore, D., Meyerowitz, T., Pinto, A., Sangiovanni-Vincentelli, A., Yang, G., Zeng, H., and Zhu, Q. 2007. A next-generation design framework for platform-based design. In Proceedings DVCon. 239--245.Google Scholar
- Densmore, D., Donlin, A., and Sangiovanni-Vincentelli, A. L. 2006a. FPGA architecture characterization for system level performance analysis. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE06). Google Scholar
Digital Library
- Densmore, D., Passerone, R., and Sangiovanni-Vincentelli, A. L. 2006b. A platform-based taxonomy for ESL design. IEEE Des. Test Computers 23, 5, 359--374. Google Scholar
Digital Library
- Grötker, T., Liao, S., Martin, G., and Swan, S. 2002. System Design with SystemC. Kluwer Academic Publishers, Norwell, MA. Google Scholar
Digital Library
- Jantsch, A. 2003. Modeling Embedded Systems and SOC's: Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers. Google Scholar
Digital Library
- Kahn, G. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74. J. L. Rosenfeld, Ed., 471--475.Google Scholar
- Karsai, G., Sztipanovits, J., Ledeczi, A., and Bapty, T. 2003. Model-integrated development of embedded software. Proc. IEEE 91, 1. Google Scholar
Cross Ref
- Kong, C. and Alexander, P. 2003. The Rosetta meta-model framework. In Proceedings of the IEEE Engineering of Computer-Based Systems Symposium and Workshop. Google Scholar
Cross Ref
- Ledeczi, A., Davis, J., Neema, S., and Agrawal, A. 2003. Modeling methodology for integrated simulation of embedded systems. ACM Trans. Model. Comput. Simul. 13, 1, 82--103. Google Scholar
Digital Library
- Lee, E. A. and Sangiovanni-Vincentelli, A. L. 1998. A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integrat. Circuits Syst. 17, 12, 1217--1229. Google Scholar
Digital Library
- Mathaikutty, D., Patel, H., and Shukla, S. 2004a. EWD: A metamodeling driven customizable multi-MoC system modeling environment. FERMAT Tech. rep. 2004-20, Virginia Tech.Google Scholar
- Mathaikutty, D. A., Patel, H., and Shukla, S. 2004b. A functional programming framework of heterogeneous model of computation for system design. In Proceedings of the Forum on Specification and Design Languages (FDL'04).Google Scholar
- Mathaikutty, D. A., Patel, H. D., Shukla, S. K., and Jantsch, A. 2006. UMoC++: A C++-based multi-MoC modeling environment. In Application of Specification and Design Languages for SoCs - Selected Paper from FDL 2005, A. Vachoux, Ed., Springer, 115--130.Google Scholar
- MDA 2003. MDA guide version 1.0.1. Tech. rep. omg/2003-06-01, OMG.Google Scholar
- Meyerowitz, T., Sangiovanni-Vincentelli, A., Sauermann, M., and Langen, D. 2008. Source level timing annotation and simulation for a heterogeneous multiprocessor. In Proceedings of DATE08. Google Scholar
Digital Library
- Neema, S., Sztipanovits, J., and Karsai, G. 2003. Constraint-based design-space exploration and model synthesis. In Proceedings of the 3rd International Conference on Embedded Software (EMSOFT03). Google Scholar
Cross Ref
- OCL 2006. Object constraint language, version 2.0. OMG Available Specification formal/06-05-01, Object Management Group.Google Scholar
- Passerone, R., Alfaro, L. d., Henzinger, T. A., and Sangiovanni-Vincentelli, A. L. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. In Proceedings of the 20th IEEE/ACM International Conference on Computer-Aided Design (ICCAD02). 132--139. Google Scholar
Digital Library
- Passerone, R., Burch, J. R., and Sangiovanni-Vincentelli, A. L. 2007. Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods Syst. Des. 31, 1, 1--33. Google Scholar
Digital Library
- Passerone, R., Hafaiedh, I. B., Graf, S., Benveniste, A., Cancila, D., Cuccuru, A., Gérard, S., Terrier, F., Damm, W., Ferrari, A., Mangeruca, L., Josko, B., Peikenkamp, T., and Sangiovanni-Vincentelli, A. 2009. Metamodels in europe: Languages, tools, and applications. IEEE Des. Test Comput. 26, 3, 38--53. Google Scholar
Digital Library
- Patel, H. D., Shukla, S. K., and Bergamaschi, R. A. 2007. Heterogeneous behavioral hierarchy extensions for SystemC. IEEE Trans. Comput. Aided Des. Integrat. Circuits Syst. 26, 4, 765--780. Google Scholar
Digital Library
- Pinto, A., Bonivento, A., Sangiovanni-Vincentelli, A. L., Passerone, R., and Sgroi, M. 2006. System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Des. Automation Electron. Syst. 11, 3, 537--563. Google Scholar
Digital Library
- Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., and Passerone, R. 2011. A modal interface theory for component-based design. Fundamenta Informaticae 108, 1--2, 119--149. Google Scholar
Digital Library
- Sander, I. and Jantsch, A. 2004. System modeling and transformational design refinement in ForSyDe. IEEE Trans. Comput. Aided Des. Integrat. Circuits Syst. 23, 1, 17--32. Google Scholar
Digital Library
- Sangiovanni-Vincentelli, A., Damm, W., and Passerone, R. 2012. Taming Dr. Frankenstein: Contract-based design for cyber-physical systems. European J. Control 18, 3. Google Scholar
Cross Ref
- Sangiovanni-Vincentelli, A., Yang, G., Shukla, S. K., Sztipanovits, J., and Mathaikutty, D. A. 2009. Metamodeling: An emerging representation paradigm for system-level design. IEEE Des. Test Comput. 26, 3, 54--69. Google Scholar
Digital Library
- Sangiovanni-Vincentelli, A. L. 2002. Defining platform-based design. EEdesign.Google Scholar
- Simalatsar, A., Densmore, D., and Passerone, R. 2008. A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. In Proceedings of the 3rd International IEEE Symposium on Industrial Embedded Systems (SIES08). Google Scholar
Cross Ref
Index Terms
metroII: A design environment for cyber-physical systems
Recommendations
From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts
ISPD '19: Proceedings of the 2019 International Symposium on Physical DesignThis paper reflects on the design challenges posed by cyber-physical systems, what distinguishes cyber-physical system design from large-scale integrated circuit design, and what could be the opportunities for the design automation community. The paper ...
Electronic System, Platform, and Package Codesign
Editor's note: Integrating multicore heterogeneous systems into a system-in-package has challenged many design and test engineers. To overcome these obstacles, we need a common EDA tool for digital, analog, RF, and thermal designs. This article proposes ...
Towards Independent In-Cloud Evolution of Cyber-Physical Systems
CPSNA '14: Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and ApplicationsThe capabilities of Cyber-Physical Systems (CPSs) are increasingly being extended towards new composite services deployed across a range of smart sensing and controlling devices. These services enable the emergence of multiple end-to-end cyber-physical ...






Comments