Abstract
Cyber-Physical Systems (CPSs) modeling consists to release an executable system model. The modeling process is composed of steps where each step is the refinement of the previous step with more details and the last step is the validation step. The validation of system can be done formally or by simulation. Since CPSs are heterogeneous and combine physics and computations, the formal validation is often difficult to apply and the validation by simulation is the only method to verify the correctness of the modeling process. The simulation of CPSs generates heterogeneous output data. So, the display of heterogeneous output data involves the use specific display components (SDCs) where each SDC can display one and only one type of output data. Indeed, the presence of important number of SDCs makes the design task not easy, because the knowledge of SDCs is indispensable for the simulation, and it prevents the reusability. As solution, we propose in this paper a model of heterogeneous display component (HDC) that allows the designer to use only one component to display different types of output data.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12), 1217–1229 (1998)
Lee, E.A., Niknami, M., Nouidui, T.S., Wetter, M.: Modeling and simulating cyber-physical systems using CyPhySim*. In: EMSOFT (2015)
Wasicek, A., Lee, E.A., Kim, H., Greenberg, L., Iwai, A., Akkaya, I.: System simulation from operational data. In: Proceedings of the Design Automation Conference (DAC) (2015)
Feredj, M.: A smart display component model for embedded systems modeling and simulation. In: Proceeding of SAI Computing Conference 2016. July 13-15, 2016, pp 1143-1148. London, UK (2016)
Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 273–287. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16129-2_20
Sangiovanni-Vincentelli, A., et al.: Contract-based design for cyber-physical systems. Eur. J. Control. In Press (2012)
Lee, E.A.: The past, present and future of cyber-physical systems: a focus on models. Sensors 15(3), 4837–4869 (2015)
Feredj, M., Boulanger, F., Mbobi, A.M.: A model of domain-polymorph component for heterogeneous system design. J. Syst. Softw. 82(1), 112–120 (2009)
Liu, J., et al.: Actor-oriented control system design: a responsible framework perspective. IEEE Trans. Control Syst. Technol. 12, 250–262 (2003)
Feredj, M., Boulanger, F.: Domain polymorph components for explicit opaque borders in hierarchical heterogeneous models. In: ACM EWiLi 2014, Embedded Operating Systems Workshop. Nov, 12-13, 2014. Lisbon, Portugal (2014)
Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85(3), 366–390 (1997)
Lee, E.A., et al.: Actor-oriented design of embedded hardware and software systems. J. Circuit Syst. Comput. 12, 231–260 (2002)
Agha, G., et al.: A foundation for actor computation. J. Funct. Program. 7(1), 1–72 (1997)
Keutzer, K., et al.: System-level design: orthogonalization of concerns and platform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(12), 1507–1522 (2000)
Liu, J.: Responsible frameworks for heterogeneous modeling and design of embedded systems. Ph. D. Thesis, Technical Memorandum UCB/ERL M01/41, University of California, Berkeley, CA 94720, (2001)
Aksit, M., Tekinerdogan, B., Bergmans, L.: The six concerns for separation of concerns. In: Proceedings of the ECOOP Workshop on Advanced Separation of Concerns (2001)
Kiczales, G., et al.: Aspect-oriented programming. In: Proceedings of the ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer-Verlag (1997)
Ptolemaeus, C.: System design, modeling, and simulation using ptolemy II. Ptolemy.org (2014). http://ptolemy.org/books/Systems
Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems. LNCS, vol. 891. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-58867-1
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Feredj, M., Laichi, B. (2024). A Model of Heterogeneous Display Component for Cyber-Physical Systems Simulation. In: Arai, K. (eds) Intelligent Computing. SAI 2024. Lecture Notes in Networks and Systems, vol 1016. Springer, Cham. https://doi.org/10.1007/978-3-031-62281-6_42
Download citation
DOI: https://doi.org/10.1007/978-3-031-62281-6_42
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-62280-9
Online ISBN: 978-3-031-62281-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)