FORMATS-FTRTFT 2004 START ConferenceManager

## Towards a methodological Approach to Specification and Analysis of Dependable Automation Systems

### Simona bernardi, Susanna Donatelli, and Giovanna Dondossola

Presented at Formal Modelling and Analysis of Timed Systems - Formal Techniques in Real-Time and Fault Tolerant System (FORMATS-FTRTFT 2004), Grenoble, France, September 22-24, 2004

## 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 {\em general} concepts presented for the automation system {\em domain} are here {\em instantiated} on a case study {\em application} taken from the energy distribution field.

 START Conference Manager (V2.47.2) Maintainer: Webmaster.VERIMAG@imag.fr