research-article

Conditional safety certificates in open systems

Authors:

Daniel Schneider,

Mario TrappAuthors Info & Claims

CARS '10: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

Pages 57 - 60

https://doi.org/10.1145/1772643.1772660

Published: 27 April 2010 Publication History

Abstract

In the wake of current computing trends like Ubiquitous Computing, Ambient Intelligence and Cyber Physical Systems, new application domains like Car2Car emerged. One key characteristic of these new application domains is their openness with respect to dynamic integration of devices and components. It is obvious that traditional safety assurance techniques, both state of the practice and state of the art, are not sufficient in this context. A possible solution approach would be to shift portions of the safety assurance process into run time. This can be reached by the integration of appropriate run time safety models and corresponding dynamic evaluation mechanisms. In this paper we sketch out our recent work on conditional safety certificates, which facilitate such dynamic safety evaluation. We conclude with a brief discussion and state promising research directions for the future.

References

[1]

Mark Weiser, "Some computer science issues in ubiquitous computing", Communications of the ACM, July 1993.

Digital Library

[2]

ISTAG Scenarios for Ambient Intelligence in 2010 ftp://ftp.cordis.lu/pub/ist/docs/istagscenarios2010.pdf

[3]

Lee, Edward, "Cyber Physical Systems: Design Challenges", University of California, Berkeley Technical Report No. UCB/EECS-2008-8.

[4]

Daniel Schneider, Mario Trapp, "Runtime Safety Models in Open Systems of Systems," In Proceedings of the Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, pp. 455--460, Chengdu, China, 2009.

Digital Library

[5]

Lisagor, O., McDermid, J. A., Pumfrey, D. J., "Towards a Practicable Process for Automated Safety Analysis", In: 24th International System Safety Conference, pp. 596--607, 2006.

[6]

Kaiser, B., Liggesmeyer, P., Mäckel, O., "A New Component Concept for Fault Trees", In: Lindsay, P., Cant, T. (eds.) Proceedings of the 8th Australian workshop on Safety critical systems and software, Canberra, vol. 33, pp. 37--46., 2003.

Digital Library

[7]

D. Domis, M. Trapp, "Integrating Safety Analyses and Component-Based Design". In M. D. Harrison and M.-A. Sujan (Eds.): SAFECOMP 2008, LNCS 5219, pp. 58--71, Springer-Verlag Berlin Heidelberg 2008.

Digital Library

[8]

Sheldon B. Akers, "Binary Decision Diagrams", IEEE Transactions on Computers, C-27(6):509--516, June 1978.

Digital Library

[9]

Peper, C., Schneider D., "Component Engineering for Adaptive Ad-hoc Systems", Proc. of 30th Intl. Conf. on Software Engineering ICSE'08, SEAMS Workshop, Leipzig, 2008.

Digital Library

[10]

ISO/CD 26262, Road vehicles, Functional Safety Part 6: Product development software. Committee draft, 2008.

[11]

AUTomotive Open System Architecture. http://www.autosar.org

[12]

IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems, International Electrotechnical Commission (1999)

[13]

G. Pintér and I. Majzik, "Automatic generation of executable assertions for runtime checking temporal requirements", in Proc. 9th IEEE Int. Symp. on High-Assurance Systems Engineering (HASE'05), (Heidelberg, Germany), pp. 111--120, IEEE CS Press, 2005.

Digital Library

[14]

J. Hooman and T. Hendriks, "Model-Based Run-Time Error Detection Models in Software Engineering", Workshops and Symposia at MoDELS 2007, in Models in Software Engineering, Workshops and Symposia at MoDELS 2007, (H. Giese, Ed.), (Nashville, TN, USA), pp. 225--236, Springer-Verlag, 2008.

Digital Library

[15]

J. Jürjens, "Model-Based Run-Time Checking of Security Permissions Using Guarded Objects", in 8th Int. Workshop, Runtime Verification (RV'08) at European 2008 Joint Conferences on Theory and Practice of Software (ETAPS 2008), (Budapest, Hungary), pp. 36--50 Springer-Verlag, 2008.

Digital Library

[16]

T. Robert, J.-C. Fabre and M. Roy, "On-line Monitoring of Real Time Applications for Early Error Detection", in Proc. 14th IEEE Pacific Rim Int. Symp. on Dependable Computing (PRDC-2008), (Taipei, Taiwan), pp. 24--31 IEEE CS Press, 2008.

Digital Library

[17]

C. Lu, J.-C. Fabre, M.-O. Killijian, "An approach for improving fault-tolerance in automotive modular embedded software", in Proc. 17th Int. Conf. on Real-Time Systems (RTNS 2009), (Paris, France), pp. 132--147, 2009.

Cited By

KOBAYASHI NIKEDA M(2022)An Assurance Case Description Method to Reduce Misunderstanding of Managed Objects When Designing Open System-of-SystemsInternational Journal of Japan Association for Management Systems10.14790/ijams.14.114:1(1-11)Online publication date: 31-Dec-2022
https://doi.org/10.14790/ijams.14.1
Krauter FSchindewolf MSax E(2022)Certificate-based Safety Concept for Future Dynamic Automotive Electric/Electronic Architectures22. Internationales Stuttgarter Symposium10.1007/978-3-658-37009-1_34(487-500)Online publication date: 14-Mar-2022
https://doi.org/10.1007/978-3-658-37009-1_34
Cioroaica ESchneider DAlZughbi HReich JAdler RBraun T(2019)Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)10.1109/DSN-W.2019.00024(86-89)Online publication date: Jun-2019
https://doi.org/10.1109/DSN-W.2019.00024
Show More Cited By

Index Terms

Recommendations

Conditional Safety Certification of Open Adaptive Systems

In recent years it has become more and more evident that openness and adaptivity are key characteristics of next-generation distributed systems. The reason for this is not least due to the advent of computing trends like ubiquitous computing, ambient ...
A Safety Engineering Framework for Open Adaptive Systems
SASO '11: Proceedings of the 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems

In recent years it has become more and more evident that openness and adaptivity are key characteristics of next generation distributed systems. The reason for that is not least the advent of computing trends like Ubiquitous Computing, Ambient ...
Runtime Safety Models in Open Systems of Systems
DASC '09: Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing

Upcoming application domains, from Ambient Assisted Living to Car2Car, show the need for openness, flexibility and safety in next generation embedded systems. Whilst there are several approaches tackling the dynamic reconfiguration and integration of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

CARS '10: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety

April 2010

84 pages

ISBN:9781605589152

DOI:10.1145/1772643

Conference Chairs:
Jean-Charles Fabre
LAAS-CNRS, INPT / Université de Toulouse, France
,
Olivier Guetta
Renault TechnoCentre, Paris, France
,
Mario Trapp
Fraunhofer IESE, Kaiserslautern, Germany

Copyright © 2010 ACM.

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]

