SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 21:40 - 22:00 at SPLASH-III - T-2-Onward Chair(s): Jonathan Edwards
Tue 17 Nov 2020 09:40 - 10:00 at SPLASH-III - T-2-Onward Chair(s): Avraham Shinnar

The paper describes and critiques the certification of U.S. aviation software. Flight-critical software certification and regulation need external academic review and intervention. Industry is driven to generate profits over prioritizing public safety concerns and has failed to develop adequately proven methods of certifying that flight-critical software is safe to deploy.

The opinions expressed in this paper are the views of the author and do not reflect the official policy or position of any agency of the U.S. government.

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20: T-2-OnwardOnward! Papers / Onward! Essays at SPLASH-III +12h
Chair(s): Avraham ShinnarIBM Research
09:00 - 09:20
Talk
Onward! Papers
Fabio NiephausHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Jakob EddingHasso Plattner Institute, University of Potsdam, Jonas HeringHasso Plattner Institute, University of Potsdam, Bastian KönigHasso Plattner Institute, University of Potsdam, Kolya OpahleHasso Plattner Institute, University of Potsdam, Nico ScordialoHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print Media Attached
09:20 - 09:40
Talk
Onward! Papers
Link to publication Pre-print
09:40 - 10:00
Talk
Onward! Essays
Marc RonellU.S. Federal Aviation Administration
Link to publication DOI
10:00 - 10:20
Talk
Onward! Papers
Jennifer FishCarnegie Mellon University, Darya MelicherGoogle, Jonathan AldrichCarnegie Mellon University
Link to publication
21:00 - 22:20: T-2-OnwardOnward! Papers / Onward! Essays at SPLASH-III
Chair(s): Jonathan Edwards
21:00 - 21:20
Talk
Onward! Papers
Fabio NiephausHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Jakob EddingHasso Plattner Institute, University of Potsdam, Jonas HeringHasso Plattner Institute, University of Potsdam, Bastian KönigHasso Plattner Institute, University of Potsdam, Kolya OpahleHasso Plattner Institute, University of Potsdam, Nico ScordialoHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print Media Attached
21:20 - 21:40
Talk
Onward! Papers
Link to publication Pre-print
21:40 - 22:00
Talk
Onward! Essays
Marc RonellU.S. Federal Aviation Administration
Link to publication DOI
22:00 - 22:20
Talk
Onward! Papers
Jennifer FishCarnegie Mellon University, Darya MelicherGoogle, Jonathan AldrichCarnegie Mellon University
Link to publication