Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Sviluppo di Metodi Per la Sicurezza di Applicazioni Distribuite - Rif. 101/2012 |
---|---|
Titolo del progetto di ricerca in inglese | Development of Methods for the Safety and Security of Distributed Applications - Ref. 101/2012 |
Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
Descrizione sintetica in italiano | Il programma di ricerca intende applicare i metodi formali e semi-formali, sui quali il gruppo FMSE ha ampia competenza, allo sviluppo di applicazioni informatiche distribuite di varia natura, con la finalità di aumentare il grado di confidenza nella sicurezza delle stesse. Le applicazioni distribuite a cui si farà riferimento vanno dai protocolli di comunicazione al software distribuito di sistemi embedded safety-critical quali i sistemi automotive. Uno dei problemi che ancora ostacola la diffusione a livello industriale dei metodi di sviluppo formali e semi-formali è l’elevato grado di esperienza e specializzazione che essi richiedono al personale addetto. Il programma di ricerca intende affrontare questo problema in particolare, attraverso lo sviluppo di metodologie che mascherino all’utente la complessità dell’impianto formale sottostante e forniscano un elevato grado di automazione. |
Descrizione sintetica in inglese | The research program aims to apply formal and semi-formal methods, on which the FMSE group has extensive expertise, the development of distributed processing applications of various kinds, with the aim of increasing the level of confidence in their safety and security. The diistributed applications that will be considered range from communication protocols to distributed software systems and safety-critical embedded systems such as automotive electronic and programmable systems. One of the problems that still hinder the spread of formal and semi-formal methods in industry is the high degree of personnel expertise that they require. The research program aims to address this issue in particular, through the development of methods that hide the complexity of the underlying formal setting and provide a high degree of automation. |
Data del bando | 28/02/2012 |
Paesi in cui può essere condotta la ricerca |
All |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://www.swas.polito.it/services/concorsi/assric.asp |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Criteri di selezione in italiano (breve descrizione) | Il bando e la modulistica per partecipare alla valutazione comparativa sono disponibili all'indirizzo: http://www.swas.polito.it/services/concorsi/assric.asp |
Criteri di selezione in inglese (breve descrizione) | To apply for research grants fill out the form available at the following address: http://www.swas.polito.it/services/concorsi/assric.asp |
Nome dell'Ente finanziatore | Politecnico di Torino |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | torino |
Sito web | http://www.polito.it/ |
ruo.persns@polito.it | |
Telefono | 39 011 090 6136 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 08/03/2012 - alle ore 00:00 |
---|---|
Come candidarsi | Other |