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.
|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|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be