Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges? Read chapter Read first chapter

2015 | OriginalPaper | Chapter

Automatic Architecture Hardening Using Safety Patterns

Authors : Kevin Delmas, Rémi Delmas, Claire Pagetti

Published in: Computer Safety, Reliability, and Security

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Safety critical systems or applications must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are avoided or kept below a satisfying probability threshold. Therefore, designers must define a hardened architecture (or implementation) of each application, which fulfills the required level of safety by integrating redundancy and safety mechanisms. We propose a methodology which, given the nominal functional architecture, uses constraint solving to select automatically a subset of system components to update and appropriate safety patterns to apply to meet safety requirements. The proposed ideas are illustrated on an avionics flight controller case study.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter The Safety Requirements Decomposition Pattern
next chapter Modeling the Impact of Testing on Diverse Programs
Footnotes
1
two components with matching output interfaces are in observationally equivalent states with respect to some formula expressed over their outputs flows if the formula evaluates to true for both components.
 
2
The minimal sequence set generation tool of the AltaRica tool suite easily allows us to obtain the desired result.
 
Literature
1.
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using hip-hops. Softw. Pract. Exper. 41(11), 1303–1327 (2011)CrossRef
2.
Armoush, A.:. Design patterns for safety-critical embedded systems. Ph.D. thesis (2010)
3.
Arnold, A., Point, G., Griffault, A., Rauzy, A.: The altarica formalism for describing concurrent systems. Fundam. Inform. 40(2–3), 109–124 (1999)MathSciNetMATH
4.
5.
Güdemann, M., Ortmeier, F.: Model-based multi-objective safety optimization. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 423–436. Springer, Heidelberg (2011) CrossRef
6.
Humbert, S., Seguin, C., Castel, C., Bosc, J.-M.: Deriving safety software requirements from an AltaRica system model. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 320–331. Springer, Heidelberg (2008) CrossRef
7.
Kehren, C., Seguin, C., Bieber, P., Castel, C., Bougnol, C., Heckmann, J.P., Metge, S.: Architecture patterns for safe design. In: AAAF 1st Complex and Safe Systems Engineering Conference (2004)
8.
Le Berre, D., Parrain, A.: The Sat4j library, release 2.2 system description. J. Satisf. Boolean Model. Comput. 7, 59–64 (2010)
9.
Pagetti, C., Saussié, D., Gratia, R., Noulard, E., Siron, P.: The ROSACE case study: from Simulink specification to multi/many-core execution. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2014), April 2014
10.
Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. J. Syst. Softw. 76(1), 77–89 (2005)CrossRef
11.
Preschern, C., Kajtazovic, N., Kreiner, C., et al.: Catalog of safety tactics in the light of the IEC 61508 safety lifecycle. In: Proceedings of VikingPLoP 2013 Conference, p. 79 (2013)
12.
Rugina, A.-E., Feiler, P.H., Kanoun, K., Kaâniche, M.: Software dependability modeling using an industry-standard architecture description language. In: Embedded Systems and Real-Time Systems (ERTS 2008) (2008)
13.
SAE. Aerospace Recommended Practices 4754a - Development of Civil Aircraft and Systems (2010)
14.
Walker, M., Reiser, M.-O., Piergiovanni, S.T., Papadopoulos, Y., Lönn, H., Mraidha, C., Parker, D., Chen, D.-J., Servat, D.: Automatic optimisation of system architectures using east-adl. J. Syst. Softw. 86(10), 2467–2487 (2013)CrossRef
Metadata
Title
Automatic Architecture Hardening Using Safety Patterns
Authors
Kevin Delmas
Rémi Delmas
Claire Pagetti
Copyright Year
2015
Book
Computer Safety, Reliability, and Security

Print ISBN: 978-3-319-24254-5

Electronic ISBN: 978-3-319-24255-2

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-319-24255-2_21

Premium Partner

    Image Credits