Venigalla, S.Eames, B.McInnes, A.2009-05-192009-05-192008Venigalla, S., Eames, B., McInnes, A. (2008) A Domain Specific Design Tool for Spacecraft System Behavior. Nashville, TN, USA: 8th OOPSLA Workshop on Domain-Specific Modeling (DSM'08), 19-20 Oct 2008.http://hdl.handle.net/10092/2467Specification of spacecraft subsystem interactions is typically carried out using informal diagrams and descriptions that can obscure subtle ambiguities and inconsistencies. As a result, problems in the way subsystems are designed to interact may remain undetected until the integration and test phase, when the cost of change is high. Our Behavioral Analysis of Spacecraft Systems (BASS) modeling tool provides a structured way to define spacecraft subsystem interfaces and interactions, and access to an underlying formal model of interaction that allows the specified interactions to be rigorously analyzed. The enforced consistency of the diagrams produced by our tool and the analytical power of the underlying formal model increases a developer’s ability to discover and correct system design errors early in the development process.enDomain-Specific LanguageFormal VerificationSpacecraft System DesignConference Contributions - PublishedFields of Research::290000 Engineering and Technology::290200 Aerospace Engineering::290206 Aerospace electrical systemsFields of Research::280000 Information, Computing and Communication Sciences