Statecharts: A visual formalism for complex systems
Science of Computer Programming
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
WSC '96 Proceedings of the 28th conference on Winter simulation
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Modern Control Engineering
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Modular Visual Model for Hybrid Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hybrid Systems
Approaching a Discrete-Continuous UML: Tool Support and Formalization
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation
Proceedings of the 4th ACM international conference on Embedded software
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Journal of Visual Languages and Computing
ICSE '07 Proceedings of the 29th international conference on Software Engineering
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Reusable Services and Semi-automatic Service Composition for Automotive Software
Model-Driven Development of Reliable Automotive Services
Architecting Dependable Systems V
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Towards a collaborative modeling and simulation platform on the Internet
Advanced Engineering Informatics
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Engineering self-coordinating software intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Fujaba4eclipse real-time tool suite
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
A rigorous software process for the development of embedded systems
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Modular verification of safe online-reconfiguration for proactive components in mechatronic UML
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Model-Based extension of AUTOSAR for architectural online reconfiguration
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Formalizing correctness criteria of dynamic updates derived from specification changes
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Hi-index | 0.00 |
The development of complex mechatronic systems requires a careful and ideally verifiable design. In addition, engineers from different disciplines, namely mechanical, electrical and software engineering, have to cooperate. The current technology is to use block diagrams including discrete blocks with statecharts for the design and verification of such systems. This does not adequately support the verification of large systems which improve the system behavior at run-time by means of online reconfiguration of its controllers because the system as whole has to be verified. It also does not support cooperative interdisciplinary work because a white-box view on all blocks involved in the online reconfiguration is required. This paper proposes a rigorous component concept based on the notion of UML component diagrams which enables modular composition and decomposition of complex systems with online reconfiguration given by hierarchical hybrid component specifications. The approach enables compatibility checks between components that are often independently developed (across the different disciplines) and supports compositional model checking based on a rigorously defined semantics.