The Challenges of Building Advanced Mechatronic Systems
- 1 May 2007
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Mechatronics is an engineering discipline integrating the fields of mechanical engineering, electrical engineering and computer science. While the word "mechatronics" already has a long history, it is only the last ten years that we see their application all around us. Cars, CD players, washing machines, railways are all examples of mechatronic systems. The main characteristic (and driving force) of recent advances is the progressively tighter coupling of mechanic and electronic components with software. This makes software engineering (together with network technology) the main computer science discipline involved in mechatronics. In this paper we survey current developments and discuss future trends in mechatronics, in particular from a software engineering point of view. The future of mechatronics will specifically see a move towards a high degree of adaptibility and self-organisation. This poses new challenges on software engineering, especially on modelling, code generation and analysis. We exemplify existing as well as future strands by a collaborative research and development project of a mechatronic rail system from the University of Paderborn.Keywords
This publication has 22 references indexed in Scilit:
- Formal Software Analysis Emerging Trends in Software Model CheckingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Model-driven Development of Complex Software: A Research RoadmapPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Adding Value to Automotive ModelsPublished by Springer Nature ,2006
- Modular design and verification of component-based mechatronic systems with online-reconfigurationPublished by Association for Computing Machinery (ACM) ,2004
- Directed explicit-state model checking in the validation of communication protocolsInternational Journal on Software Tools for Technology Transfer, 2004
- Preserving Properties under ChangePublished by Springer Nature ,2004
- Counterexample-guided abstraction refinement for symbolic model checkingJournal of the ACM, 2003
- Towards the compositional verification of real-time UML designsPublished by Association for Computing Machinery (ACM) ,2003
- Inheritance of Temporal Logic PropertiesPublished by Springer Nature ,2003
- Bounded Model Checking Using Satisfiability SolvingFormal Methods in System Design, 2001