Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodologie per specifica, validazione e verifica orientate a sistemi embedded - Rif. 157/2014 |
|---|---|
| Titolo del progetto di ricerca in inglese | Specification, validation and verification methodologies for embedded systems - Ref. 157/2014 |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Il programma mira allo studio teorico e sperimentale di metodologie di supporto alla progettazione di sistemi embedded, sia per la parte di progettazione hardware che di sviluppo software, con particolare riferimento al Firmware e Middleware. Il programma si colloca nell’ambito di collaborazioni di tipo sia scientifico che industriale, e coinvolge un gruppo di ricercatori che da anni si occupano di queste tematiche. In particolare, si studieranno formalismi e metodi per la rappresentazione formale di specifiche, strumenti e algoritmi per la generazione e la verifica di modelli astratti. Si studieranno inoltre linguaggi e rappresentazioni di tipo comportamentale sia di componenti hardware che di moduli software. |
| Descrizione sintetica in inglese | The research program is oriented to a theoretic and experimental study of design methodologies for embedded systems, both for the hardware and the software (Firmware and Middleware) components. More specifically, the project will address: formalisms and representation methods for specifications, engines and algorithms for generation and specification of abstract models. Behavioral languages and representations will also be considered, both for hardware and software modules. |
| Data del bando | 22/09/2014 |
| Paesi in cui può essere condotta la ricerca |
All |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.swas.polito.it/services/concorsi/assric.asp |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | Il bando e la modulistica per partecipare alla valutazione comparativa sono disponibili all'indirizzo: http://www.swas.polito.it/services/concorsi/assric.asp |
| Criteri di selezione in inglese (breve descrizione) | To apply for research grants fill out the form available at the following address: http://www.swas.polito.it/services/concorsi/assric.asp |
| Nome dell'Ente finanziatore | Politecnico di Torino |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Torino |
| Sito web | http://www.polito.it/ |
| ruo.persns@polito.it | |
| Telefono | +39 011 090 6136 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 02/10/2014 |
|---|---|
| Come candidarsi | Other |