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).