Abstract
This paper proposes a visual modeling language for a large-scale hybrid system based on discrete event system specification formalism. Within theproposed language, basic model diagrams define the hybrid behavior of systems, whilethe structure can be represented through coupled model diagrams. The language can visually define large-scale hybrid systems without a sacrifice of formal semantics, and does not require the users to have programming skills. A prototype of the modeling and simulation environment based on an extended version of the language has been implemented.
This work was supported by the IT R&D Program of MKE/KEIT [10035708, "The Development of CPS (Cyber-Physical Systems) Core Technologies for High Confidential Autonomic Control Software"].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Zeigler, B.P., Paraehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press (2000)
Feng, B., Wainer, G.: A NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models. In: Proc. DS-RT 2008, pp. 292–299 (2008)
DEVSim++, http://smslab.kaist.ac.kr/
Bonaventura, M., Wainer, G., Castro, R.: Advanced IDE for Modeling and Simulation of Discrete Event Systems. In: Proc. SpringSim 2010 (2010)
Christen, G., Dobniewski, A., Wainer, G.: Modeling State-Based DEVS Models in CD++. In: Proc. ASTC 2004 (2004)
Traoré, M.K.: A Graphical Notation for DEVS. In: Proc. SpringSim 2009 (2009)
Lee, E.A.: Cyber Physical Systems: Design Challenges. In: Proc. ISORC 2008, pp. 363–369 (2008)
Park, J., Yoo, J.: Hardware-Aware Rate Monotonic Scheduling Algorithm for Embedded Multimedia Systems. ETRI Journal 32(5), 657–664 (2010)
Praehofer, H.: System Theoretic Formalism for Combined Discrete-Continuous System Simulation. International Journal of General System 19(3), 226–240 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, H.Y., Chun, I., Kim, WT. (2011). DVML: DEVS-Based Visual Modeling Language for Hybrid Systems. In: Kim, Th., Adeli, H., Stoica, A., Kang, BH. (eds) Control and Automation, and Energy System Engineering. CES3 CA 2011 2011. Communications in Computer and Information Science, vol 256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-26010-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-26010-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-26009-4
Online ISBN: 978-3-642-26010-0
eBook Packages: Computer ScienceComputer Science (R0)