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 technique, the selected mini cases should jointly cover all development phases as well as all quantitative and security aspects relevant for cyber-physical systems. We will in particular address the possibilities from the projects DaNES (HTF), Multiform (EU FP7), Quasimodo (EU FP7), Trusted Software Fundamental Research (NSFC), Analyzing and Testing Techniques for Model-Driven Development (MOST).

Work package leaders:

Arne Skou

Aalborg University

E-mail

Geguan Pu

East China Normal University

Research

	Specification and Modeling Formalisms
	Validation and Analysis Techniques
	Compositionality versus Global Characteristic Features
	Cross-level Property Preservation
	Mini cases
	Tool prototypes

LINKS

http://english.is.cas.cn/

http://www.dtu.dk/English

http://www.ecnu.edu.cn/

http://www.en.aau.dk

http://www.cs.aau.dk/en

http://ctic.au.dk/

PARTNERS

FINANCED BY

The Danish National Research Foundation objective is to promote and stimulate basic research at the highest international level at the frontiers of all scientific fields. Read more:

www.dg.dk/en

Alphabetical index | Sitemap