Toby Myers
School of Information and Computing Technology, Griffith University, Australia
Peter Fritzson
Department of Computer and Information Science, Linköping University, Sweden
R. Geoff Dromey
School of Information and Computing Technology, Griffith University, Australia
Download article
Published in: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
Linköping Electronic Conference Proceedings 29:2, p. 5-15
Published: 2008-07-02
ISBN: 978-91-7519-823-1
ISSN: 1650-3686 (print), 1650-3740 (online)
Large-scale systems increasingly consist of a mixture of co-dependent software and hardware. The differing nature of software and hardware means that they are often modelled separately and with different approaches. This can cause failures later in development during the integration of software and hardware designs; due to incompatible assumptions of software/hardware interactions. This paper proposes a method of integrating the software engineering approach; Behavior Engineering; with the mathematical modelling approach; Modelica; to address the software/hardware integration problem. The environment and hardware components are modelled in Modelica and integrated with an executable software model designed using Behavior Engineering. This allows the complete system to be simulated and interactions between software and hardware to be investigated early in development.
[1] Robert Colvin and I. J. Hayes. A Semantics for Behavior Trees. ACCS Technical Report ACCS-TR-07-01; ARC Centre for Complex Systems; April 2007.
[2] Tullio Cuatto; Claudio Passeronge; Luciano Lavagno; Attila Jurecska; Antonino Damiano; Claudio Sansoè; A. Sangiovanni-Vincentelli; and Alberto Sangiovanni- Vincentelli. A case study in embedded system design: an engine control unit. In Proceedings of the 35th annual conference on Design automation (DAC ’98); pages 804– 807; New York; NY; USA; 1998. ACM.
[3] R. G. Dromey. Formalizing the Transition from Requirements to Design. In Jifeng He and Zhiming Liu; editors; Mathematical Frameworks for Component Software - Models for Analysis and Synthesis; pages 156–187. World Scientific Series on Component-Based Development; 2006. Invited Chapter.
[4] R.G. Dromey. From Requirements to Design: Formalizing the Key Steps. In IEEE International Conference on Software Engineering and Formal Methods; pages 2– 11; Brisbane; Sept 2003. SEFM-2003. Invited Keynote Address.
[5] Dynasim. Dymola. http://dynasim.com.
[6] Rolf Ernst. Codesign of embedded systems: Status and trends. IEEE Design and Test; 15(2):45–54; 1998.
[7] Peter Fritzon; Vadim Engelson; Andreas Idebrant; Peter Aronsson; Håkan Lundvall; Peter Bunus; and Kaj Nyström. Modelica â?A ¸S A Strongly Typed System Specification Language for Safe Engineering Practices. In Proceedings of the SimSAFE Conference; Kralskoga; Sweden; June 2004.
[8] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press; 2004.
[9] Tarek Ben Ismail; Mohamed Abid; and Ahmed Jerraya.
Cosmos: a codesign approach for communicating systems. In Proceedings of the 3rd international workshop on Hardware/software co-design (CODES ’94); pages 17– 24; Los Alamitos; CA; USA; 1994. IEEE Computer Society Press.
[10] Kung-Kiu Lau; Ling Ling; and Zheng Wang. Composing Components in Design Phase using Exogenous Connectors. In Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO ’06); pages 12–19; 2006.
[11] MathCore. Mathmodelica. http://www.mathcore.com.
[12] Modelica Association. Modelica: A Unified Object- Oriented Language for Physical Systems Modeling: Language Specification Version 3.0; Sept 2007. http://www.modelica.org.
[13] OMG. System Modeling Language (SysML). http://www.omgsysml.org.
[14] Adrian Pop; David Akhvlediani; and Peter Fritzon. Integrated UML and Modelica System Modeling with ModelicaML in Eclipse. In Proceedings of the 11th IASTED International Conference on Software Engineering and Applications (SEA’07); 2007.
[15] Adrian Pop; David Akhvlediani; and Peter Fritzon. Towards Unified System Modeling with the ModelicaML UML Profile. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT’07); pages 13–24; 2007.
[16] Danny Powell. Requirements evaluation using behavior trees - findings from industry. In Australian Software Engineering Conference (ASWEC’07); April 2007.
[17] Michael Tiller. Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers; 2001.
