Seamlessly integrating software & hardware modelling for large-scale systems

EOOLT 2008 - Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, In Conjunction with ECOOP 2008

Volumn , Issue , 2008, Pages 5-15

  Myers, Toby ^a   Fritzson, Peter ^b   Dromey, R Geoff ^a  

^a GRIFFITH UNIVERSITY   (Australia)

^b LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Behavior engineering; Large scale systems; Modelica; Software hardware codesign

Indexed keywords

CO-DESIGNS; COMPLETE SYSTEM; HARDWARE COMPONENTS; HARDWARE DESIGN; INTEGRATION PROBLEMS; MODELICA; NATURE OF SOFTWARE; SOFTWARE MODEL; SOFTWARE/HARDWARE;

LARGE SCALE SYSTEMS; SOFTWARE ENGINEERING;

HARDWARE;

EID: 70349483266     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

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 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.