Formal Analysis of Concurrent Real-Time Requirements Models | Zendy

Ken Y. Chan | Zendy; Clive Fencott | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Analysis of Concurrent Real-Time Requirements Models

Author(s) -

Ken Y. Chan,

Clive Fencott

Publication year - 1996

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fa1996.5

Subject(s) - computer science , operability , temporal logic , model checking , formal methods , context (archaeology) , modal logic , concurrent engineering , hazard , formal verification , systems engineering , software engineering , modal , real time computing , programming language , engineering , biology , paleontology , process integration , chemistry , organic chemistry , process engineering , polymer chemistry

This report demonstrates the use of modal and temporal logic to analysis the functional and safety requirements of concurrent real-time systems. Our research is based on the integrated method: Hazard and Operability Studies; Ward and Mellor Essential Models; and the Temporal Calculus of Communicating Systems to model and analyse real-time control systems. In particular, we discuss the interplay between traditional hazard analysis techniques and formal methods and their associated analyses in the context of an integrated model. The approach is illustrated by a small but realistic industrial case study.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research