TOWARDS PATTERNS FOR HANDLING SAFETY CRITICAL ADAPTIVE CONTROL SOFTWARE

André A. Hauge, Ketil Stølen

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.

References

  1. Alexander, C., Ishikawa, S., and Silverstein, M. (1977). A Pattern Language: Towns, Buildings, Construction. Oxford University Press.
  2. Alexander, R., Kelly, T., and McDermid, J. (2008). Safety cases for advanced control software: Safety case patterns. Technical Report FA8655-07-1-3025, Department of Computer Science, Univeristy of York.
  3. Bishop, P., Bloomfield, R., and Guerra, S. (2004). The future of goal-based assurance cases. In Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, pages 390-395.
  4. Gamma, E., Helm, R., Johnson, R. E., and Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley.
  5. Jackson, M. (2001). Problem Frames: Analysing and Structuring Software Development Problems. AddisonWesley.
  6. Qureshi, N. A. and Perini, A. (2009). Engineering adaptive requirements. International Workshop on Software Engineering for Adaptive and Self-Managing Systems, pages 126-131.
  7. Salehie, M. and Tahvildari, L. (2009). Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst., 4(2):1-42.
  8. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B. H. C., and michel Bruel, J. (2009). Relax: Incorporating uncertainty into the specification of self-adaptive systems. In 17th IEEE International Requirements Engineering Conference RE 2009, pages 79-88.
Download


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