Abstract:The development of a satellite requires a successful and efficient design, integration and verification of a highly complex system comprising many internal interactions on various levels. Moreover, due to the particular operations requirements of a satellite, high autonomy and reliability have to be achieved. On the other hand realistic testing is difficult due to the specific satellite environment. This is complicated by the existence of considerable economic pressure which enforces the reduction of engineering costs and time while maintaining a high quality standard.In order to successfully resolve this kind of problem, it is imperative that an effective development and verification process is defined and technically supported by an appropriate simulation environment. EADS Astrium has therefore developed an integrated concept called “Model-based Development and Verification Environment” (MDVE).The use of the MDVE promotes the following basic objectives: –Consistent use of models, data bases and procedures for various purposes throughout all project phases (B, C/D, E) and across different projects.–Integration of engineering disciplines (operations, dynamics (attitude and orbit control), data handling, electrical power, thermal control).–Consistent process for harmonised development and verification of •satellite H/W and S/W,•flight procedures,•system simulator (for ground segment). The development process can be characterised by the following steps: –System Simulation (pure simulation) •development and verification of system design,•development and verification of check-out procedures.–Software Verification Facility (SVF) •verification of on-board S/W.–Real-Time Testbed (RTB) and FlatSat •O/B computer H/W and S/W in-the-loop (incl. H/W-JS/W compatibility),•additional equipment in the loop (FlatSat),•functional validation of O/B computer and additional equipment,•mission simulation test,•flight procedure development.–Support of System Level Tests.–Operations Support (system simulator for ground segment, S/W maintenance facility). This paper reports on advances in the area of the optimised development process for satellite design and verification and the supporting environment.

A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

Modular Verification of Autonomous Space Robotics

Verification and Validation of Autonomous Systems

Verification Framework for Control System Functionality of Unmanned Aerial Vehicles

Verifying the Safety of a Flight-Critical System

The Ground-Based Verification System of Visual Servoing Control for a Space Robot

Verification framework for control theory of aircraft

Design And Implementation Of The Universal Servo Control Algorithm Verification System Based On High-Speed Communication Fieldbus

Safety assurance of an industrial robotic control system using hardware/software co-verification

Verifying a Cruise Control System using Simulink and SpaceEx

OSA-Based Testing Technology of Spacecraft Control System

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles

Handling state space explosion in verification of component-based systems: A review

The significant role of simulation in satellite development and verification

Study On The Control System Of A Hardware-In-Loop Micro-Satellite Simulator

Integration of Twin Models in UVM Verification IPs for Space Telecommunication Systems

Online Verification Concept for Autonomous Vehicles -- Illustrative Study for a Trajectory Planning Module

Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X

Controller Verification for Nonlinear Systems

Grand Challenges in the Verification of Autonomous Systems

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles