By the same authors

On the nature and content of safety contracts

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published copy (DOI)



Publication details

Title of host publicationProceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014
DatePublished - 2014
Number of pages2
PublisherIEEE Computer Society Press
Original languageEnglish


Component-based software engineering researchers have explored component reuse, typically at the source-code level. Contracts explicitly describe component behaviour, reducing development risk by exposing potential incompatibilities early. But to benefit fully from reuse, developers of safety-critical systems must also reuse safety evidence. Full reuse would require both extending the existing notion of component contracts to cover safety properties and using these contracts in both component selection and system certification. In this paper, we explore some of the ways in which this is not as simple as it first appears. © 2014 IEEE.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations