ePrints

Exploiting Formality within an Architectural Design Method

Lookup NU author(s): Dr Stephen Paynter, Dr James Armstrong, Jolien Haveman

Downloads

• Published version [.pdf]

Abstract

This paper argues that formal methods need to be properly integrated into an architectural design method if they are to be transferred into industrial practice. It outlines a number of issues which need to be considered when performing such integration, and illustrates these points by reference to the formal techniques for complex high-integrity real-time systems being developed in the British Aerospace Dependable Computing Systems Centre.

Publication metadata

Author(s): Paynter S, Armstrong JM, Haveman J

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2001

Pages: 25

Print publication date: 01/01/2001

Source Publication Date: January 2001

Report Number: 690

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/690.pdf

Share