Community Research and Development Information Service - CORDIS


This paper describes the results obtained applying the verification Support Environment system to a real life case study: construction of a formal specification of a large, reactive and distributed control system for robots acting in a safety critical environment. In particular, specification of the Robertino Control System have been taken as basis.

First, RCS and VSE are presented. Then the safety model is explained followed by the formal specification. The last chapter presents the results of the case study and a short outlook k

Additional information

Authors: SCHEER S, ISIS, JRC-Ispra (IT)
Bibliographic Reference: Paper presented: Safety and Reliability of Software Based Systems, Bad Honnef (DE), 3-5th March (1999)
Availability: Available from Publications and Public Relations Unit, Ispra (IT)
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top