Architetture a componenti per sistemi complessi affidabili (ICT.P09.005)

Type
Label
  • Architetture a componenti per sistemi complessi affidabili (ICT.P09.005) (literal)
Modulo
Codice
  • ICT.P09.005 (literal)
Anno di chiusura previsto
  • 2016-01-01T00:00:00+01:00 (literal)
Dipartimento
  • ICT (Dipartimento)
Istituto esecutore
Primo anno di attività
  • 2005-01-01T00:00:00+01:00 (literal)
Abstract
  • La commessa promuove l'avanzamento di metodologie di sviluppo di sistemi software-intensive, impiegati in applicazioni con elevati requisiti di qualità di servizio e di adattamento a cambianenti ed evoluzioni, anche dovuti a malfunzionamenti/attacchi. Le metodologie e gli strumenti studiati sono orientati alla definizione di un'architettura generica del sistema, impiegabile in diversi campi applicativi. Focalizzando su proprietà di dependability e qualità, gli attuali principali obiettivi della commessa sono: - Metodologie, tecniche e tools per l'analisi, il testing e il monitoraggio di sistemi dinamici - Analisi dell'impatto di malfunzionamento/attacchi in sistemi complessi caratterizzati da interazioni tra componenti di natura diversa (cyber-physical systems, critical infrastructures) - Tecniche di testing per la verifica di proprietà di qualità e sicurezza del software - Tecniche e meccanismi per dependability e fault tolerance - Approcci model-based per il design e la validazione di sistemi e-learning - Metodologia integrata hw/sw per monitoraggio continuo di ambienti sensorizzati - Sviluppo di software robusto per la pianificazione automatica in situazioni safety critical (literal)
Nome
  • Architetture a componenti per sistemi complessi affidabili (literal)
Descrizione
Responsabile

Incoming links:


Descrizione di
In commessa
Dipartimento di
  • ICT (Dipartimento)
Istituto esecutore di
Responsabile di
Modulo di
Commessa
data.CNR.it