Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Theorem Proving at Work

Publikation: Beitrag in Buch/Bericht/KonferenzbandKapitelBegutachtung

Abstract

Automotive systems are complex systems. They can exhibit unexpected behaviours, and those unexpected behaviours are often unsafe and can endanger human lives. There are a number of mechanical and control-theoretic methods for automotive safety accumulated over time. However, these traditional measures are rarely enough for modern automotive systems that are heavily software-controlled.
OriginalspracheEnglisch
TitelSafety Assurance under Uncertainties
UntertitelFrom Software to Cyber-Physical/Machine Learning Systems
Herausgeber*innenIchiro Hasuo, Fuyuki Ishikawa
VerlagCRC Press
Kapitel9
Seiten243-283
Seitenumfang41
Auflage1
ISBN (elektronisch)9781003093350
ISBN (Print)9780367554019
DOIs
PublikationsstatusVeröffentlicht - 13 Mai 2025

Wissenschaftszweige

  • 102020 Medizinische Informatik
  • 102022 Softwareentwicklung
  • 102006 Computer Supported Cooperative Work (CSCW)
  • 102027 Web Engineering
  • 502050 Wirtschaftsinformatik
  • 102040 Quantencomputing
  • 102016 IT-Sicherheit
  • 503015 Fachdidaktik Technische Wissenschaften
  • 509026 Digitalisierungsforschung
  • 102015 Informationssysteme
  • 102034 Cyber-Physical Systems
  • 502032 Qualitätsmanagement
  • 211928 Systems Engineering

JKU-Schwerpunkte

  • Digital Transformation

Dieses zitieren