Obiettivo Reactive systems are computer systems that maintain a continuous interaction with the environment in which they execute. Examples of reactive systems are controllers embedded in cars or planes, system level software, device drivers, communication protocols, etc. On the one hand, those systems are notoriously difficult to develop correctly (because of characteristics like concurrency, real-time constraints, parallelism, etc). And on the other hand, their correctness is often critical as they are used in contexts where safety is an issue, or because of economical reasons related to mass production.To ensure reliability of reactive systems, advanced verification techniques have been developed. One particularly successful approach is model-checking. Nevertheless, model-checking is used to find bugs in designs but it does not support the design itself.In this project, we want to develop new algorithms and tools to support the automatic synthesis of modern reactive systems (instead of their verification a posteriori). We aim at a shift from verification to synthesis. To allow this shift, we need new foundations: we propose to generalize transition systems and automata – models of computation in the classical approach to verification – by the more flexible, and mathematically deeper, game-theoretic framework. Our work will be of fundamental nature but will also aim at the development of algorithms and tools. Those new foundations will allow for the development of a new generation of computer-aided design tools that will support the automatic synthesis of modern reactive systems and ensure correctness by construction. Campo scientifico natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwaredevice drivers Programma(i) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Argomento(i) ERC-SG-PE6 - ERC Starting Grant - Computer science and informatics Invito a presentare proposte ERC-2011-StG_20101014 Vedi altri progetti per questo bando Meccanismo di finanziamento ERC-SG - ERC Starting Grant Istituzione ospitante UNIVERSITE LIBRE DE BRUXELLES Contributo UE € 1 415 255,40 Indirizzo AVENUE FRANKLIN ROOSEVELT 50 1050 Bruxelles / Brussel Belgio Mostra sulla mappa Regione Région de Bruxelles-Capitale/Brussels Hoofdstedelijk Gewest Région de Bruxelles-Capitale/ Brussels Hoofdstedelijk Gewest Arr. de Bruxelles-Capitale/Arr. Brussel-Hoofdstad Tipo di attività Higher or Secondary Education Establishments Ricercatore principale Jean-Francois Raskin (Prof.) Contatto amministrativo Anastasios Perimenis (Mr.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato Beneficiari (1) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto UNIVERSITE LIBRE DE BRUXELLES Belgio Contributo UE € 1 415 255,40 Indirizzo AVENUE FRANKLIN ROOSEVELT 50 1050 Bruxelles / Brussel Mostra sulla mappa Regione Région de Bruxelles-Capitale/Brussels Hoofdstedelijk Gewest Région de Bruxelles-Capitale/ Brussels Hoofdstedelijk Gewest Arr. de Bruxelles-Capitale/Arr. Brussel-Hoofdstad Tipo di attività Higher or Secondary Education Establishments Ricercatore principale Jean-Francois Raskin (Prof.) Contatto amministrativo Anastasios Perimenis (Mr.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato