0

You are here: MT-LAB.dk News & Events Inauguration of IDEA4CPS

Inauguration of IDEA4CPS


IDEA4CPS – FOUNDATIONS FOR CYBER-PHYSICAL SYSTEMS

 

Researchers from MT-LAB play a key role in a new Danish-Chinese research centre on the foundations of cyber-physical systems - that is, systems with a tight combination and coordination between computational and physical elements.

 

As an example, in the future our homes will contain a number of devices for monitoring, controlling and automating our use of scarce resources as for example energy; small computers will ensure that the physical devices interact not only with one another but also with service providers thereby enabling a dynamic pricing structure, over-the-air updates etc.

 

In IDEA4CPS we will study how one can ensure that such systems have the required behaviour; this does not only mean that they must be correct and efficient but also that they must be reliable and resistant to hacker attacks and that they live up to requirements put up by the society. In doing so IDEA4CPS follows the approach of MT-LAB and studies formal techniques and tools based on firm mathematical foundations.

 

Guangyuang Li (Beijing), Flemming Nielson (DTU), Thomas Sinkjær (GF),

Kim G. Larsen (AAU) and Huibiao Zhu (Shanghai).

 

About IDEA4CPS:

IDEA4CPS is a Sino-Danish Basic Research Center founded by the Danish National Research Foundation and the National Natural Science Foundation of China. The partners are East China Normal University (Shanghai), Institute of Software Chinese Academy of Science (Beijing), Technical University of Denmark and Aalborg University.

 

IDEA4CPS research areas:

  • Specification and modelling formalisms
  • Validation and analysis techniques
  • Compositionality and global characteristic features
  • Cross-level property preservation

 

Read more at: www.idea4cps.dk

   

 

 

 

Professor Thomas Sinkjær, director of the Danish National Research Foundation (Danmarks Grundforskningsfond), opened the centre in Aalborg on June 1st 2011.

 

 

Kristian G. Olesen (AAU), Kim G. Larsen (AAU), Thomas Sinkjær (GF), and Eskild Holm Nielsen (AAU) at the inauguration.


Research Consortium

 

The Villum Foundation and Velux Foundation has awarded a grant of 25 mill. DKK to the centre which has partners from Technical University of Denmark, Aalborg University and IT University of Copenhagen. MT-LAB integrates a number of competences currently spread over several institutions, departments and divisions:


             
Flemming Nielson
Director of MT-LAB
Professor
DTU
  Hanne Riis Nielson
Professor
DTU
  Bo Friis Nielsen
Associate Professor
DTU
  Kim G. Larsen
Professor
AAU
  Arne Skou
Associate Professor
AAU
  Rafael Wisniewski
Professor
AAU
  Jens C. Godskesen
Associate Professor
ITU
  Andrzej Wąsowski
Associate Professor
ITU