By the same authors

Assuring Safety for Component Based Software Engineering

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

Standard

Assuring Safety for Component Based Software Engineering. / Conmy, Philippa; Bate, Iain.

Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). 2014. p. 121-128.

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

Harvard

Conmy, P & Bate, I 2014, Assuring Safety for Component Based Software Engineering. in Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). pp. 121-128.

APA

Conmy, P., & Bate, I. (2014). Assuring Safety for Component Based Software Engineering. In Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE) (pp. 121-128)

Vancouver

Conmy P, Bate I. Assuring Safety for Component Based Software Engineering. In Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). 2014. p. 121-128

Author

Conmy, Philippa ; Bate, Iain. / Assuring Safety for Component Based Software Engineering. Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). 2014. pp. 121-128

Bibtex - Download

@inproceedings{b21a39a0783c4c39aba8bc3ec1bf7e95,
title = "Assuring Safety for Component Based Software Engineering",
abstract = "Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the systems produced by integrating them. In more mainstream system design, Model-Based Development (MBD) and Component- Based Software Engineering (CBSE) are seen as complementary activities that can reduce these costs, however their use is not yet well supported in the safety critical domain, as safety is an emergent property. The contributions of this paper are to describe some of the challenges of using these approaches in SCS, and then argue how through appropriate safety argument patterns the challenges can be addressed.",
author = "Philippa Conmy and Iain Bate",
year = "2014",
language = "Undefined/Unknown",
pages = "121--128",
booktitle = "Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE)",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Assuring Safety for Component Based Software Engineering

AU - Conmy, Philippa

AU - Bate, Iain

PY - 2014

Y1 - 2014

N2 - Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the systems produced by integrating them. In more mainstream system design, Model-Based Development (MBD) and Component- Based Software Engineering (CBSE) are seen as complementary activities that can reduce these costs, however their use is not yet well supported in the safety critical domain, as safety is an emergent property. The contributions of this paper are to describe some of the challenges of using these approaches in SCS, and then argue how through appropriate safety argument patterns the challenges can be addressed.

AB - Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the systems produced by integrating them. In more mainstream system design, Model-Based Development (MBD) and Component- Based Software Engineering (CBSE) are seen as complementary activities that can reduce these costs, however their use is not yet well supported in the safety critical domain, as safety is an emergent property. The contributions of this paper are to describe some of the challenges of using these approaches in SCS, and then argue how through appropriate safety argument patterns the challenges can be addressed.

M3 - Conference contribution

SP - 121

EP - 128

BT - Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE)

ER -