A comprehensive software verification technology for onboard control systems of spacecraft

DOI10.1134/S0005117923100065MaRDI QIDQ6200430zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

comprehensive software verificationonboard control systemsoftwarespacecraft

Mathematics Subject Classification ID

Theory of software (68Nxx)

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

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)