MDA proposes a new paradigm for software development in general. We claim that MDA
could be beneficial for embedded software development, especially if it is extended to …

Hybrid embedded systems are systems that are characterized by involving discrete as well
as continuous dynamics, such as digital software interacting with an analog environment. In …

Practical experience with the object-oriented development of complex reusable avionics
application software has led to the recognition that domain-specific model-based …

The specification of complex systems, such as software, requires welldefined languages and
methods. In the case of real-time systems, where temporal correctness must be achieved in …

The unified modeling language (UML) developed under the coordination of the Object
ManagementGroup (OMG) is one of the most important standards for the specification and …

Many real-time systems use runtime structural reconfiguration mechanisms based on
dynamic creation and destruction of components. To support such features, UML-RT …

The development of embedded systems necessitates the use of models throughout the
engineering process that allow both the analysis and synthesis of the system. This paper …

Formal methods have been seen as ways to improve the quality of the software
development process. However, apart from the interesting idea to apply mathematics and …

Visual description techniques are particularly important for the design of hybrid systems,
because specifications of such systems usually have to be discussed between engineers …

A study of the classes of finite relations as enriched strict monoidal categories is presented
in CaS91]. The relations there are interpreted as connections in flowchart schemes, hence …