COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D., Utah State University, 2007, 290; 3279572
Abstract (Summary)

Process algebra can provide spacecraft designers with a mathematical formalism for specifying, understanding, analyzing, and verifying spacecraft system behavior. Although it is standard practice to mathematically model and analyze the subsystems of a spacecraft to ensure that they will function correctly when built, the system-level behavior of the spacecraft is generally understood in much less rigorous terms. This leaves the spacecraft system vulnerable to design errors which may not become apparent until the integration and test phase, when design changes are most expensive. In this dissertation, we develop a formal approach to engineering spacecraft behavior, based on mathematical models of behavior expressed using the process algebra Communicating Sequential Processes. This new approach to spacecraft behavior is intended to help spacecraft systems engineers to model and analyze proposed spacecraft system designs in a rigorous manner, and to detect subtle specification and design errors earlier in the design process than the errors would otherwise be found.

Indexing (document details)
Advisor: Swenson, Charles M.
School: Utah State University
School Location: United States -- Utah
Source: DAI-B 68/09, Dissertation Abstracts International
Subjects: Aerospace materials, Systems design
Keywords: Formal methods, Process algebra, Spacecraft, Systems engineering
Publication Number: 3279572
ISBN: 978-0-549-21453-3
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy