Descrizione posizione

Titolo del progetto di ricerca in italiano	Metodologie e strumenti software per la modellazione, l'analisi, la verifica formale e il testing di sistemi software dinamici
Titolo del progetto di ricerca in inglese	Methodologies and software tools for modeling, analysis, formal verification and testing of dynamic software systems
Descrizione sintetica in italiano	Le moderne tecnologie di interconessione e condivisione delle risorse di calcolo e storage richiedono lo sviluppo di sistemi software sempre più complessi e dinamici. In tali contesti garantire la correttezza diventa sempre più importante e difficile. Le tradizionali tecniche di verifica necessitano di essere riviste al fine di poter considerare le diverse dimensioni della dinamicità del sistema ed al fine di poter essere complementate con meccanismi di verifica che possano essere attivati anche durante la fase di esecuzione del sistema stesso.Obiettivo del progetto è quello di proporre nuove tecniche di verifica e validazione per sistemi dinamici che evolvono continuamente. In particolare dovranno essere oggetto di studio tecniche per: - predizione dinamica di guasti e fallimenti - tecniche dinamiche di analisi dei fallimenti - tecniche dinamiche per la rimozione e la gestione di guasti e fallimenti
Descrizione sintetica in inglese	Modern technologies for systems interconnection and sharing of computing resources and storage require the development of software systems increasingly complex and dynamic. In such a context correctness becomes increasingly important and difficult. Traditional verification techniques need to be revised in order to be able to consider the different dimensions of the dynamicity of the system and in order to be complemented with verification mechanisms that can be activated during the execution phase of the system itself. Project objective is to propose new techniques for verification and validation for continuously and dynamically evolving systems. In particular should be object of study techniques for: - faults and failures prediction and prevention, - Dynamic analysis of failures - Dynamic techniques for removal and avoidance of faults and failures
Numero posti	1
Settore Concorsuale	01/B1 - INFORMATICA
S.S.D	INF/01 - INFORMATICA
Destinatari del bando (of target group)	Early stage researcher or 0-4 yrs (Post graduate)
Data del bando	23/10/2012

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	Università degli Studi di Camerino
Paese (dove si svolgerà l'attività)	ITALY
Stato/Provincia	Macerata
Città	Camerino
Codice postale	62032
Indirizzo	Piazza Cavour, 19/F

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università degli Studi di Camerino
Tipo	Academic
Paese	ITALY
Città	Camerino
E-mail	annamaria.antonini@unicam.it
Sito web	http://www.unicam.it/servizi_online/cerca_bandi.asp

 

Dettagli per la candidatura

Data di scadenza del bando	27/12/2012
Come candidarsi	Other

 

Titoli di studio richiesti

Laurea	Master Degree or equivalent
Ambito della laurea	Computer science

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Good