A Philosophy for Developing Trust in Self-driving Cars

Lecture Notes in Mobility

Volumn , Issue , 2015, Pages 163-171

  Wagner, Michael ^a   Koopman, Philip ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Autonomous vehicles; Inductive reasoning; Runtime verification; Self driving cars; Software robustness testing; Software safety

Indexed keywords

EID: 85144979136     PISSN: 21965544     EISSN: 21965552     Source Type: Book Series    
DOI: 10.1007/978-3-319-19078-5_14     Document Type: Chapter

References (16)

1. Koscher K et al (2010) Experimental security analysis of a modern automobile. In: Proceedings of IEEE symposium on security and privacy
2. Ferguson D et al (2008) A reasoning framework for autonomous urban driving. In: IEEE intelligent vehicles symposium
3. Leinweber DJ (2007) Stupid data miner tricks: Overfitting the S&P 500. J Investing Spring 16(1):15–22
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
5. Schapire Robert E (1990) The strength of weak learnability. Mach Learn 5(2):197–227
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
7. Popper K (1959) The logic of scientific discovery. Basic Books, New York
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
9. Toulmin S (1958) The uses of argument, 2nd edn. ISBN 0-521-53483-6
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
11. Kane A, Fuhrman T, Koopman P (2014) Monitor based oracles for cyber-physical system testing. In: Dependable Systems and Networks
12. Wagner M et al (2009) Building safer UGVs with run-time safety invariants. In: National defense industrial associations systems engineering conference
13. Miller BP et al (1990) An empirical study of the reliability of UNIX utilities. Commun ACM 33:12
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
15. Koopman P, DeVale J (1999) Comparing the robustness of POSIX operating systems. In: Fault tolerant computing symposium, June 1999
16. ASTAA project web page. http://www.nrec.ri.cmu.edu/projects/stress_testing