Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Approcci e tecniche per la generazione automatica di modelli formali per l'analisi di sistemi complessi |
|---|---|
| Titolo del progetto di ricerca in inglese | Approaches and techniques for the automatic generation of formal models for the analysis of complex systems |
| Campo principale della ricerca | Engineering |
| Sottocampo della ricerca | Computer engineering |
| 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 prevede lo studio e la sintesi di soluzioni innovative per supportare la generazione automatica di modelli formali. In particolare l'attenzione sarà rivolta all'estensione di notazioni formali o semiformali esistenti e alla loro integrazione in approcci model-driven per l'analisi di sistemi complessi, con l'obiettivo di sviluppare strumenti a supporto della generazione automatica di modelli per la verifica, la validazione e il monitoraggio online di sistemi reali. |
| Descrizione sintetica in inglese | The research activities will study and design innovative solutions for efficient automatic generation of formal models. Specifically, the activities will focus on the extension of formal and semi-formal notations and their integration in model-driven approaches for the analysis of complex systems aiming at defining tools supporting the automatic generation of models for the verification, validation and online monitoring of real systems. |
| Data del bando | 23/10/2017 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 26000 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://unina.it, dieti.unina.it |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19702 |
| Valuta | Euro |
| Nome dell'Ente finanziatore | Dipartimento di Ingegneria elettrica e delle tecnologie dell'Informazione |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Napoli |
| Codice postale | 80125 |
| Indirizzo | Via Claudio,21 |
| Sito web | http://dieti.unina.it |
| cugnin@unina.it | |
| Telefono | 081 7683767 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 21/11/2017 |
|---|---|
| Come candidarsi | Other |