Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction: The Automated Vehicles Symposium 2014 Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

A Philosophy for Developing Trust in Self-driving Cars

verfasst von : Michael Wagner, Philip Koopman

Erschienen in: Road Vehicle Automation 2

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Elements of a European Roadmap on Smart Systems for Automated Driving
Nächstes Kapitel Truck Automation Opportunities
Literatur
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 YorkMATH
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:12CrossRef
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.
Metadaten
Titel
A Philosophy for Developing Trust in Self-driving Cars
verfasst von
Michael Wagner
Philip Koopman
Copyright-Jahr
2015
Buch
Road Vehicle Automation 2

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

Electronic ISBN: 978-3-319-19078-5

Copyright-Jahr: 2015

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