Return to search

A Domain-Specific Design Tool for Verifying Spacecraft System Behavior

In this report we present a graphical tool, Behavioral Analysis of Spacecraft Systems (BASS), that can be used by spacecraft designers to perform system-level behavioral analysis of small satellites. The domain-specific spacecraft meta-model is created in the visual modeling tool Generic Modeling Environment (GME) such that spacecraft designs created using the meta-model appear familiar to the spacecraft designers. Users can model scenarios that are to be verified for the design in BASS. The graphical models are assigned formal semantics facilitating the creation of formally verifiable spacecraft models. The C++ application that translates the modeling objects to equivalent mathematical representation of interest is called BASS Interpreter and is bound to the meta-model. BASS Interpreter that generates Communicating Sequential Processes (CSP) semantics for the visual spacecraft models is supported in the current work. The model-checker for CSP called Failures Divergences and Refinement (FDR) is run to explore the state-space of the spacecraft process model to comment on the design. We demonstrate the feasibilty and advantage of incorporating BASS into initial design phases of small satellite development by successfully verifying the design of Tomographic Remote Observer of Ionospheric Disturbances (TOROID).

Identiferoai:union.ndltd.org:UTAHS/oai:digitalcommons.usu.edu:etd-1499
Date01 December 2009
CreatorsVenigalla, Sravanthi
PublisherDigitalCommons@USU
Source SetsUtah State University
Detected LanguageEnglish
Typetext
Formatapplication/pdf
SourceAll Graduate Theses and Dissertations
RightsCopyright for this work is held by the author. Transmission or reproduction of materials protected by copyright beyond that allowed by fair use requires the written permission of the copyright owners. Works not in the public domain cannot be commercially exploited without permission of the copyright owner. Responsibility for any use rests exclusively with the user. For more information contact Andrew Wesolek (andrew.wesolek@usu.edu).

Page generated in 0.0015 seconds