Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001)

Type
Label
  • Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (literal)
Prodotto
Codice
  • ICT.P09.008.001 (literal)
Anno di chiusura previsto
  • 2012-01-01T00:00:00+01:00 (literal)
Istituto esecutore
Primo anno di attività
  • 2005-01-01T00:00:00+01:00 (literal)
Abstract
  • I metodi formali (linguaggi, tecniche e strumenti s/w basati su solide teorie matematiche) per la specifica e l'analisi di modelli giocano un ruolo primario nell'ingegnerizzazione di sistemi software complessi quali quelli che prevedono pesanti interazioni uomo-macchina (sistemi di controllo, apparecchiature medicali, sistemi di e-commerce ed e-business). Essi costituiscono uno strumento indispensabile per la progettazione e lo sviluppo di sistemi affidabili complessi e possono essere usati come misura complementare di controllo qualità, per rilevare inconsistenze, ambiguità, incompletezze e vari altri difetti già nelle fasi iniziali del progetto. I recenti progressi nella definizione di strumenti formali idonei alla specifica, analisi e verifica di sistemi concorrenti e distribuiti e la loro applicazione in alcuni contesti produttivi industriali ne incoraggiano l'ulteriore sviluppo e la diffusione soprattutto nell'ambito della progettazione dei sistemi critici, dei protocolli di comunicazione, delle reti di grandi dimensioni, dei sistemi real-time, dell'interazione uomo-macchina, dei protocolli per la sicurezza e della progettazione di hardware. (literal)
Nome
  • Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (literal)
Descrizione
Modulo di
Gestore

Incoming links:


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