[HTML][HTML] Evolution of software in automated production systems: Challenges and research directions
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 …
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 …
computing, hybrid systems control, and biological and social systems modeling is bringing a …
Symbolic invariant verification for systems with dynamic structural adaptation
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 …
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 …
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 …
electrical engineering and computer science. While the word" mechatronics" already has a …
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
Today, advanced technical systems are complex, reconfigurable mechatronic systems
where most control and reconfiguration functionality is realized in software. A number of …
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
The development of complex mechatronic systems requires a careful and ideally verifiable
design. In addition, engineers from different disciplines, namely mechanical, electrical and …
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 …
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 …
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
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 …
increasingly important. However, the required models and algorithms can induce an …