Verification of the C++-Operating System RODOS in Context of a Small-Satellite

Conference: ARCS Workshop 2018 - 31th International Conference on Architecture of Computing Systems
04/09/2018 - 04/12/2018 at Braunschweig, Germany

Proceedings: ARCS Workshop 2018

Pages: 8Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Gerlich, Rainer; Gerlich, Ralf (Dr. Rainer Gerlich BSSE System and Software Engineering 88090 Immenstaad, Germany)
Gordon, Karsten; Barschke, Merlin (Institute for Aeronautics and Astronautics, Technische Universität Berlin, 10587 Berlin, Germany)
Montenegro, Sergio; Dilger, Erik; Flederer, Frank (Aerospace Information Technology, University of Wuerzburg, 97074 Wuerzburg, Germany)

Abstract:
Within the small satellite mission TechnoSat of Technische Universität Berlin, a verification strategy based on Dynamic Analysis has been applied to the C++-operating system RODOS using automated massive stimulation of the softwareunder- test. This approach is aiming at evaluating the robustness of the software and to derive feedback on the implemented messaging scheme of the on-board process chain. For fault detection and recording of message exchange the code is automatically instrumented with application-independent indicators which shall flag anomalies. Manual fault analysis is limited to the reported issues highlighting fault potential in contrast to usual reviews on the full code. The suggested reviews were extended to similar code, an approach which turned out as being effective. For the verification of the messaging scheme observed functional and performance properties were evaluated. The verification strategy targets the reduction of costs of verification and risks. Within this paper, the different verification steps are described and examples for reported issues are given.