Research - IDEA4CPS

The IDEA4CPS project will research and develop mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. This means that design decisions, analysis, simulation, testing, code generation, etc. are always based upon models that reflect the relevant aspects of the design. This requires methods to maintain, manipulate, analyse and transform models in a coherent and meaningful way.

Read more about our specific research topics below.

Specification and Modeling Formalisms

The overall ambition of this topic is to establish a coherent family of mathematical specification and modeling formalisms for quantitative and security aspects of cyber-physical systems. Topics: Requirement Analysis and Extended Logics Resource-aware Modeling...

read more

Validation and Analysis Techniques

The overall ambition of this topic is to provide a wide range of powerful techniques for analyzing models with (possibly multiple) quantitative and security information as they may appear throughout the systems development process. Topics: Refinement and Abstraction...

read more

Compositionality versus Global Characteristic Features

The overall ambition of this topic is to devise formalisms and methods that allow quantitative and security properties of composite systems to be established from properties of the components as much as possible. Topics: Components, interfaces for resources...

read more

Cross-level Property Preservation

The overall ambition of this topic is to devise methods ensuring that properties guaranteed to hold at high-level abstractions translate to similar guarantees at concrete system levels Topics: Modelbased Testing and Model Learning Automatic test data generation for...

read more

Mini cases

In order to validate the proposed formalisms and to evaluate the usefulness of the developed techniques, we will continuously apply them to a number of challenging mini cases. Though each mini case may be tailored towards validating a particular formalism or...

read more

Tool prototypes

To enable the experiments of the devised formalisms and techniques on mini cases, we will provide support for these through a number of prototypical tools. These will be obtained in a systematic manner from (structural) operational semantics, allowing a generic way of...

read more