• DocumentCode
    104253
  • Title

    Verifying Cyber-Physical Interactions in Safety-Critical Systems

  • Author

    Mitra, Subhasish ; Wongpiromsarn, Tichakorn ; Murray, Richard M.

  • Volume
    11
  • Issue
    4
  • fYear
    2013
  • fDate
    July-Aug. 2013
  • Firstpage
    28
  • Lastpage
    37
  • Abstract
    Safety-compromising bugs in software-controlled systems are often hard to detect. In a 2007 DARPA Urban Challenge vehicle, such a defect remained hidden during more than 300 miles of test-driving, manifesting for the first time during the competition. With this incident as an example, the authors discuss formalisms and techniques available for safety analysis of cyber-physical systems.
  • Keywords
    control engineering computing; program debugging; road safety; safety-critical software; traffic engineering computing; 2007 DARPA Urban Challenge vehicle; cyber-physical interactions; cyber-physical systems; safety analysis; safety-compromising bugs; safety-critical systems; software-controlled systems; Computer security; Computer viruses; Safety; Urban areas; Vehicles; Verification; autonomous vehicles; formal verification; invariant checking; simulation-based verification;
  • fLanguage
    English
  • Journal_Title
    Security & Privacy, IEEE
  • Publisher
    ieee
  • ISSN
    1540-7993
  • Type

    jour

  • DOI
    10.1109/MSP.2013.77
  • Filename
    6531612
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=104253