A Contract-based Approach to Designing Safe Systems

I. Bate; R. Hawkins; J. McDermid; Peter A. Lindsay; Anthony Cant

A Contract-based Approach to Designing Safe Systems

I. Bate, R. Hawkins, J. McDermid, Peter A. Lindsay, Anthony Cant

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to divide system requirements between components and their sub-components. To allow systems to be designed in this way a component's obligations to other components and interfaces with the rest of the system must be captured. This can be done using contracts. Other work has shown how contracts can be used to develop systems. In this paper we explore how to generate design and safety contracts, and then how to use them to support change and reuse.

Original language	English
Title of host publication	Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software
Pages	25-36
Number of pages	12
Publication status	Published - 2003

Cite this

@inproceedings{e3c3070ce59f4517889bdfdd7ba39352,

title = "A Contract-based Approach to Designing Safe Systems",

abstract = "Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to divide system requirements between components and their sub-components. To allow systems to be designed in this way a component's obligations to other components and interfaces with the rest of the system must be captured. This can be done using contracts. Other work has shown how contracts can be used to develop systems. In this paper we explore how to generate design and safety contracts, and then how to use them to support change and reuse.",

author = "I. Bate and R. Hawkins and J. McDermid and Lindsay, {Peter A.} and Anthony Cant",

year = "2003",

language = "English",

pages = "25--36",

booktitle = "Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software",

}

TY - GEN

T1 - A Contract-based Approach to Designing Safe Systems

AU - Bate, I.

AU - Hawkins, R.

AU - McDermid, J.

AU - Lindsay, Peter A.

AU - Cant, Anthony

PY - 2003

Y1 - 2003

N2 - Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to divide system requirements between components and their sub-components. To allow systems to be designed in this way a component's obligations to other components and interfaces with the rest of the system must be captured. This can be done using contracts. Other work has shown how contracts can be used to develop systems. In this paper we explore how to generate design and safety contracts, and then how to use them to support change and reuse.

AB - Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to divide system requirements between components and their sub-components. To allow systems to be designed in this way a component's obligations to other components and interfaces with the rest of the system must be captured. This can be done using contracts. Other work has shown how contracts can be used to develop systems. In this paper we explore how to generate design and safety contracts, and then how to use them to support change and reuse.

M3 - Conference contribution

SP - 25

EP - 36

BT - Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software

ER -