Share this on

A Formal Approach to Modeling Critical Systems

A Formal Approach to Modeling Critical Systems
Download poster
Presenter(s) Dr Simos Veloudis, Technical Education Institute of Serres
Seminar type Open Seminar Series
Location Leontos Sofou building
Date and time 25/02/2010, 11:00-12:00
Website http://

The presented work proposes a formal model of a generic scheme which can be used both as a fault-tolerance technique and as a mechanism for displaying graceful degradation in real-time critical systems. In order to deal with the complex forms of interaction that typically arise between the components of such systems, the proposed scheme is based on the concept of Coordinated Atomic Actions – a software engineering concept for structuring complex concurrent activities and supporting cooperative error recovery between multiple interacting processes. The scheme is expressed in the process algebra timed CSP. The presentation will also discuss how the proposed scheme can form the basis of a formal model of a dynamic authorization system in cloud computing.

We use cookies to ensure you get the best experience on our website.
You can disable cookies by modifying the settings in your internet browser’s options.