Skip to main content
Top

Hint

Swipe to navigate through the chapters of this book

2020 | OriginalPaper | Chapter

Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms

Authors : Stefano Centomo, Michele Lora, Franco Fummi

Published in: Languages, Design Methods, and Tools for Electronic System Design

Publisher: Springer International Publishing

share
SHARE

Abstract

Modeling Cyber-Physical Systems requires aggregating semantics and languages tailored to different specific domains, while simulating these systems requires integrating different tools and technologies. Academy and Industry are working to define standard interfaces allowing to facilitate such integration. The Functional Mockup Interface (FMI) standard is one of the most promising tools produced by this effort. It allows to easily export and integrate heterogeneous models. However, the standard still shows some weaknesses. In particular, it still does not provide a proper support for describing discrete-event systems.
In this chapter we analyze the current standard and its recently proposed extensions. In particular, we focus on its shortcomings when dealing with discrete models. Then, we present a systematic approach exploiting the features of the current standards to mitigate such limitations. The approach is based on two concepts: (1) exposing the internal time of each component and (2) exploiting the newly exposed information to implement temporal decoupling. The combination of these two concepts allows to optimize the coordination algorithms by reducing the number of synchronization points, thus moving the simulation from cycle- to transaction-accurate. The impact of these optimizations is measured on a set of benchmarks having different tread-offs of computation and control. Finally, we analyze some possible improvements that may be integrated in the future updates of the standard.
Literature
1.
go back to reference Blochwitz, T., et al. (2012). Functional Mockup Interface 2.0: The standard for tool independent exchange of simulation models. In Proceedings of MODELICA Conference 2012 (pp. 173–184). Blochwitz, T., et al. (2012). Functional Mockup Interface 2.0: The standard for tool independent exchange of simulation models. In Proceedings of MODELICA Conference 2012 (pp. 173–184).
2.
go back to reference Bombieri, N., Di Guglielmo, G., Ferrari, M., Fummi, F., Pravadelli, G., Stefanni, F., et al. (2010). HIFSuite: Tools for HDL code conversion and manipulation. EURASIP Journal on Embedded Systems, 2010(1), 1–20. CrossRef Bombieri, N., Di Guglielmo, G., Ferrari, M., Fummi, F., Pravadelli, G., Stefanni, F., et al. (2010). HIFSuite: Tools for HDL code conversion and manipulation. EURASIP Journal on Embedded Systems, 2010(1), 1–20. CrossRef
3.
go back to reference Bombieri, N., Fummi, F., & Pravadelli, G. (2011). Automatic abstraction of RTL IPs into equivalent TLM descriptions. IEEE Transactions on Computers, 60(12), 1730–1743. MathSciNetCrossRef Bombieri, N., Fummi, F., & Pravadelli, G. (2011). Automatic abstraction of RTL IPs into equivalent TLM descriptions. IEEE Transactions on Computers, 60(12), 1730–1743. MathSciNetCrossRef
4.
go back to reference Broman, D., Brooks, C., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., et al. (2013). Determinate composition of FMUs for co-simulation. In Proceedings of the Eleventh ACM International Conference on Embedded Software (p. 2). Broman, D., Brooks, C., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., et al. (2013). Determinate composition of FMUs for co-simulation. In Proceedings of the Eleventh ACM International Conference on Embedded Software (p. 2).
5.
go back to reference Broman, D., Greenberg, L., Lee, E. A., Masin, M., Tripakis, S., & Wetter, M. (2015). Requirements for Hybrid Cosimulation Standards. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 179–188). New York: ACM. MATH Broman, D., Greenberg, L., Lee, E. A., Masin, M., Tripakis, S., & Wetter, M. (2015). Requirements for Hybrid Cosimulation Standards. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 179–188). New York: ACM. MATH
6.
go back to reference Cai, L., & Gajski, D. (2003). Transaction level modeling: An overview. In Proceedings of the 1st IEEE/ACM/IFIP CODES-ISSS (pp. 19–24). New York: ACM. Cai, L., & Gajski, D. (2003). Transaction level modeling: An overview. In Proceedings of the 1st IEEE/ACM/IFIP CODES-ISSS (pp. 19–24). New York: ACM.
7.
go back to reference Centomo, S., Deantoni, J., & De Simone, R. (2016). Using SystemC cyber models in an FMI co-simulation environment: Results and proposed FMI enhancements. In Proceedings of Euromicro Conference on Digital System Design (DSD) (pp. 318–325). Piscataway: IEEE. Centomo, S., Deantoni, J., & De Simone, R. (2016). Using SystemC cyber models in an FMI co-simulation environment: Results and proposed FMI enhancements. In Proceedings of Euromicro Conference on Digital System Design (DSD) (pp. 318–325). Piscataway: IEEE.
8.
go back to reference Centomo, S., Lora, M., Portaluri, A., Stefanni, F., & Fummi, F. (2017). Automatic generation of cycle-accurate Simulink blocks from HDL IPs. In Proceedings of ECSI/IEEE Forum on Specification & Design Languages 2017 (FDL 17) (pp. 1–8). Centomo, S., Lora, M., Portaluri, A., Stefanni, F., & Fummi, F. (2017). Automatic generation of cycle-accurate Simulink blocks from HDL IPs. In Proceedings of ECSI/IEEE Forum on Specification & Design Languages 2017 (FDL 17) (pp. 1–8).
9.
go back to reference Centomo, S., Lora, M., & Fummi, F. (2018). Transaction-level functional mockup units for cyber-physical virtual platforms. In 2018 Forum on Specification & Design Languages (FDL) (pp. 1–8). Piscataway: IEEE. Centomo, S., Lora, M., & Fummi, F. (2018). Transaction-level functional mockup units for cyber-physical virtual platforms. In 2018 Forum on Specification & Design Languages (FDL) (pp. 1–8). Piscataway: IEEE.
11.
go back to reference Fummi, F., Lora, M., Stefanni, F., Trachanis, D., Vanhese, J., & Vinco, S. (2014). Moving from co-simulation to simulation for effective smart systems design. In Proceedings of the conference on Design, Automation & Test in Europe (p. 286). Leuven: European Design and Automation Association. Fummi, F., Lora, M., Stefanni, F., Trachanis, D., Vanhese, J., & Vinco, S. (2014). Moving from co-simulation to simulation for effective smart systems design. In Proceedings of the conference on Design, Automation & Test in Europe (p. 286). Leuven: European Design and Automation Association.
12.
go back to reference Golomb, S. W. (1971). Mathematical models: Uses and limitations. IEEE Transactions on Reliability, 20(3), 130–131. CrossRef Golomb, S. W. (1971). Mathematical models: Uses and limitations. IEEE Transactions on Reliability, 20(3), 130–131. CrossRef
13.
go back to reference Lee, E. A.: Fundamental limits of cyber-physical systems modeling. ACM Transactions on Cyber-Physical Systems, 1(1), 3 (2017). Lee, E. A.: Fundamental limits of cyber-physical systems modeling. ACM Transactions on Cyber-Physical Systems, 1(1), 3 (2017).
14.
go back to reference Liboni, G., Deantoni, J., Portaluri, A., Quaglia, D., & De Simone, R. (2018). Beyond time-triggered co-simulation of cyber-physical systems for performance and accuracy improvements. In Proceedings of workshop on rapid simulation and performance evaluation: Methods and tools. Liboni, G., Deantoni, J., Portaluri, A., Quaglia, D., & De Simone, R. (2018). Beyond time-triggered co-simulation of cyber-physical systems for performance and accuracy improvements. In Proceedings of workshop on rapid simulation and performance evaluation: Methods and tools.
15.
go back to reference Lora, M., Centomo, S., Quaglia, D., & Fummi, F. (2018). Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. In Proceedings of ACM/IEEE Design Automation & Testing in Europe 2018 (pp. 1–6). Lora, M., Centomo, S., Quaglia, D., & Fummi, F. (2018). Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. In Proceedings of ACM/IEEE Design Automation & Testing in Europe 2018 (pp. 1–6).
16.
go back to reference Lora, M., Vinco, S., & Fummi, F. (2019). Translation, abstraction and integration for effective smart system design. IEEE Transactions on Computers. Lora, M., Vinco, S., & Fummi, F. (2019). Translation, abstraction and integration for effective smart system design. IEEE Transactions on Computers.
18.
go back to reference Rajkumar, R. R., Lee, I., Sha, L., & Stankovic, J. (2010). Cyber-physical systems: The next computing revolution. In Proceedings of the 47th Design Automation Conference (pp. 731–736). New York: ACM. Rajkumar, R. R., Lee, I., Sha, L., & Stankovic, J. (2010). Cyber-physical systems: The next computing revolution. In Proceedings of the 47th Design Automation Conference (pp. 731–736). New York: ACM.
19.
go back to reference Tripakis, S. (2015). Bridging the semantic gap between heterogeneous modeling formalisms and FMI. In Proceedings of International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (pp. 60–69). Piscataway: IEEE. Tripakis, S. (2015). Bridging the semantic gap between heterogeneous modeling formalisms and FMI. In Proceedings of International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (pp. 60–69). Piscataway: IEEE.
20.
go back to reference Vinco, S., Guarnieri, V., & Fummi, F. (2016). Code manipulation for virtual platform integration. IEEE Transactions on Computers, 65(9), 2694–2708. MathSciNetCrossRef Vinco, S., Guarnieri, V., & Fummi, F. (2016). Code manipulation for virtual platform integration. IEEE Transactions on Computers, 65(9), 2694–2708. MathSciNetCrossRef
Metadata
Title
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms
Authors
Stefano Centomo
Michele Lora
Franco Fummi
Copyright Year
2020
DOI
https://doi.org/10.1007/978-3-030-31585-6_2