Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Verifica formale per la sicurezza in sistemi Cyber-Fisici |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal verification for security in Cyber-Physical Systems |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/04 - AUTOMATICA |
| Descrizione sintetica in italiano | Le attività sono collegate al WP4 del progetto EU SAFECOP. In questo contesto, le attività saranno concentrate sullo sviluppo e implementazione di metodi formali per model-checking e identificazione di attacchi in Cyber-Physical Systems. Le attività di ricerca saranno concentrate in particolare ai Cyber-Physical Systems in cui l’interazione tra l’ambiente fisico e le unità di computazione sfrutta reti di sensori ed attuatori wireless. Un obiettivo fondamentale di questo progetto è il supporto ad attività di ponte sulla ricerca nell’ambito della sicurezza dai punti di vista della Teoria dei Controllo, della Teoria delle Telecomunicazioni e dell’Informatica Teorica. E’ previsto, come obiettivo a lungo termine, di fare da supporto ad attività sperimentali sulla sicurezza dei Cyber-Physical System. |
| Descrizione sintetica in inglese | The activities are related to WP4 of the SAFECOP EU project. In this context, the activities will focus on the development and implementation of formal methods for model-checking and malicious attack detection in Cyber-Physical Systems. Research activities will be focused in particular to Cyber-Physical Systems where the interaction among the physical environment and the computational units exploits wireless sensors and actuator networks. A fundamental objective of this project is to support the activities to bridge research on security from the points of view of Control Theory, Communication Theory and Computer Science. It is also expected, in a long-term time horizon, to provide support to experimental activities in security of Cyber-Physical Systems |
| Data del bando | 19/04/2017 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 30.000 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.univaq.it/section.php?id=766 |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 30.000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Nome dell'Ente finanziatore | Università degli studi dell'Aquila - Centro di Eccellenza DEWS |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | L'AQUILA |
| Codice postale | 67100 |
| Indirizzo | Via Vetoio, snc - Loc. Coppito |
| Sito web | http://www.univaq.it/ |
| disim.sac@strutture.univaq.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/05/2017 |
|---|---|
| Come candidarsi | Other |