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...
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....
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....
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...
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...
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...
Recent Comments