research-article

SACS: a pattern language for safe adaptive control software

Authors:

André Alexandersen Hauge,

Ketil StølenAuthors Info & Claims

PLoP '11: Proceedings of the 18th Conference on Pattern Languages of Programs

Article No.: 7, Pages 1 - 22

https://doi.org/10.1145/2578903.2579145

Published: 21 October 2011 Publication History

Get Access

Abstract

This article puts forward a pattern language for Safe Adaptive Control Software named SACS. We interpret the term "pattern language" such that a set of patterns, the interconnections between them, and how these are intended to be used make up a language. The pattern language consists of three basic types of patterns, namely the Requirement Pattern, the Design Pattern, and the Safety Case Pattern and an additional Composite Pattern type. The Composite Pattern type facilitates users of the language to specify their own patterns as compositions of basic patterns. The patterns are intended to be used in the context of safety related and safety critical systems, thus the safety aspect is a principal concern. The pattern language may be used as a tool for e.g. safety engineers and system developers to increase effectiveness during conceptual design and facilitate effective evaluation of alternative adaptive design solutions with respect to utilisation in a safety related application by a systematic approach for combining best practices.

References

[1]

Alexander, C., Ishikawa, S., and Silverstein, M. 1977. A Pattern Language: Towns, Buildings, Construction. Oxford University Press, New York.

Google Scholar

[2]

Åström, K. J. and Wittenmark, B. 1994. Adaptive Control. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.

Digital Library

Google Scholar

[3]

Gamma, E., Helm, R., Johnson, R. E., and Vlissides, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.

Digital Library

Google Scholar

[4]

Jackson, M. 2001. Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.

Digital Library

Google Scholar

[5]

Kelly, T. and Weaver, R. 2004. The Goal Structuring Notation - A Safety Argument Notation. In Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases.

Google Scholar

[6]

Object Management Group (OMG). 2010. Unified Modeling Language Specification. Version 2.3.

Google Scholar

[7]

Schumann, J., Gupta, P., and Jacklin, S. 2006. Toward Verification and Validation of Adaptive Aircraft Controllers. In IEEE Aerospace Conference. IEEE Press, Piscataway, NJ, USA.

Google Scholar

[8]

Schumann, J. and Liu, Y. E. 2010. Applications of Neural Networks in High Assurance Systems. Springer Verlag, Berlin.

Digital Library

Google Scholar

[9]

Sha, L. 2001. Using Simplicity to Control Complexity. IEEE Software 18, 20--28.

Digital Library

Google Scholar

[10]

Stanley, P., Ed. 2011. ETCS for Engineers. DVV Media Group GmnH, Eurail Press, Hamburg, Germany.

Google Scholar

[11]

Winter, P., Ed. 2009. Compendium on ERTMS --- European Rail Traffic Management System. DVV Media Group GmnH, Eurail Press, Hamburg, Germany.

Google Scholar

Cited By

View all

Buckley IFernandez E(2023)Dependability Patterns: A SurveyComputers10.3390/computers1210021412:10(214)Online publication date: 21-Oct-2023
https://doi.org/10.3390/computers12100214
Fernandez EHamid B(2017)Two safety patternsProceedings of the 22nd European Conference on Pattern Languages of Programs10.1145/3147704.3147737(1-9)Online publication date: 12-Jul-2017
https://dl.acm.org/doi/10.1145/3147704.3147737
Preschern CKajtazovic NHöller AKreiner CEloranta Vvan Heesch U(2014)Pattern-based safety development methodsProceedings of the 19th European Conference on Pattern Languages of Programs10.1145/2721956.2721958(1-20)Online publication date: 9-Jul-2014
https://dl.acm.org/doi/10.1145/2721956.2721958
Show More Cited By

Index Terms

SACS: a pattern language for safe adaptive control software

Recommendations

A pattern language for creating pattern languages: 364 patterns for pattern mining, writing, and symbolizing
PLoP '16: Proceedings of the 23rd Conference on Pattern Languages of Programs

In this paper, we present the purpose, creating process, and overview of a pattern language for creating pattern languages, consisting 364 patterns for pattern mining, pattern writing, and pattern symbolizing. For the past 10 years, we, Iba Lab, have ...
Issues in the application of software safety standards
SCS '05: Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55

The application of software safety standards as part of the development of safety critical software is usually considered an essential element of any safety program. Yet it is fairly rare for safety practitioners to step back and critically evaluate both ...
Pattern naming patterns: symbolizing the content and value by expressions to facilitate intuitive comprehension
PLoP '16: Proceedings of the 23rd Conference on Pattern Languages of Programs

In this paper, we present Pattern Naming Patterns, which is a pattern language to create a pattern name that expresses the pattern symbolically, so that the readers will become eager to put into practice. This pattern language was created as part of ...

Comments

Information & Contributors

Information

Published In

PLoP '11: Proceedings of the 18th Conference on Pattern Languages of Programs

October 2011

362 pages

ISBN:9781450312837

DOI:10.1145/2578903

Conference Chair:
Lise Hvatum
Schlumberger

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 October 2011

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Institute for energy technology (IFE), Halden, Norway

Conference

PLoP 11

Sponsor:

Hillside Group
ACM

PLoP 11: Pattern Languages of Programs Conference 2011

October 21 - 23, 2011

Oregon, Portland, USA

Acceptance Rates

Overall Acceptance Rate 28 of 36 submissions, 78%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
94
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Buckley IFernandez E(2023)Dependability Patterns: A SurveyComputers10.3390/computers1210021412:10(214)Online publication date: 21-Oct-2023
https://doi.org/10.3390/computers12100214
Fernandez EHamid B(2017)Two safety patternsProceedings of the 22nd European Conference on Pattern Languages of Programs10.1145/3147704.3147737(1-9)Online publication date: 12-Jul-2017
https://dl.acm.org/doi/10.1145/3147704.3147737
Preschern CKajtazovic NHöller AKreiner CEloranta Vvan Heesch U(2014)Pattern-based safety development methodsProceedings of the 19th European Conference on Pattern Languages of Programs10.1145/2721956.2721958(1-20)Online publication date: 9-Jul-2014
https://dl.acm.org/doi/10.1145/2721956.2721958
Li YRunde RStølen KKöppe C(2013)Towards a pattern language for security risk analysis of web applicationsProceedings of the 20th Conference on Pattern Languages of Programs10.5555/2725669.2725688(1-17)Online publication date: 23-Oct-2013
https://dl.acm.org/doi/10.5555/2725669.2725688

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

A pattern language for creating pattern languages: 364 patterns for pattern mining, writing, and symbolizing

Issues in the application of software safety standards

Pattern naming patterns: symbolizing the content and value by expressions to facilitate intuitive comprehension

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations