Skip to main content
SpringerLink
Log in
Book cover

Road Vehicle Automation 2 pp 163–171Cite as

A Philosophy for Developing Trust in Self-driving Cars

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Mobility ((LNMOB))

Abstract

For decades, our lives have depended on the safe operation of automated mechanisms around and inside us. The autonomy and complexity of these mechanisms is increasing dramatically. Autonomous systems such as self-driving cars rely heavily on inductive inference and complex software, both of which confound traditional software-safety techniques that are focused on amassing sufficient confirmatory evidence to support safety claims. In this paper we survey existing methods and tools that, taken together, can enable a new and more productive philosophy for software safety that is based on Karl Popper’s idea of falsificationism.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Koscher K et al (2010) Experimental security analysis of a modern automobile. In: Proceedings of IEEE symposium on security and privacy

    Google Scholar 

  2. Ferguson D et al (2008) A reasoning framework for autonomous urban driving. In: IEEE intelligent vehicles symposium

    Google Scholar 

  3. Leinweber DJ (2007) Stupid data miner tricks: Overfitting the S&P 500. J Investing Spring 16(1):15–22

    Google Scholar 

  4. Dollár P et al (2012) Pedestrian detection: an evaluation of the state of the art. IEEE Trans Pattern Anal Mach Intell 34(4):743–761

    Google Scholar 

  5. Schapire Robert E (1990) The strength of weak learnability. Mach Learn 5(2):197–227

    Google Scholar 

  6. Knight JC, Leveson NG (1986) An experimental evaluation of the assumption of independence in multi-version programming. IEEE Trans Softw Eng 12(1):96–109

    Google Scholar 

  7. Popper K (1959) The logic of scientific discovery. Basic Books, New York

    MATH  Google Scholar 

  8. Kelly T, Weaver R (2004) The goal structuring notation—a safety argument notation. In: Proceedings of dependable system and networks 2004, workshop on assurance cases

    Google Scholar 

  9. Toulmin S (1958) The uses of argument, 2nd edn. ISBN 0-521-53483-6

    Google Scholar 

  10. Ouaknine J, Worrell J (2008) Some recent results in metric temporal logic. Formal modeling and analysis of timed systems. Springer, Berlin, pp 1–13

    Google Scholar 

  11. Kane A, Fuhrman T, Koopman P (2014) Monitor based oracles for cyber-physical system testing. In: Dependable Systems and Networks

    Google Scholar 

  12. Wagner M et al (2009) Building safer UGVs with run-time safety invariants. In: National defense industrial associations systems engineering conference

    Google Scholar 

  13. Miller BP et al (1990) An empirical study of the reliability of UNIX utilities. Commun ACM 33:12

    Article  Google Scholar 

  14. Miller BP et al (2006) An empirical study of the robustness of MacOS applications using random testing. In: 1st international workshop on random testing

    Google Scholar 

  15. Koopman P, DeVale J (1999) Comparing the robustness of POSIX operating systems. In: Fault tolerant computing symposium, June 1999

    Google Scholar 

  16. ASTAA project web page. http://www.nrec.ri.cmu.edu/projects/stress_testing

Download references

Author information

Authors and Affiliations

  1. The Robotics Institute, Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh, PA, 15213, USA

    Michael Wagner

  2. Department of Electrical and Computer Engineering, Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh, PA, 15213, USA

    Philip Koopman

Authors
  1. Michael Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philip Koopman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Wagner .

Editor information

Editors and Affiliations

  1. VDI / VDE Innovation + Technik GmbH, Berlin, Germany

    Gereon Meyer

  2. Stanford University, Palo Alto, California, USA

    Sven Beiker

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Wagner, M., Koopman, P. (2015). A Philosophy for Developing Trust in Self-driving Cars. In: Meyer, G., Beiker, S. (eds) Road Vehicle Automation 2. Lecture Notes in Mobility. Springer, Cham. https://doi.org/10.1007/978-3-319-19078-5_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19078-5_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19077-8

  • Online ISBN: 978-3-319-19078-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation