@inproceedings{27423cf9ee8d4ebe80bd1d0f02e9a137,
title = "Evaluation of formal methods tools applied to a 6U CubeSat attitude control system",
abstract = "Exhaustive test of complex and autonomous systems is intractable and cost prohibitive; however, incorporating formal methods analysis throughout the system design process provides a means to identify faults as they are introduced and drastically reduce the overall system development cost. Software errors on fielded spacecraft have resulted in catastrophic faults that could have been prevented had formal methods been applied to the system design. In this research, formal methods, such as model checking and limited theorem proving, are applied to the requirements, architecture, and model development phases of the design process of a reaction wheel attitude control system for a 6U CubeSat. The results show that while feasible, several gaps exist in the capability of formal methods analysis tools. The tools are capable of expressing and analyzing some of the properties of the system, but more work is needed to properly address inherent nonlinearities in complex systems.",
author = "Gross, \{Kerianne H.\} and Hoffman, \{Jonathan A.\} and Matthew Clark and Swenson, \{Eric D.\} and Cobb, \{Richard G.\} and Whalen, \{Michael W.\} and Lucas Wagner",
year = "2015",
month = jan,
day = "1",
language = "English (US)",
isbn = "9781624103346",
series = "AIAA SPACE 2015 Conference and Exposition",
publisher = "American Institute of Aeronautics and Astronautics Inc. (AIAA)",
booktitle = "AIAA SPACE 2015 Conference and Exposition",
address = "United States",
note = "AIAA SPACE Conference and Exposition, 2015 ; Conference date: 31-08-2015 Through 02-09-2015",
}