[HTML][HTML] Evolution of software in automated production systems: Challenges and research directions

B Vogel-Heuser, A Fay, I Schaefer, M Tichy - Journal of Systems and …, 2015 - Elsevier
Coping with evolution in automated production systems implies a cross-disciplinary
challenge along the system's life-cycle for variant-rich systems of high complexity. The …

Modeling time in computing: a taxonomy and a comparative survey

CA Furia, D Mandrioli, A Morzenti, M Rossi - ACM Computing Surveys …, 2010 - dl.acm.org
The increasing relevance of areas such as real-time and embedded systems, pervasive
computing, hybrid systems control, and biological and social systems modeling is bringing a …

Symbolic invariant verification for systems with dynamic structural adaptation

B Becker, D Beyer, H Giese, F Klein… - Proceedings of the 28th …, 2006 - dl.acm.org
The next generation of networked mechatronic systems will be characterized by complex
coordination and structural adaptation at run-time. Crucial safety properties have to be …

Design methodology for intelligent technical systems

J Gausemeier, FJ Rammig, W Schäfer - Lecture Notes in Mechanical …, 2014 - Springer
The Collaborative Research Centre 614" Self-Optimizing Concepts and Structures in
Mechanical Engineering", funded from 2002 to 2013 by the German Research Foundation …

The challenges of building advanced mechatronic systems

W Schafer, H Wehrheim - Future of Software Engineering …, 2007 - ieeexplore.ieee.org
Mechatronics is an engineering discipline integrating the fields of mechanical engineering,
electrical engineering and computer science. While the word" mechatronics" already has a …

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML

S Burmester, H Giese, M Tichy - European Workshop on Model Driven …, 2003 - Springer
Today, advanced technical systems are complex, reconfigurable mechatronic systems
where most control and reconfiguration functionality is realized in software. A number of …

Modular design and verification of component-based mechatronic systems with online-reconfiguration

H Giese, S Burmester, W Schäfer… - Proceedings of the 12th …, 2004 - dl.acm.org
The development of complex mechatronic systems requires a careful and ideally verifiable
design. In addition, engineers from different disciplines, namely mechanical, electrical and …

Low resolution vehicle re-identification based on appearance features for wide area motion imagery

M Cormier, LW Sommer… - 2016 IEEE Winter …, 2016 - ieeexplore.ieee.org
The description of vehicle appearance in Wide Area Motion Imagery (WAMI) data is
challenging due to low resolution and renunciation of color. However, appearance …

PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering–aspects on behavioral semantics and model-checking

D Witsch, B Vogel-Heuser - IFAC Proceedings Volumes, 2011 - Elsevier
This paper presents the core concepts for PLC-statecharts–an adaptation of UML-
statecharts–which can be used as a visual programming language for PLCs. They combine …

[PDF][PDF] A modeling concept for formal verification of OS-based compositional software

LB Ribeiro, F Lorber, U Nyman, KG Larsen… - International …, 2023 - library.oapen.org
The use of formal methods to prove the correctness of compositional embedded systems is
increasingly important. However, the required models and algorithms can induce an …