A contract-based approach to designing safe systems

Authors:
Iain Bate;Richard Hawkins;John McDermid
Affiliations:
The University of York, Heslington, York, United Kingdom;The University of York, Heslington, York, United Kingdom;The University of York, Heslington, York, United Kingdom
Venue:
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Year:
2003

Citing 6
Cited 5

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns

Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Object-Oriented Software Construction

Object-Oriented Software Construction
Evaluating software architectures for real-time systems

Annals of Software Engineering
A Systematic Approach to Safety Case Maintenance

SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Towards OCL/RT

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface

Electronic Notes in Theoretical Computer Science (ENTCS)
Safety-Related Application Conditions --- A Balance between Safety Relevance and Handicaps for Applications

SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Vertical safety interfaces: improving the efficiency of modular certification

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Use of quality metrics for functional safety in systems of cooperative vehicles

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Efficient software component reuse in safety-critical systems --- an empirical study

SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

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.