Towards patterns for handling safety critical adaptive control software
Hauge, A. , Stølen, K.International Conference on Informatics in Control, Automation and Robotics (ICINCO), 8, Noordwijkerhout (The Netherlands), 2011-07-28--07-31
- Publ. year
- Publ. type
- 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.