What About Autonomous Satellite (Best Paper)

certified medals of the MCC for 2020, see the original URL

A paper about the formal veririfcation of autonomy in earth observation satellites has been accepted at the 10th International Congress and Exhibition on Embedded Real-Time Software and Systems (ERTSS 2020).

This paper received the best paper award in the category “Autonomous and Connected Systems”

The article describes a new software architecture allowing to increase the degree of autonomy in satellites. The main idea is to allow satellites to modify, in flight, part of their mission plan. This approach is based on the design of a formally proven mechanism, much like some kind of bytecode verifier, which ensures the safety of generated plans. You can find more by looking directly at the paper:

(2020). Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites. In Proc. of ERTSS 2020.

PDF Project

CNRS Researcher

My research interests include formal methods and concurrency semantics.