Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sviluppo di un ambiente di progettazione per sistemi di segnalamento ferroviario, basato su metodi formali |
|---|---|
| Titolo del progetto di ricerca in inglese | Development of an environment for the design of railway signalling systems, based on formal methods |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Il lavoro si colloca nell’ambito di una collaborazione con RFI (Rete Ferroviaria Italiana) per la progettazione e lo sviluppo di un ambiente innovativo di sviluppo di sistemi per il segnalamento ferroviario. In particolar modo, l’obiettivo del lavoro in oggetto è la creazione di uno strumento per la modellazione di sistemi di segnalamento ferroviario che sia basato su notazioni standard (per esempio UML, Unified Modeling Language), che sia al contempo in grado di produrre automaticamente modelli formali, allo scopo di condurre attività di verifica e validazione dei sistemi progettati. |
| Descrizione sintetica in inglese | The project is part of a collaboration with RFI (Rete Ferroviaria Italiana) for the design and development of an environment that targeted to the development of railway signalling systems. In particular, the goal of the project is the realization of a tool for the modelling of railway systems which is based on standard notations (such as, for example, UML, Unified Modeling Language), which is also capable of automatically producing formal models, with the goal of carrying out verification and validation activities on the designed systems. |
| Data del bando | 16/11/2017 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the call (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Nome dell'Ente finanziatore | Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Milano |
| Sito web | http://www.deib.polimi.it |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 22/12/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |