Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Strumenti e metodologie per il supporto alla progettazione e all'analisi di sistemi intelligenti a larga scala. |
---|---|
Titolo del progetto di ricerca in inglese | Tools and methodologies supporting design and analysis of large scaled distributed systems. |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | I sistemi smart-* sono applicazioni su larga scala distribuiti fisicamente in cui vengono utilizzati diversi tipi di sensori di raccolta dati per fornire informazioni impiegate per la gestione efficiente delle risorse. Questi sistemi sono sempre più pervasivi e interagiscono ampiamente con il loro ambiente. È quindi fondamentale evitare situazioni inattese e potenzialmente pericolose. Vi è un forte bisogno di tecniche per garantire che questi sistemi siano affidabili garantendo proprietà non funzionali (sicurezza, integrità, disponibilità, correttezza, affidabilità, resilienza) da verificare nel loro insieme a livello di sistema. L'obiettivo del progetto è sviluppare strumenti e tecniche per supportare l'analisi in fase di progettazione di sistemi intelligenti a diversi livelli di astrazione al fine di prevedere il loro comportamento emergente e misurare la capacità dei sistemi di adattarsi autonomamente ad ambienti operativi altamente dinamici. |
Descrizione sintetica in inglese | Smart systems are large-scale, physically-distributed services where different kinds of data-collection sensors are used to supply information employed to efficiently manage assets and resources, and provide efficient operations. These systems are increasingly pervasive and interact extensively with their environment. It is thus crucial to avoid unexpected and possibly dangerous situations. There is a strong need of techniques to guarantee that systems are trustworthy. Trustworthiness is a holistic property, encompassing different characteristics (safety, security, integrity, availability, correctness, reliability, resilience) that are not addressed in isolation but as a whole at system level. The goal of the project is to develop tools and techniques for supporting design-time analysis of smart systems at different levels of abstraction in order to predict their emerging behaviour and measure the ability of the systems to adapt autonomously to highly dynamic operational environments |
Data del bando | 21/11/2019 |
Numero di assegnazioni per anno | 1 |
Periodicità | 24 |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
Sito web del bando | https://www.unicam.it/bandi/attivi/all/Procedure%20selettive%20per%20assegni%20di%20ricerca |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Importo annuale | 23786 |
Valuta | Euro |
Nome dell'Ente finanziatore | Università degli Studi di Camerino - Scuola di Scienze e Tecnologie |
---|---|
Tipologia dell'Ente | Academic |
Paese dell'Ente | Italy |
Città | Camerino |
Sito web | http://www.unicam.it/ |
anna.silano@unicam.it | |
michele.loreti@unicam.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 27/12/2019 - alle ore 00:00 |
---|---|
Come candidarsi | Other |