TOWARDS PATTERNS FOR HANDLING SAFETY CRITICAL ADAPTIVE CONTROL SOFTWARE

André A. Hauge, Ketil Stølen

2011

Abstract

This article puts forward a pattern format for use in the safety critical control domains where adaptable components are part of the control software. The pattern format may be seen as a first step towards establishing a pattern language uniting three interests. The first interest is related to the objective of providing the comprehensibility and usability found in design patterns with respect to communication of solutions to problems that may be solved by means of adaptive control. The second interest is related to the need to make explicit the requirements to be satisfied in order to facilitate instantiation of a design in different safety critical contexts. The third interest is related to the need to provide argumentation for risk being satisfactory reduced. The pattern format supports not only documentation of a technical solution to a recurring problem, but also documentation of the requirements that must be satisfied when instantiating a design in different contexts as well as solutions for how the safety property may be demonstrated.

Paper Citation

in Harvard Style

A. Hauge A. and Stølen K. (2011). TOWARDS PATTERNS FOR HANDLING SAFETY CRITICAL ADAPTIVE CONTROL SOFTWARE . In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8425-74-4, pages 211-214. DOI: 10.5220/0003538502110214

in Bibtex Style

@conference{icinco11,
author={André A. Hauge and Ketil Stølen},
title={TOWARDS PATTERNS FOR HANDLING SAFETY CRITICAL ADAPTIVE CONTROL SOFTWARE},
booktitle={Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2011},
pages={211-214},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003538502110214},
isbn={978-989-8425-74-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - TOWARDS PATTERNS FOR HANDLING SAFETY CRITICAL ADAPTIVE CONTROL SOFTWARE
SN - 978-989-8425-74-4
AU - A. Hauge A.
AU - Stølen K.
PY - 2011
SP - 211
EP - 214
DO - 10.5220/0003538502110214