Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
opinion
Free access

Certification of Safety-Critical Systems

Published: 22 September 2023 Publication History

Abstract

Seeking new approaches toward ensuring the safety of software-intensive systems.

References

[1]
Hoare, C.A.R. Unification of theories: A challenge for computing science. In Proceedings of the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification, Springer-Verlag, (1996), 49--57.
[2]
Leveson, N. Are you sure your software will not kill anyone? Commun. ACM 63, 2 (Feb. 2020).
[3]
Leveson, N. Engineering a Safer World. MIT Press, 2012.
[4]
Leveson, N. and Thomas, J. STPA Handbook; https://bit.ly/3QRRggH

Cited By

View all
  • (2024)Collaborative Steering with the Driving AutomationAutomatisiertes Fahren 202410.1007/978-3-658-45196-7_17(211-219)Online publication date: 27-Jul-2024
  • (2023)On the persistent rumors of the programmer’s imminent demiseSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01136-y22:6(1969-1976)Online publication date: 15-Nov-2023

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 66, Issue 10
October 2023
110 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/3625456
  • Editor:
  • James Larus
Issue’s Table of Contents
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: 22 September 2023
Published in CACM Volume 66, Issue 10

Check for updates

Qualifiers

  • Opinion

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1,056
  • Downloads (Last 6 weeks)102
Reflects downloads up to 02 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Collaborative Steering with the Driving AutomationAutomatisiertes Fahren 202410.1007/978-3-658-45196-7_17(211-219)Online publication date: 27-Jul-2024
  • (2023)On the persistent rumors of the programmer’s imminent demiseSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01136-y22:6(1969-1976)Online publication date: 15-Nov-2023

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media