Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sviluppo di un ambiente per l’esecuzione e l’analisi di linguaggi orientati ai servizi |
|---|---|
| Titolo del progetto di ricerca in inglese | Development of a framework for the execution and analysis of service-oriented languages |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Computer systems |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Questa attività di ricerca mira, da un lato, a semplificare lo sviluppo di sistemi orientati ai servizi e, dall'altro, a garantire che il comportamento di un tale sistema rispetti le proprietà desiderate. Quindi, oltre allo sviluppo di strumenti di supporto alla programmazione ed all'esecuzione di programmi orientati ai servizi, dovranno essere studiati, sviluppati ed integrati opportuni strumenti formali, anche basati ad esempio su logiche stocastiche, per supportare la verifica di proprietà dei sistemi in esame. Verrà anche analizzato l'impatto dell'aggiunta di meccanismi e tecniche di adattamento e riconfigurazione dinamica tipici dei sistemi adattivi. Infine, i linguaggi, i modelli e gli strumenti formali sviluppati saranno applicati alla descrizione ed all'analisi di alcuni casi di studio industriali quali Swarm robotics, Cloud computing, ed e-Vehicles. |
| Descrizione sintetica in inglese | This research activity aims at, from one hand, simplifying the development of service-oriented systems and, from the other hand, guaranteeing that such a system’s behavior complies with the desired properties. Therefore, in addition to the development of tools supporting programming and execution of service-oriented programs, suitable formal tools have to be studied, developed and integrated, possibly based on stochastic logics, to support property verification of the systems of interest. It will also be analysed the impact of the addition of mechanisms and techniques of adaptation and dynamic reconfiguration which are typical of adaptive systems. Finally, the developed languages, models and formal tools will be applied to the description and analysis of some industrial case studies in the fields of Swarm robotics, Cloud computing, and e-Vehicles. |
| Data del bando | 20/02/2012 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 22946,28 |
| Periodicità | annuale |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.unifi.it/CMpro-v-p-391.html |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| 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) | 48 |
| Criteri di selezione in italiano (breve descrizione) | Diploma di laurea (corso di studi di durata non inferiore a quattro anni, previsto dagli ordinamenti didattici previgenti al D.M. n. 509/1999) in Informatica o laurea specialistica/magistrale, classe LM-18 conseguita ai sensi rispettivamente dei D.M. n. 509/1999 e n. 270/2004, e possesso di un curriculum scientifico professionale idoneo allo svolgimento dell’attività di ricerca oggetto del programma dell’assegno. |
| Processo di selezione in italiano (breve descrizione) | Titoli e colloquio |
| Nome dell'Ente finanziatore | Università degli Studi di Firenze |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Firenze |
| Sito web | http://www.unifi.it |
| rosario.pugliese@unifi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 16/03/2012 |
|---|---|
| Come candidarsi | Other |