Skip to main content

3 Result(s)

within Simon Burton Remove this filter Logics and Meanings of Programs Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Challenges in Assuring Highly Complex, High Volume Safety-Critical Software

    Safety standards such as IEC 61508 [1] and ISO 26262 [2] were written assuming that highly complex safety-critical systems were self-contained, capital intensive, one-off products and that the assurance argument...

    John MacGregor, Simon Burton in Computer Safety, Reliability, and Security (2018)

  2. No Access

    Chapter and Conference Paper

    Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving

    The validation of highly automated driving vehicles is an important challenge to the automotive industry, since even if the system is free from internal faults, its behaviour might still vary from the original...

    Lydia Gauerhof, Peter Munk, Simon Burton in Computer Safety, Reliability, and Security (2018)

  3. No Access

    Chapter and Conference Paper

    Making the Case for Safety of Machine Learning in Highly Automated Driving

    This paper describes the challenges involved in arguing the safety of highly automated driving functions which make use of machine learning techniques. An assurance case structure is used to highlight the syst...

    Simon Burton, Lydia Gauerhof… in Computer Safety, Reliability, and Security (2017)