Paper Info
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 subcomponents. 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.
Year
Venue
Keywords
2003
SCS
contract-based approach,safety-critical system,safe system,new approach,safety contract,system requirement
Field
DocType
ISBN
Systems engineering,Reuse,Software,Engineering,System requirements
Conference
1-920-68215-5
Citations 
PageRank 
References 
15
1.03
7
Authors
3
Name
Order
Citations
PageRank
Iain Bate146958.87
Richard Hawkins215717.19
John Mcdermid3636.05