Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Assemblaggio di componenti per sistemi multiprocessore con alta efficienza energetica con verifica basata su modello, generazione automatica e retropropagazione |
|---|---|
| Titolo del progetto di ricerca in inglese | Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Studio, prototipazione e valutazione critica di soluzioni metodologiche e tecnologiche per: (1) il supporto di “separation of concerns”; (2) l'estensione del “component model” di CONCERTO con supporto a componenti gerarchiche, specifica di modi operativi, generazione di codice per sistemi multicore; (3) l'arricchimento delle funzionalità dell'ambiente di modellazione CONCERTO per la specifica di proprietà non-funzionali e per la retro-propagazione dei risultati di analisi di modello |
| Descrizione sintetica in inglese | Emerging embedded systems platforms harnessing new heterogeneous, multicore architectures to enable the next generation of powerful mission-critical applications demand advances in all areasof design and development to fulfill their promise. The integration of component-based design with model-driven development creates a potent combination especially capable of mastering the complexity of these new systems. CONCERTO will deliver a reference multi-domain architectural framework for complex, highly concurrent, and multicore systems, where non-functional properties (including real-time, dependability, and energy management) will be established for individual components, derived for the overall system at design time, and preserved by construction and monitoring at run time. The CONCERTO solutions will be applied to the aerospace, telecoms, automotive, petroleum and medical application domainsby the development of representative industrial use cases. |
| Data del bando | 26/06/2013 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 19367 |
| Periodicità | 20 mesi |
| E' richiesta mobilità internazionale? | no |
| 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.math.unipd.it |
| 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 | 19.367 |
| 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) | 34 |
| Criteri di selezione in italiano (breve descrizione) | Bando |
| Criteri di selezione in inglese (breve descrizione) | Selection announcement |
| Processo di selezione in italiano (breve descrizione) | Titoli, curriculum vitae, pubblicazioni scientifiche e lettere di presentazione |
| Processo di selezione in inglese (breve descrizione) | Qualifications, curriculum vitae, pubblications, letters of references |
| Nome dell'Ente finanziatore | Dipartimento di Matematica - Università degli Studi di Padova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Padova |
| Codice postale | 35121 |
| Indirizzo | Via Trieste, 63 |
| Sito web | http://www.math.unipd.it |
| amministrazione@math.unipd.it | |
| Telefono | +390498271387 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 12/07/2013 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |