Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 14:30 - 15:00 at Aurora Borealis - Paper Session 2: Verification Chair(s): Ningning Xie

Verification of correctness of control programs is an essential task in the development of space electronics; it is difficult and typically outweighs design and programming tasks in terms of development hours. This experience report presents a verification approach designed to help spacecraft engineers reduce the effort required for formal verification of low-level control programs executed on custom hardware.

The verification approach is demonstrated on an industrial case study. We present REDFIN, a processing core used in space missions, and its formal semantics expressed using the proposed metalanguage for state transformers, followed by examples of verification of simple control programs.

Thu 22 Aug

haskellsymp-2019-papers
13:30 - 15:00: Haskell 2019 - Paper Session 2: Verification at Aurora Borealis
Chair(s): Ningning XieThe University of Hong Kong
haskellsymp-2019-papers13:30 - 14:00
Research paper
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany, Niels BunkenburgUniversity of Kiel, Germany
haskellsymp-2019-papers14:00 - 14:30
Talk
File Attached
haskellsymp-2019-papers14:30 - 15:00
Experience report
Andrey MokhovNewcastle University, UK, Georgy LukyanovNewcastle University, UK, Jakob LechnerRUAG Space Austria GmbH