A formal method for building concurrent real-time software

1 January 1997

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software

Vol. 14 (2), 99-106
https://doi.org/10.1109/52.582979

Abstract

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

Keywords

This publication has 7 references indexed in Scilit:

Integrating real-time scheduling theory and program refinement
Lecture Notes in Computer Science, 1996
An accurate worst case timing analysis for RISC processors
IEEE Transactions on Software Engineering, 1995
Adding real time to formal program development
Lecture Notes in Computer Science, 1994
Safety-critical systems, formal methods and standards
Software Engineering Journal, 1993
Developing real-time tasks with predictable timing
IEEE Software, 1992
Measuring and analyzing real-time performance
IEEE Software, 1991
Experiments with a program timing tool based on source-level timing schema
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990

Cited by 7 articles