1 Il concetto di Joint Systems/Software Engineering Environment (Josee) presso Lockheed Martin Aeronautical Systems. - 2 Modellazione attuale in Vital. - 3 Edgar: una piattaforma per la co-progettazione hardware/software. - 4 concetti di modellazione gerarchica multi-vista per la simulazione di sistemi ad eventi discreti. - 5 Un sistema formale per una corretta progettazione dell'hardware. - 6 Integrazione di metriche di testabilità comportamentale nella sintesi di alto livello. - 7 Valutazione di un metodo integrato di sintesi di alto livello. - 8 criteri combinatori su grafici di specificazione per decidere la sintesi per circuiti sequenziali. - 9 Generazione automatica e ottimizzazione di matrici di Markov. - 10 Modellazione dei guasti in sistemi microelettronici riconfigurabili spaziali. - 11 Prevenzione dei guasti indotti dalla replicazione nel contesto dell'avionica modulare integrata. - 12 Modellazione di reti di Petri e schema di modellazione comportamentale dei guasti per le descrizioni Vhdl. - 13 Il sistema di rilevamento dei raggi X morbidi di Catsat: un approccio innovativo ed economico. - 14 reti di Petri per uno studio sulla disponibilità del sistema operativo spaziale. - 15 risultati della ricerca sui sistemi di propulsione a basso costo per applicazioni di piccoli satelliti. - 16 scelte tecnologiche multiple per uno spettrometro misto di radioastronomia spaziale analogico-digitale. - 17 Progettazione e realizzazione di una scheda elettronica condivisa cooperativa sincrona. - 18 Importanza dei mezzi di specifica per progettare sistemi avionici modulari integrati. - 19 Cooperazione industriale: definizione, interesse ed evoluzione dinamica. - 20 questioni educative multimediali in una varietà di contesti di apprendimento. - 21 Surf-2 Uno strumento per la modellazione e la valutazione dell'affidabilità. - Progettazione di circuiti a 22 submicron su PC. Lingua: Inglese