Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi formali e strumenti per il segnalamento ferroviario di sistemi ad alta velocità |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal methods and tools for the for the railway signalling of high speed rail systems |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Modelling tools |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Le specifiche del sistema di segnalamento interoperabile europeo ERTMS/ETCS sono in evoluzione con una nuova edizione del SUBSET di riferimento che introduce migliorie di gran rilievo. Il sistema di protezione della marcia. I Livelli 2 e 3 possono realizzare prestazioni di gran lunga superiori mediante una comunicazione continua con i treni e una Logica Applicativa a bordo treno di maggior complessità. Questo tipo di soluzioni possono essere anche adottate per Sistemi di ferrovia leggera e di metropolitana. Il Progetto si propone di utilizzare le più moderne tecniche di modellazione e di analisi dei modelli per convalidare le specifiche di Sotto Sistemi e Apparati e per confrontare sistematicamente l’implementazione con le specifiche e raggiungere un’ottima confidenza sulla correttezza di quanto sviluppato |
| Descrizione sintetica in inglese | The specifications of the European interoperabile signalling system named ERTMS/ETCS are evolving by means of a new edition of the SUBSET of reference, which brings forth significant improvements. The gear protection system. Levels 2 and 3 can realize excellent performances thanks to the continuous communication with trains and an Onboard application logic much more complex than ever before. This kind of solutions can be adopted for underground railway systems and light railway, as well. The Project focuses on using the most modern techniques, as far as modeling and model analysis are concerned, in order to validate the specifications of Sub-Systems and Machinery and to compare systematically the implementation of specification, so as to achieve the excellence and correctness of what has been developed. |
| Data del bando | 07/10/2011 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 22816,91 |
| Periodicità | annuale |
| E' richiesta mobilità internazionale? | yes |
| 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/upload/sub/assegni/2011/si_dd31_211011.pdf |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Criteri di selezione in italiano (breve descrizione) |
Titolo accademico di Dottore di ricerca o Laurea V.O. in Ingegneria Informatica, o in Informatica o Ingegneria delle Telecomunicazioni o corrispondenti Lauree Specialistiche/Magistrali N.O. Possesso di un curriculum scientifico-professionale idoneo allo svolgimento della ricerca. |
| 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 |
| Indirizzo | Piazza San Marco 4 |
| Sito web | http://www.unifi.it |
| nesi@dsi.unifi.it | |
| Telefono | 055/4796523 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 21/10/2011 |
|---|---|
| Come candidarsi | Other |