Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | “Sviluppo di Metodologie e Strumenti a supporto della Verifica e Validazione on-line di sistemi critici dinamici e adattivi” – acronimo “MS-VIVA” |
|---|---|
| Titolo del progetto di ricerca in inglese | Development of a methodology and supporting tools for on-line V&V of dynamic and adaptive critical systems – MS-VIVA |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Modelling tools |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | I tradizionali approcci di Verifica e Validazione V&V non sono adeguati per sistemi dinamici, adattivi, su larga scala, e con requisiti che evolvono durante il ciclo di vita del sistema. Sono quindi richiesti nuovi approcci per la V&V dinamica fatta on-line. Il progetto MS-VIVA intende contribuire a colmare tale lacuna tramite lo sviluppo di metodologie e strumenti a supporto della Verifica e Validazione on-line di sistemi critici dinamici e adattivi, con particolare riferimento ai seguenti aspetti: - tracciabilità dei requisiti, tenendo traccia dei cambiamenti dei requisiti di sistema. - monitoraggio, sviluppando tecniche di monitoraggio attivo e passivo. - testing on-line, sia funzionale che non funzionale, definendo ed implementando metodi e strumenti che possano automaticamente derivare ed eseguire i test sul sistema. - modellizzazione, sviluppando metodologie e strumenti per l’analisi delle proprietà di sistema, con generazione automatica di modelli stocastici. |
| Descrizione sintetica in inglese | The traditional verification and validation approaches (V&V) are not adequate to deal with large scale adaptive, dynamic systems, whose requirements evolve. New approaches are therefore required for a dynamic on-line V&V. The MS-VIVA project intends to contribute to close this gap through the development of methodologies and tools supporting such on-line V&V of dynamic and adaptive critical systems, with particular emphasis on the following: - Traceability of requirements, accounting also for requirements changes. - Monitoring, developing techniques for both active and passive monitoring. - on-line testing, both functional and non-functional defining and implementing methods and tools for automatic test derivation and execution. - Modeling, developing methods and tools for the analysis and evaluation of system properties through the automatic generation of stochastic models. |
| Data del bando | 31/08/2012 |
| 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/vp-8822-assegni-cofinanziati-dalla-regione-toscana.html |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Importo annuale | 30000 |
| Valuta | Euro |
| Criteri di selezione in italiano (breve descrizione) |
Essere disoccupati o inoccupati Essere in possesso di laurea specialistica in Ingegneria Informatica, Ingegneria Elettronica, Ingegneria delle Comunicazioni o Matematica o di laurea vecchio ordinamento con almeno tre anni di esperienza di ricerca documentata presso università e centri di ricerca pubblici o privati con conoscenze di base sulle tematiche del progetto ed aver maturato un sufficiente grado di esperienza nel settore dei sistemi critici e nelle metodologie di Verifica e Validazione degli stessi. Avere età non superiore ai 35 anni alla data dell’11/01/12 (data di pubblicazione sul BURT dell’Avviso pubblico regionale) Presentino un progetto di formazione-apprendimento-ricerca nel quale indichino in modo dettagliato le acquisizioni e il percorso di crescita professionale che intendono realizzare con la partecipazione al progetto di ricerca specifico per il quale è bandito l’assegno |
| Processo di selezione in italiano (breve descrizione) | titoli e colloquio |
| Nome dell'Ente finanziatore | Università degli Studi di Firenze - Regione Toscana |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Firenze |
| Sito web | http://www.unifi.it |
| andrea.bondavalli@unifi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 26/09/2012 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |