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

Type
Label
  • Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (literal)
Prodotto
Codice
  • ICT.P09.005.002 (literal)
Anno di chiusura previsto
  • 2014-01-01T00:00:00+01:00 (literal)
Istituto esecutore
Primo anno di attività
  • 2005-01-01T00:00:00+01:00 (literal)
Abstract
  • Questo modulo (coordinato con la commessa ISTI su \"robust software intensive systems\") ha un po' cambiato natura nel corso del tempo. E' nato con l' obiettivo di creare ambienti sensorizzati intelligenti. Ad es. ambienti che ricreino le condizioni abitative di una persona che necessita di supervisione in cui sono inseriti in maniera funzionalmente utile delle tecnologie avanzate sia sensoristiche che software. Tale ambiente doveva costituire un benchmark di supporto alle altre attivita' della commessa. In realta' queste attivita', nate con il progetto RoboCare (http://robocare.istc.cnr.it), conclusosi nel 2006 sono continuate dal lavoratorio di Pianificazione e Scheduling dell'ISTC in altre commesse. In questo modulo sono al momento svolte ricerche su sistemi software intensive per la pianificazione e lo scheduling, ed in particolare ricerche per la verifica di proprieta' di piani. Questo cambiamento, iniziato nel 2010, si e' consolidato nel 2011 e proseguira' negli anni successivi. Il coordinamento con l'ISTI, anche se lasco, e' rilevante per gli aspetti connessi sia software engineering che alla software dependability. (literal)
Nome
  • Architetture a componenti per sistemi complessi affidabili (literal)
Descrizione
Modulo di
Gestore

Incoming links:


Prodotto di
Modulo
Gestore di
Istituto esecutore di
Descrizione di
data.CNR.it