Abstract
Cyber-physical systems represent a new class of systems that integrate physics with computation. Their correct design is frequently of great importance as they are applied in safety- or business-critical contexts. This paper introduces a model-integrated development approach that addresses the development needs of such systems through the pervasive use of models. A complete model-based view is proposed that covers all aspects of the hardware and software components, as well as their interactions. Early experiments and work in progress are also reported.
Chapter PDF
Similar content being viewed by others
Keywords
References
Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91(1), 145–164 (2003)
Mathworks, Inc., http://www.mathworks.com
National Instruments, http://www.ni.com
Cervin, A., Henriksson, D., Lincoln, B., Eker, J., Årzén, K.-E.: How Does Control Timing Affect Performance? IEEE Control Systems Magazine 23(3), 16–30 (2003)
Lee, E.A., Sangiovanni-Vincentelli, A.L.: A denotational framework for comparing models of computation. Technical Report UCB/ERL M97/11, EECS Department, University of California, Berkeley (1997)
Model-Driven Architecture, http://www.omg.org/mda
Model-Integrated Computing, http://www.isis.vanderbilt.edu/research/MIC
Papp, Z., Dorrepaal, M., Verburg, D.J.: Distributed Hardware-in-the-Loop Simulator for Autonomous Continuous Dynamical Systems with Spatially Constrained Interactions. In: Proceedings of the 17th international Symposium on Parallel and Distributed Processing. IPDPS, April 22 - 26, 2003, vol. 119, p. 1. IEEE Computer Society, Washington (2003)
Huang, D., Sarjoughian, H.S.: Software and Simulation Modeling for Real-time Software-intensive System. In: The 8th IEEE International Symposium on Distributed Simulation and Real Time Applications, Budapest, Hungary, October, pp. 196–203.
Sztipanovits, J., Karsai, G., Neema, S., Nine, H., Porter, J., Thibodeaux, R., Volgyesi, P.: Towards a Model-based Toolchain for the High-Confidence Design of Embedded Systems. In: Work-in-Progress Workshop at the Real-Time Application Systems conference (2008)
Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design. In: IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany (2006)
Hu, X., Zeigler, B.P.: Model continuity in the design of dynamic distributed real-time systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 35(6), 867–878 (2005)
Porter, J., Karsai, G., Volgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., Sztipanovits, J.: Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. In: The Models 2008 workshop on Model Based Architecting and Construction of Embedded Systems (submitted, 2008)
Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal 10(2) (April 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Karsai, G., Sztipanovits, J. (2008). Model-Integrated Development of Cyber-Physical Systems. In: Brinkschulte, U., Givargis, T., Russo, S. (eds) Software Technologies for Embedded and Ubiquitous Systems. SEUS 2008. Lecture Notes in Computer Science, vol 5287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87785-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-87785-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87784-4
Online ISBN: 978-3-540-87785-1
eBook Packages: Computer ScienceComputer Science (R0)