[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/2721956.2721977acmotherconferencesArticle/Chapter ViewAbstractPublication PageseuroplopConference Proceedingsconference-collections
research-article

Towards pattern-based reuse in safety-critical systems

Published: 09 July 2014 Publication History

Abstract

Challenges such as time-to-market, reduced costs for change and maintenance have radically influenced development of today's safety-critical systems. Many domains have already adopted their system's engineering to support modular and component-based architectures. With the component-based design paradigm, the system engineering is utilized allowing to distribute development among different development teams, however, with the price that there is no full trust in independently developed parts, which makes their reuse challenging. Until now, many approaches that address reuse, on conceptual or detailed level, have been proposed. A very important aspect addressed here is to document the information flow between system parts in detail, i.e. from higher abstraction levels down to the implementation details, in order to put more trust into independently developed parts of the system.
In this paper, we describe a compact pattern system with the aim to establish a link between high level concepts for reuse and detailed description of the behavior of system parts. The main goal is to document these details up to the higher levels of abstraction in more systematic way.

References

[1]
Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., and Sifakis, J. 2011. Rigorous component-based system design using the bip framework. Software, IEEE 28, 3, 41--48.
[2]
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., and Larsen, K. 2012. Contracts for Systems Design. Tech. rep., Research Report, NÂř 8147, November 2012, Inria.
[3]
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. 1996. Pattern-oriented Software Architecture: A System of Patterns. John Wiley & Sons, Inc., New York, NY, USA.
[4]
Butz, H. 2010. Open integrated modular avionic (ima): State of the art and future development road map at airbus deutschland. Department of Avionic Systems at Airbus Deutschland GmbH Kreetslag 10, D-21129 Hamburg, Germany.
[5]
Clara Benac Earle, Elena Gómez-Martínez, Stefano Tonetta, Stefano Puri, Silvia Mazzini, Jean Louis Gilbert, Olivier Hachet, Ramón Serna Oliver, Cecilia Ekelin, and Katiusca Zedda. 2013. Languages for Safety-Certification Related Properties. In Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13).
[6]
Crnkovic, I. 2002. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA.
[7]
EAST-ADL. 2010. EAST-ADL Domain Model Specification. Tech. rep., ATTEST EAST-ADL, Homepage: http://www.atesst.org/.
[8]
Evans, E. and Fowler, M. 1997. Specifications RTE. Tech. rep., Martin Fowler, Homepage: http://martinfowler.com/.
[9]
Frey, P. 2010. Case Study: Engine Control Application. Tech. rep., Ulmer Informatik-Berichte, Nr. 2010-03.
[10]
Gao, J. Z., Tsao, J., Wu, Y., and Jacob, T. H.-S. 2003. Testing and Quality Assurance for Component-Based Software. Artech House, Inc., Norwood, MA, USA.
[11]
Kelly, T. P. 2001. Concepts and Principles of Compositional Safety Case Construction. Tech. rep., COMSA/2001/1/1.
[12]
Kindel, O. and Friedrich, M. 2009. Softwareentwicklung mit AUTOSAR: Grundlagen, Engineering, Management in der Praxis. dpunkt Verlag; Auflage: 1 (8. Juni 2009).
[13]
Lévêque, T. and Sentilles, S. 2011. Refining extra-functional property values in hierarchical component models. In Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering. CBSE '11. ACM, New York, NY, USA, 83--92.
[14]
PLCopen. 2006. Safety Software - Technical Specification, Part 1: Concepts and Function Blocks. Tech. rep., Technical Committee 5, Version 1.0, Jan 2006.
[15]
Pohl, K., Böckle, G., and Linden, F. J. v. d. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
[16]
Smith, D. and Simpson, K. 2010. Safety Critical Systems Handbook: A STRAIGHTFOWARD GUIDE TO FUNCTIONAL SAFETY, IEC 61508 (2010 EDITION) AND RELATED STANDARDS, INCLUDING PROCESS IEC 61511 AND MACHINERY IEC 62061 AND ISO 13849. Elsevier Science.
[17]
SpecPatterns. 1998. Specification patterns. Homepage: http://patterns.projects.cis.ksu.edu/.
[18]
SPEEDS. 2010. Speculative and exploratory design in systems engineering - speeds. Homepage: http://www.speeds.eu.com/.

Cited By

View all
  • (2017)A pattern-based methodology for reliability assessment of safety instrumented systems2017 IEEE International Systems Engineering Symposium (ISSE)10.1109/SysEng.2017.8088322(1-6)Online publication date: Oct-2017

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
EuroPLoP '14: Proceedings of the 19th European Conference on Pattern Languages of Programs
July 2014
425 pages
ISBN:9781450334167
DOI:10.1145/2721956
Permission to make digital or hard copies of all or part 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 components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 July 2014

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

EuroPLoP 2014

Acceptance Rates

Overall Acceptance Rate 216 of 354 submissions, 61%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)17
  • Downloads (Last 6 weeks)7
Reflects downloads up to 13 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2017)A pattern-based methodology for reliability assessment of safety instrumented systems2017 IEEE International Systems Engineering Symposium (ISSE)10.1109/SysEng.2017.8088322(1-6)Online publication date: Oct-2017

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media