How do scientists uncover phenomena and explain their connections? How do engineers design machines, methods and infrastructure? At omega tau, experts give detailed answers. Over the last ten years, we have produced over 350 episodes in which we dug deeper, until we ran out of questions. Join us on our journey through the world of science and engineering: the closer you look and listen, the more interesting things get.
https://omegataupodcast.net
episode 236: Space Flight Software
Guest: Maria Hernek Host: Markus Voelter Shownoter: Markus Voelter
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.
Introduction Maria and Departments 00:02:40
Maria Hernek | Flight Software Section | Telecom Satellites | Navigation Satellites | Deep Space Missions | Galileo | EGNOS | Work Share with Vendors | Systems Engineering vs. Software Engineering
Development Process and Standards 00:08:20Agile | Incremental Development | Scrum | Agile vs. Contracting | Assembly, Integration and Test | Assembly, Integration and Verification | Risk Management | ECSS Standard | Coding Guidelines | ECSS E40 | ECSS Q80 | Verification vs. Validation | Redundancy | Runtime Monitoring | Engineering Handbook | Java
Systems Engineering and High-Level Structure 00:19:40Data Handling | AOCS System | GPS | Star Tracker | Central Data Management Unit | Rosetta Mission | Leon Processor | EOC 32 Processor | Sparc Instruction Set | Radiation Hardening | System-on-a-Chip | VHDL | ASIC | Redundancy | Hot/Cold Redundancy | CRC Checking | Reconfiguration Module | Watchdog | Single point of failure | Cross coupling | Design Drivers
Software Architecture, Communication and Operating System 00:33:27Simulink | AOCS Mode | Telemetry | C | Instrument Software | Data Compression | Geostationary | On-Board Software | CAN Bus | Mil Std 1553 Bus | Deterministic Bus | System Integration | Bandwidth | Spacewire | TTCAN | Task | Deadline | Realtime Software | Multitasking | Non-Determinism | Cyclic Scheduler | Preemptive Scheduler | ARTEMS | Task Scheduling | Process Isolation | Inter Process Communication | VxWorks | QNX | Ada
Timing and other Analyses 00:53:46Worst-case execution time | Interrupt Routine | Hierarchical Analysis | Prototyping | Bus Load Analysis | Runtime Monitoring | Utilization | Graceful Degradation | Safe Mode | Fail Safe | Fail Operational | Kopernikus Satellite
Testing and Verification 01:06:24Unit Testing | Integration Testing | Test Coverage | Hardware in the loop testing | Non-Functional Properties | Formal Verification | mbeddr Project | Design-by-Contract | CBMC | DeepSpec project | Benjamin Pierce | Hypervisor
Tools, Languages, Qualification and Interfaces 01:16:52Simulink | UML | Grady Booch | Layers Pattern | Driver | Ada | C | gcc | Scade | Tool Qualification | Interface Control Documents | Telecommand | MISRA-C | ASIL Levels | ATV
Maintenance 01:37:40Maintainability | Patching | Code Generation | Reverification after a Patch | POLARSYS | ESOC | Outro and Call for Applications | Job ad 1 | Job ad 2