Theorem Proving at Work

Takeshi Kobayashi, Stefan Klikovits, Rose Bohrer, Akihisa Yamada, Ichiro Hasuo

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

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.
Original languageEnglish
Title of host publicationSafety Assurance under Uncertainties
Subtitle of host publicationFrom Software to Cyber-Physical/Machine Learning Systems
EditorsIchiro Hasuo, Fuyuki Ishikawa
PublisherCRC Press
Chapter9
Pages243-283
Number of pages41
Edition1
ISBN (Electronic)9781003093350
ISBN (Print)9780367554019
DOIs
Publication statusPublished - 13 May 2025

Fields of science

  • 102020 Medical informatics
  • 102022 Software development
  • 102006 Computer supported cooperative work (CSCW)
  • 102027 Web engineering
  • 502050 Business informatics
  • 102040 Quantum computing 
  • 102016 IT security
  • 503015 Subject didactics of technical sciences
  • 509026 Digitalisation research
  • 102015 Information systems
  • 102034 Cyber-physical systems
  • 502032 Quality management
  • 211928 Systems engineering

JKU Focus areas

  • Digital Transformation

Cite this