User: Guest  Login
Document type:
Konferenzbeitrag 
Contribution type:
Textbeitrag / Aufsatz 
Author(s):
Becker, Martin; Neumair, Markus; Söhn, Alexander; Chakraborty, Samarjit 
Title:
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles 
Abstract:
This paper describes the development and verification of a competitive parachute system for Micro Air Vehicles, in particular focusing on verification of the embedded software. We first introduce the overall solution including a system level failure analysis, and then show how we minimized the influence of faulty software. This paper demonstrates that with careful abstraction and little overapproximation, the entire code running on a microprocessor can be verified using \emphbounded model checki...    »
 
Dewey Decimal Classification:
000 Informatik, Wissen, Systeme 
Editor:
Floor Koorneef, Coen van Gulijk 
Book / Congress title:
International Conference on Computer Safety, Reliability and Security (SAFECOMP) 
Organization:
TU Delft 
Date of congress:
22.09.2015 
Publisher:
Springer Verlag 
Year:
2015 
Quarter:
3. Quartal 
Year / month:
2015-09 
Month:
Sep 
Language:
en 
TUM Institution:
Real-Time Computer Systems 
Format:
Text 
versions