Sponsors

Universidad Politécnica de Valencia, Spain
Ministerio de Ciencia e Innovación, Spain
Generalitat Valenciana, Spain

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Bundesministerium für Bildung und Forschung

Conference

EDCC '10

Sponsor:

EDCC '10: European Dependable Computing Conference

April 27, 2010

Valencia, Spain

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
373
Total Downloads

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

Reflects downloads up to 12 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

KOBAYASHI NIKEDA M(2022)An Assurance Case Description Method to Reduce Misunderstanding of Managed Objects When Designing Open System-of-SystemsInternational Journal of Japan Association for Management Systems10.14790/ijams.14.114:1(1-11)Online publication date: 31-Dec-2022
https://doi.org/10.14790/ijams.14.1
Krauter FSchindewolf MSax E(2022)Certificate-based Safety Concept for Future Dynamic Automotive Electric/Electronic Architectures22. Internationales Stuttgarter Symposium10.1007/978-3-658-37009-1_34(487-500)Online publication date: 14-Mar-2022
https://doi.org/10.1007/978-3-658-37009-1_34
Cioroaica ESchneider DAlZughbi HReich JAdler RBraun T(2019)Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)10.1109/DSN-W.2019.00024(86-89)Online publication date: Jun-2019
https://doi.org/10.1109/DSN-W.2019.00024
Bhardwaj NLiggesmeyer PDrira KOquendo FAvgeriou PCuesta C(2018)A conceptual framework for safe reconfiguration in open system of systemsProceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems10.1145/3194754.3194759(17-20)Online publication date: 29-May-2018
https://dl.acm.org/doi/10.1145/3194754.3194759
Bicaku ASchmittner CTauber MDelsing J(2018)Monitoring Industry 4.0 applications for security and safety standard compliance2018 IEEE Industrial Cyber-Physical Systems (ICPS)10.1109/ICPHYS.2018.8390801(749-754)Online publication date: May-2018
https://doi.org/10.1109/ICPHYS.2018.8390801
Amorim TRuiz ADropmann CSchneider D(2015)Multidirectional Modular Conditional Safety CertificatesComputer Safety, Reliability, and Security10.1007/978-3-319-24249-1_31(357-368)Online publication date: 9-Dec-2015
https://doi.org/10.1007/978-3-319-24249-1_31
Nair Sde la Vara JSabetzadeh MBriand L(2014)An extended systematic literature review on provision of evidence for safety certificationInformation and Software Technology10.1016/j.infsof.2014.03.00156:7(689-717)Online publication date: Jul-2014
https://doi.org/10.1016/j.infsof.2014.03.001
Schneider DArmengaud ESchoitsch E(2014)Towards Trust Assurance and Certification in Cyber-Physical SystemsComputer Safety, Reliability, and Security10.1007/978-3-319-10557-4_21(180-191)Online publication date: 2014
https://doi.org/10.1007/978-3-319-10557-4_21
Trapp MSchneider D(2014)Safety Assurance of Open Adaptive Systems – A Survey[email protected]10.1007/978-3-319-08915-7_11(279-318)Online publication date: 2014
https://doi.org/10.1007/978-3-319-08915-7_11
Schneider DTrapp M(2013)Conditional Safety Certification of Open Adaptive SystemsACM Transactions on Autonomous and Adaptive Systems10.1145/2491465.24914678:2(1-20)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1145/2491465.2491467
Show More Cited By

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.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten