[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/2402676.2402681acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
tutorial

Safety of embedded software

Published: 02 December 2012 Publication History

Abstract

Traditional safety techniques were created 40-50 years ago for electro-mechanical systems. The underlying assumptions of these techniques about the cause of accidents (e.g., component failure) do not match software nor do they match the types of accidents we are having that are related to software. As a result, a large number of accidents are now related to software, although usually the pilot (for aircraft) or other human operators are blamed. Often, the software design leads to the operator errors. We will describe the problems with software that are leading to accidents (primarily in the requirements) and how to deal with them. Most of the current approaches rely on reducing "failures" although software does not fail. Something else is needed.
In the tutorial we will present a new accident causality model (STAMP) and teach how to use a new hazard analysis technique (STPA) based on it that can be used on complex, software-intensive systems. The topics will include how to generate software safety requirements from an STPA hazard analysis and how to design software that does not induce human error. The tutorial will be based on a new book, Engineering a Safer World by Nancy Leveson and published in January 2012 by MIT Press.

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
HILT '12: Proceedings of the 2012 ACM conference on High integrity language technology
December 2012
118 pages
ISBN:9781450315050
DOI:10.1145/2402676

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 December 2012

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. complex systems
  2. component interaction
  3. control theory
  4. hazard analysis
  5. requirements
  6. specification
  7. system safety
  8. systems theory

Qualifiers

  • Tutorial

Conference

HILT'12
Sponsor:
HILT'12: ACM SIGAda Annual
December 2 - 6, 2012
Massachusetts, Boston, USA

Acceptance Rates

HILT '12 Paper Acceptance Rate 6 of 11 submissions, 55%;
Overall Acceptance Rate 27 of 48 submissions, 56%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 259
    Total Downloads
  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Dec 2024

Other Metrics

Citations

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