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 e Internet of Things - Rif. 214/2014 |
|---|---|
| Titolo del progetto di ricerca in inglese | Specification, validation and verification methodologies for embedded systems and Internet of Things - Ref. 214/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 viene inoltre esteso alla connessione di rete di sistemi embedded in ambito “Internet of Things”. Il programma si colloca nell’ambito di collaborazioni di tipo sia scientifico che industriale. 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. Particolare enfasi sarà inoltre attribuita a definizione e sviluppo di casi di studio applicativi. |
| 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. The program also covers network connections among embedded systems, within the framework known as “Internet of Things”. The research program will be developed within the framework of scientific and industrial co-operations. 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. Emphasis will also be given to the definition and development of case studies and application examples. |
| Data del bando | 01/12/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 | 11/12/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |