A formal method for building concurrent real-time software

C Fidge; P Kearney; Mark Utting

doi:10.1109/52.582979

Back

A formal method for building concurrent real-time software

Journal article

Peer reviewed

A formal method for building concurrent real-time software

C Fidge, P Kearney and Mark Utting

IEEE Software, Vol.14(2), pp.99-106

1997

DOI: https://doi.org/10.1109/52.582979

Files and links (1)

url

https://doi.org/10.1109/52.582979View

Published Version

Abstract

formal specification

parallel programming

program verification

real-time systems

safety-critical software

The Quartz method treats time and functional behavior with equal importance in the development process. By modeling program development in a unified framework, argue the authors, we can increase our confidence in the correctness of real-time, concurrent code.

Details

Title: A formal method for building concurrent real-time software
Authors: C Fidge (Author) - University of Queensland
P Kearney (Author) - University of Queensland
Mark Utting (Author) - University of Waikato, New Zealand
Publication details: IEEE Software, Vol.14(2), pp.99-106
Publisher: Institute of Electrical and Electronics Engineers
Date published: 1997
DOI: 10.1109/52.582979
ISSN: 0740-7459
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449043102621
Output Type: Journal article

Metrics

6 File views/ downloads

913 Record Views

6 Times Cited - Web of Science

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types: Domestic collaboration; International collaboration
Web Of Science research areas: Computer Science, Software Engineering

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

Source: InCites