- SPES 2020.
The objective of the SPES project is the conceptual design, realization, and
testing of an efficient methodology of an integrated, model based and tool
supported, development of embedded systems. It provides significant contributions
in different application areas, which helps to control these increasingly powerful,
networked, and complex systems.
- Evaluating Costs- and Benefits of model-based development of embedded
software systems in the car industry. In collaboration with the
technology consulting company Altran Technologies
(http://www.altran.de/index.php/en) the costs and benefits of model-based
development of embedded software systems in the car industry is being
analysed. We aim to identify the essential costs- and benefit driver and to
analyze how the costs- and benefits can be optimized. The results of the
work are derived from Case study interviews and from results of a global
- InServe III. Service-Based Development of Reactive Systems focused
on theorical as well as methodical aspects. Funded by DFG.
CawarFLOW. Integration of context aware systems and domain knowledge by means
of workflow descriptions
InGen. Development of a hierachical approach to knowledge representation
and action planning
- MoTeCh. The objective of MoTeCh is the development of techniques
for the model-based test of smart card applications.
Therefore suitable modeling techniques for smart card applications, precise
description of test strategies, and algorithms are chosen.
These are the basis for deriving test cases.
Supported by the BMWi (AiF) the Competence Center Model-Based Development
in cooperation with the iwb and several
industrial partners develops description techniques and methods for logical
behavior modeling of mechatronic systems in the factory automation domain.
These models aim at supporting the system development process by exploration
and simulation of different solution ideas on a logical level. Additionally,
these models can be a basis for the generation of derived models, such as
models for virtual commissioning.
It was the objective of the GENESYS project to develop a cross-domain
reference architecturefor embedded systems that meets the requirements
and constraints documented in the ARTEMIS SRA.
These ARTEMIS requirements are composability, networking and security,
robustness, diagnosis and maintenance, integrated resource management,
evolvability and self-organization. The reference architecture will
be domain-independent and serve as a template that can be instantiated
to concrete platforms for individual application domains
(i.e., automotive, avionic, industrial control, mobile, consumer electronics).
- FlaSCo. A feasibility study, in which an industrial
embedded system was formally specified and designed. A project
with Siemens Industry Automation and Drive.
The goal of the project was the development of a practical method for
distributed engineering and integration of automotive product lines.
The method should be based on concepts for product line engineering
and be geared to concrete requirements of industrial development
The main goal of the project is the pervasive formal verification of
computer systems. The correct functionality of systems, as they are
applied, for example, in automotive engineering, in security technology and
in the sector of medical technology, are to be mathematically proved.