By

243 – Formal Specification and Proof

Rate Episode
(average: 4.47)
Loading ... Loading ...

The increasing complexity of software requires increasingly sophisticated means of ensuring its correctness — “just” testing is not necessarily good enough, depending on the domain in which the software is used. Formal specification, verification and proof is a field with a long tradition in computer science that is gaining more (practical) relevance these days; and in this episode, we cover the basics. Our guest is Benjamin Pierce, professor of computer science at UPenn. We discuss the nature of (good) specifications, how verification and proof is different from testing, and where and how these techniques are successfully used today.

Audio, Details & Links ...

By

236 – Space Flight Software

Rate Episode
(average: 4.31)
Loading ... Loading ...

Last fall I visited ESTEC, ESA’s space research and technology center. In this first of three episodes, I talk with Maria Hernek, who heads the Flight Software Systems section. We talk about the challenges of space flight software, the development processes used by ESA and its vendors, as well as means of ensuring the required quality attributes. This episode can be seen as a continuation of the conversation with Andreas Wortmann in the OHB episode.

Audio, Details & Links ...

By

225 – Testen des ETCS im Gotthardbasistunnel

Rate Episode
(average: 4.58)
Loading ... Loading ...

Das European Train Control System ist ein neues, europäisch einheitliches System zur Zugsicherung, das derzeit nach und nach auf großen Strecken installiert wird, unter anderem im Gotthardbasistunnel. Unser Gast Chris Glaettli hat maßgeblich am Test der dortigen ETCS-Installation mitgewirkt. In der Episode sprechen wir über ETCS im Allgemeinen, die Spezifika der Installation im Gotthardbasistunnel, sowie das Vorgehen beim Testen.

Audio, Details & Links ...