This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
UML and Synchronous Languages Blended into Hybrid fUML to Model Hybrid Systems
Technical Paper
2015-36-0214
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The notion of a hybrid system is centered on a composition of discrete and continuous dynamics. Although the difficulty in modeling hybrid systems comes from the diversity of these systems, the most promising approach to mitigate this issue is developing expressive and precise modeling languages. Nevertheless, the developing of expressive and precise modeling languages does not necessarily mean the emergence of a new language, on the contrary, this paper proposes a precise semantics for a subset of existent languages.
In this paper, we introduce hybrid fUML that blends synchronous features for controlling discrete behaviors, and differential algebraic equations (DAEs) into the standardized fUML (foundational subset for executable UML models). Synchronous features focused on discrete behaviors come from synchronous languages, which have been established as a technology of choice for specifying, modeling and verifying real-time systems, e.g., Lustre. Continuous behaviors are modeled using DAEs described using a subset of Modelica syntax. The subset of Modelica syntax is selected in such a way that its semantics is defined by the standard mathematical semantics.
A case study considering a spring-mass-damper system was developed. Such systems address the control of structural vibrations (including aerospace structures) and it was modeled by a continuous spring-mass-damper plant and a discrete proportional controller.
The main innovative contribution of hybrid fUML lies in the novel model of computation. The model of computation allows the synchronization of physical time at the environment and at the models, which enables determinism, predictability and straightforward composition of models of hybrid systems.
Authors
Citation
Romero, A. and Ferreira, M., "UML and Synchronous Languages Blended into Hybrid fUML to Model Hybrid Systems," SAE Technical Paper 2015-36-0214, 2015, https://doi.org/10.4271/2015-36-0214.Also In
References
- Abdelhalim , I. ; Schneider , S. ; Treharne , H. An optimization approach for effective formalized fUML model checking ELEFTHERAKIS , G. ; HINCHEY , M. ; HOLCOMBE , M. Proceedings… [S.l.] Springer 2012 248 262
- Bauer , K. A new modelling language for cyber-physical systems PhD Thesis (PhD) Department of Computer Science, University of Kaiserslautern Germany January 2012
- Benveniste , A. ; Bourke , T. ; Caillaud , B. ; Pouzet , M. A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2011 Taipei, Taiwan 2011
- Benveniste , A. ; Bourke , T. ; Caillaud , B. ; Pouzet , M. Nonstandard semantics of hybrid systems modelers Journal of Computer and System Sciences 78 3 877 910 2012
- Benveniste , A. ; Bourke , T. ; Caillaud , B. ; Pagano , B. ; Pouzet , M. A type-based analysis of causality loops in hybrid modelers INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL 17 2014 Berlin, Germany 2014 71 82 http://zelus.di.ens.fr/hscc2014/fullpaper.pdf
- Benveniste , A. ; Caspi , P. ; Edwards , S. ; Halbwachs , N. ; Guernic , P. L. ; Simone , R. De. The synchronous languages 12 years later Proceedings of the IEEE 91 1 64 83 2003 0018-9219
- Benyahia , A. ; Cuccuru , A. ; Taha , S. ; Terrier , F. ; Boulanger , F. ; Gérard , S. Extending the standard execution model of UML for real-time systems Hinchey , M. ; Kleinjohann , B. ; Kleinjohann , L. ; Lindsay , P. ; Rammig , F. ; Timmis , J. ; Wolf , M. Proceedings… [S.l.] Springer 2010 IFIP Advances in Information and Communication Technology 329 43 54
- Berry , G. The Esterel v5 Language Primer - Version v5_91 2000 ftp://ftp-sop.inria.fr/marelle/Laurent.Thery/esterel/esterel.pdf 28 Jan. 2014
- Bordin , M. ; Naks , T. ; Pantel , M. ; Toom , A. Compiling heterogeneous models: motivations and challenges EMBEDDED REAL TIME SOFTWARE AND SYSTEMS 2012 Tolouse, France 2012 02 Mar. 2014
- Börger , E. ; Stärk , R. F. Abstract state machines. A method for high-level system design and analysis Springer 2003
- Bourke , T. ; Pouzet , M. Zélus: a synchronous language with ODEs INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL 16 2013 Philadelphia, USA ACM 2013 113 118
- Bourke , T. ; Sowmya , A. Delays in Esterel BENVENISTE , A. ; EDWARDS , S. A. ; LEE , E. ; SCHNEIDER , K. ; HANXLEDEN , R. von Proceedings… Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik Germany 2009 http://drops.dagstuhl.de/opus/volltexte/2010/2434
- Bousse , E. ; Mentré , D. ; Combemale , B. ; Baudry , B. ; Takaya. , K. Aligning SysML with the B method to provide verification and validation for systems engineering WORKSHOP ON MODEL-DRIVEN ENGINEERING, VERIFICATION AND VALIDATION 15 2012 Innsbruck, Austria ACM 2012
- Carloni , L. ; Di Benedetto , M. ; Passerone , R. ; Pinto , A. ; Sangiovanni-Vincentelli , A. Modeling techniques, programming languages, and design toolsets for hybrid systems 2004 Report on the Columbus Project http://www.columbus.gr
- Cartwright , R. ; Kelly , K. ; Koushanfar , F. ; Taha , W. Model-centric cyber-physical computing WORKSHOP ON CYBER-PHYSICAL SYSTEMS 2006 Austin, Texas, USA NSF 2006
- Elmqvist , H. ; Otter , M. ; Mattsson , S. E. Fundamentals of synchronous control in Modelica INTERNATIONAL MODELICA CONFERENCE 9 2012 Munich, Germany 2012
- Fritzson , P. Integrated UML-Modelica model-based product development for embedded systems in OPENPROD EUROPEAN CONFERENCE ON MODELLING FOUNDATIONS AND APPLICATIONS 6 2010 Paris, France 2010
- Graves , H. Integrating reasoning with SysML INTERNATIONAL SYMPOSIUM 22 2012 Rome, Italy INCOSE 2012
- Knieke , C. ; Schindler , B. ; Goltz , U. ; Rausch , A. Defining Domain Specific Operational Semantics for Activity Diagrams Clausthal, Germany December 2012
- Kraemer , A. ; Herrmann , P. Reactive semantics for distributed UML activities Hatcliff , J. ; Zucca , E. Formal Techniques for Distributed Systems Springer 2010 17 31
- Lee , E. A. ; Zheng , H. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2007 Salzburg, Austria 2007 114 123
- Maoz , S. ; Ringert , J. ; Rumpe , B. An Operational Semantics for Activity Diagrams using SMV Aachen, Germany July 2011
- Modelica, Association Modelica - a unified object-oriented language for systems modeling 2012 https://www.modelica.org/documents/ModelicaSpec33.pdf 30 Sep. 2013
- Object Management Group (OMG) Unified Modeling Language (OMG UML), Superstructure 2011 http://www.omg.org/spec/UML/2.4.1/ 14 Apr. 2013
- Object Management Group (OMG) Semantics of a Foundational Subset for Executable UML Models 2012 http://www.omg.org/spec/FUML/ 24 Apr. 2013
- Object Management Group (OMG) SysML-Modelica Transformation 2012 http://www.omg.org/spec/SyM/ 30 Sep. 2013
- Open Source Modelica Consortium (OSMC) OpenModelica 1.9.0 beta4 (r1530) 2014 https://www.openmodelica.org/ 06 Dec. 2013
- Potop-Butucaru , D. ; Simone , R. D. ; Talpin , J. P. The synchronous hypothesis and synchronous languages Zurawski , R. The Embedded Systems Handbook CRC Press 2005
- Romero , A. G. Hybrid fUML: a hybrid synchronous language PhD Thesis (PhD) São José dos Campos Space Technology and Engineering, National Institute for Space Research Brazil 2014 http://plutao.sid.inpe.br/rep/sid.inpe.br/plutao/2014/11.13.11.40 16 May 2015
- Romero , A. G. Hybrid fUML - Developer’s Guide São José dos Campos Space Technology and Engineering, National Institute for Space Research Brazil 2014 http://urlib.net/sid.inpe.br/mtc-m21b/2014/09.22.00.21 23 Sep. 2014
- Romero , A. G. Workspace hybrid fUML - v 1.0 São José dos Campos: Space Technology and Engineering, National Institute for Space Research Brazil September 2014 http://mtc-m21b.sid.inpe.br/rep/sid.inpe.br/mtc-m21b/2014/09.21.22.28 23 Sep. 2014
- Schamai , W. ; Fritzson , P. ; Paredis , C. J. J. Translation of UML state machines to Modelica: Handling semantic issues Simulation 89 4 498 512 2013
- Schneider , K. The Synchronous Programming Language Quartz Kaiserslautern, Germany December 2009
- Simone , R. De ; André , C. Towards a "synchronous reactive" UML profile International Journal on Software Tools for Technology Transfer, Springer-Verlag 8 2 146 155 2006 1433-2779
- Zimmer , D. A new framework for the simulation of equation-based models with variable structure Simulation 89 8 935 963 2013 http://sim.sagepub.com/content/89/8/935.abstract