Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Testing e verifica formale di sistemi di segnalamento ferroviario |
|---|---|
| Titolo del progetto di ricerca in inglese | Testing and formal verification of railway signaling systems |
| Campo principale della ricerca | Engineering |
| Sottocampo della ricerca | Computer engineering |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Le attività sono finalizzate all’analisi, progettazione e prototipizzazione, verifica formale e testing di moduli software per un sistema di segnalamento ferroviario, e più specificatamente per il sottosistema di segnalamento di bordo (denominato EVC). L’assegno di ricerca è finalizzato a fornire supporto per le seguenti attività: - Definizione di un approccio di sviluppo e convalida model-based; - Definizione dell’architettura software del sistema di segnalamento di bordo; - Modellazione, codifica e convalida di moduli applicativi del kernel di segnalamento; - Definizione di approcci per la verifica formale e il testing di sistemi di segnalamento. |
| Descrizione sintetica in inglese | The project includes the analysis, design and prototyping of software modules and simulation and testing tools for railways signaling systems, and specifically the on-board signaling sub-system (named EVC). Specifically, this research grant incoudes the following activities: - defining a model-based approach for development and testing; - defining the software architecture for on-board signaling bub-system; - modelling, coding and validation of kermal modules on the signaing system; - defining approaches for normal verification and testing of the signaling system. |
| Data del bando | 19/12/2018 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23040 |
| Periodicità | 2 anni |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unisannio.it/it/amministrazione/albo-online/concorsi/studenti |
| 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 |
| Importo annuale | 23040 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 24 |
| Criteri di selezione in italiano (breve descrizione) | I criteri di selezione sono definiti da una Commissione e saranno espressi in centesimi con opportuni pesi. Sono oggetto di valutazione i titoli accademici post-laurea, i corsi di perfezionamento, le pubblicazioni, le esperienze di ricerca. Colloquio |
| Criteri di selezione in inglese (breve descrizione) | The selection criteria are determinated by the Commission and will be expressed in 100 points scale with appropriate evaluation. They will be object of evaluation the final degree work, post degree activities, pubblications, research experiences. Interview |
| Processo di selezione in italiano (breve descrizione) | Il colloquio verterà sulla verifica delle competenze e dell’esperienza dei candidati, nonché sull’accertamento delle conoscenze in materia di: gestione di progetto software; model-driven development; software testing; source code analysis and transformation/re-engineering. |
| Processo di selezione in inglese (breve descrizione) | The examination will be consist of an interview to assess the skill and experiences of the candidates and to evaluate their knowledge about software engineering, model-driven development, software testing, formal verification and source code analysis |
| Nome dell'Ente finanziatore | Università degli Studi del Sannio |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Benevento |
| Sito web | http.//www.unisannio.it |
| pascucci@unisannio.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 18/01/2019 |
|---|---|
| Come candidarsi | Other |