A comprehensive software verification technology for onboard control systems of spacecraft

DOI10.1134/S0005117923100065OpenAlexW4392142833MaRDI QIDQ6200430FDOQ6200430

Authors:

Publication date: 29 February 2024

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0005117923100065

Recommendations

• Formal verification of control systems software
• scientific article; zbMATH DE number 1759738
• Tools and Algorithms for the Construction and Analysis of Systems
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems

zbMATH Keywords

softwarespacecraftcomprehensive software verificationonboard control system

Mathematics Subject Classification ID

Theory of software (68Nxx)

Cites Work

• Developing models and design methods for information management systems in space vehicles

This page was built for publication: A comprehensive software verification technology for onboard control systems of spacecraft

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200430)