Formal Analysis of Concurrent Real-Time Requirements Models

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.

Content

Author and article information

Conference

Publication date: September 1996

Publication date (Print): September 1996

Pages: 1-16

Affiliations

[0001]Centre for Modelling and Simulation,

University of Teesside,Middlesbrough,

Cleveland, TS1 3BA, UK

Article

DOI: 10.14236/ewic/FA1996.5

SO-VID: 6f081d86-03a6-43a6-a893-6f4596a04f98

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS Northern Formal Methods Workshop

Conference acronym: NFM

Conference number:

Conference location: Ilkley, UK

Conference date: 23-24 September 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.5

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Formal Analysis of Concurrent Real-Time Requirements Models

Abstract