The paper discusses a constructive approach to the temporal logic specification and analysis of dependability requirements of automation systems. The work is based on TRIO formal method, which supports a declarative temporal logic language with a linear notion of time, and makes use of UML class diagrams to describe the automation system. The general concepts presented for the automation system domain are here instantiated on a case study application taken from the energy distribution field.
Towards a methodological approach to specification and analysis of dependable automation systems
S. BERNARDI;S. DONATELLI;
2004-01-01
Abstract
The paper discusses a constructive approach to the temporal logic specification and analysis of dependability requirements of automation systems. The work is based on TRIO formal method, which supports a declarative temporal logic language with a linear notion of time, and makes use of UML class diagrams to describe the automation system. The general concepts presented for the automation system domain are here instantiated on a case study application taken from the energy distribution field.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Donatelli-paper46.pdf
Accesso aperto
Descrizione: articolo principale
Tipo di file:
PREPRINT (PRIMA BOZZA)
Dimensione
249.52 kB
Formato
Adobe PDF
|
249.52 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
