LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Analysis of cyclic combinational circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Distributed HIL simulation of mechatronic systems applied to an agricultural machine
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
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
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
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
Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
The Ptolemy II Framework for Visual Languages
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
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
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
A type system for the automatic distribution of higher-order synchronous dataflow programs
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Clock-directed modular code generation for synchronous data-flow languages
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Tool support for the design of self-optimizing mechatronic multi-agent systems
International Journal on Software Tools for Technology Transfer (STTT)
Shadow configuration as a network management primitive
Proceedings of the ACM SIGCOMM 2008 conference on Data communication
Modularity vs. reusability: code generation from synchronous block diagrams
Proceedings of the conference on Design, automation and test in Europe
Modular code generation from synchronous block diagrams: modularity vs. code size
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ISORC '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
R-Charon, a modeling language for reconfigurable hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
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-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Hi-index | 0.00 |
Advanced mechatronic systems have to integrate existing technologies from mechanical, electrical and software engineering. They must be able to adapt their structure and behavior at runtime by reconfiguration to react flexibly to changes in the environment. Therefore, a tight integration of structural and behavioral models of the different domains is required. This integration results in complex reconfigurable hybrid systems, the execution logic of which cannot be addressed directly with existing standard modeling, simulation, and code-generation techniques. We present in this paper how our component-based approach for reconfigurable mechatronic systems, MECHATRONIC UML, efficiently handles the complex interplay of discrete behavior and continuous behavior in a modular manner. In addition, its extension to even more flexible reconfiguration cases is presented.