Links  a  materiale interessante per il corso di Informatica Industriale

Il materiale asteriscato e' servito come base per alcune lezioni, quello asteriscato in rosso solo del secondo modulo (P.O.+L.S.)

• JAVA Home
• Ada References
• Safety Critical Systems WWW Server
• Formal Methods Server
• The High Integrity Systems Engineering (HISE) Group at York
• ACM Forum on Risks
• *ARIANE 5 Flight 501 Failure Report
• GUARDS: capitoli 1 (Requirements and Motivations)*, 2 (Overview) * e 3 (Inter-Channel Network) *. - Commenti sulla definizione dell'algoritmo ZA *.
• * Slides su B (pdf)
• Tutorial su Z di J. Bowen, suddiviso in:
• Industrial Use of Formal Methods.
• Introduction to Z - part I (mathematical notation).
• Introduction to Z - part II (schemas).
• Esempio: A File Storage Service.
• Esempio: A Text Formatting Tool ("pos").
• * Appunti su model-checking e simulazione
• * Alcuni lucidi su applicazioni industriali di metodi formali
• * Lucidi su dependability
• * Lucidi su testing - Ing. Spinicci (aggiornamento 7/4/2004)
• * Alcuni lucidi su testing
• * Alcuni lucidi su sistemi operativi real-time
• * Alcuni lucidi su RAID e algoritmi distribuiti
• * Collezione dei lucidi su Ada presentati a lezione
• * Highlights of Ada 95
• EN50128, in 5 files: 1, 2, 3, 4, 5.
• Lo strano caso del robot killer (questa non e' una storia vera)
• The Therac-25 Incident (questa e' una storia vera)
• ACM/IEEE Software Engineering Code of Ethics and Professional Practice
• * Elaborato su Javacard di  G. Poggiali    pdf
• * Lucidi su UltraSAN / Mobius di  G. Liguori e E. Spinicci (aggiornate al 28/3/2003)
• * Crittografia e protocolli di sicurezza – Ing. Spinicci (aggiornamento 7/4/2004)
• Appunti del seminario di G. Antini su Crittografia
• */* Appunti dello studente Matteo Bertini Nota agli Appunti
• Appunti del seminario di C. Becheri (GETS) su Requirements Engineering
• Appunti del seminario di P. Di Giacomo (ESI) su Famiglie di Prodotti Software
• Appunti del seminario di P. Di Giacomo (ESI) su AADL
• Appunti dell’esercitazione su microcontrollori - M. Banci
• Appunti su Sistemi real-time e su codici rilevatori di errore
• Nella sezione didattica del sito PLC Forum si segnala oltre a documentazione varia sui PLC anche materiale didattico sul microcontrollore ST6.

• Testi di prove scritte (N.O.)
  (Aggiornamento 17 Marzo 2006)  

-------------------------------------------------------------------

> Proposte di Elaborati per l'A.A. 2004-2005, P.O. , L.S.

-------------------------------------------------------------------