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