NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Christian Von Essen and Dimitra Giannakopoulou Win 2014 European Association of Software Science and Technology Best Paper Award
Intelligent Systems Division Banner

Christian Von Essen and Dimitra Giannakopoulou Win 2014 European Association of Software Science and Technology Best Paper Award

A paper by Christian von Essen and Dimitra Giannakopoulou, was presented at the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014). The paper received the European Association of Software Science and Technology (EASST) Best Paper Award at the 2014 European joint conferences on Theory And Practice of Software (ETAPS).

BACKGROUND: The paper, “Analyzing the Next-Generation Airborne Collision-Avoidance System,” identifies verification challenges for the next-generation Airborne Collision Avoidance System v10 (ACAS X), and studies the applicability of probabilistic verification and synthesis techniques in addressing these challenges. In so doing, it also describes the application to ACAS X of the VERification for Collision Avoidance (VeriCA) framework the authors created for systems with similar characteristics to ACAS X.

ETAPS is a confederation of six annual conferences. Best Paper Awards are selected from all six events. The ETAPS EASST Best Paper Award is presented to the best ETAPS paper related to the systematic and rigorous engineering of software and systems.

TEAM: Christian von Essen (intern) and Dimitra Giannakopoulou

NASA PROGRAM FUNDING: Assurance of Flight-Critical Systems (AFCS), System-wide Safety Assurances Technologies (SSAT) project, Aeronautics Research Mission Directorate (ARMD)

Contact: Dimitra Giannakopoulou

First Gov logo
NASA Logo - nasa.gov