A formal method for building concurrent real-time software
作者： C. Fidge , P. Kearney , M. Utting
DOI: 10.1109/52.582979
关键词:
摘要: Developing concurrent real-time programs is one of computer science's greatest challenges. Not only such software expensive to manufacture, but its role in safety-critical systems demands that it be correct. Formal methods program specification and refinement could strengthen the mathematical precision used develop software. Nevertheless, formalisms embrace both concurrency requirements are just emerging. The Quartz method treats time functional behavior with equal importance development process. authors argue by modeling a unified framework, we can increase our confidence correctness code.
uq.edu.au
core.ac.uk参考文章(21)
J. B. Wordsworth, Software development with Z ,(1992)
Mark Utting, Colin Fidge, A real-time refinement calculus that changes only time British Computer Society Learning & Development. ,(1996) , 10.14236/EWIC/RW1996.14
Karl Lermer, Colin Fidge, A Methodology for Compilation of High-Integrity Real-Time Programs european conference on parallel processing. pp. 1274- 1281 ,(1997) , 10.1007/BFB0002883
RJR Back, Joakim von Wright, None, Trace Refinement of Action Systems international conference on concurrency theory. pp. 367- 384 ,(1994) , 10.1007/978-3-540-48654-1_28
Carroll Morgan, Programming from specifications Prentice-Hall, Inc.. ,(1990)
C. Fidge, M. Utting, P. Kearney, I. Hayes, Integrating Real-Time Scheduling Theory and Program Refinement formal methods. ,vol. 1051, pp. 327- 346 ,(1996) , 10.1007/3-540-60973-3_95
Mark T. Vandevoorde, Specifications Can Make Programs Run Faster colloquium on trees in algebra and programming. pp. 215- 229 ,(1993) , 10.1007/3-540-56610-4_66
Colin Fidge, Real-Time Refinement formal methods. pp. 314- 331 ,(1993) , 10.1007/BFB0024654
Ian Hayes, Mark Utting, Coercing real-time refinement: a transmitter formal methods. pp. 9- 9 ,(1996) , 10.14236/EWIC/FA1996.9
Jifeng He, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers McGraw-Hill, Inc.. ,(1994)