A Domain Specific Design Tool for Spacecraft System Behavior
dc.contributor.author | Venigalla, S. | |
dc.contributor.author | Eames, B. | |
dc.contributor.author | McInnes, A. | |
dc.date.accessioned | 2009-05-19T02:31:25Z | |
dc.date.available | 2009-05-19T02:31:25Z | |
dc.date.issued | 2008 | en |
dc.description.abstract | Specification 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. | en |
dc.identifier.citation | Venigalla, 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. | en |
dc.identifier.uri | http://hdl.handle.net/10092/2467 | |
dc.language.iso | en | |
dc.publisher | University of Canterbury. Electrical and Computer Engineering | en |
dc.relation.uri | http://www.dsmforum.org/events/DSM08/Papers/13-Eames.pdf | en |
dc.rights.uri | https://hdl.handle.net/10092/17651 | en |
dc.subject | Domain-Specific Language | en |
dc.subject | Formal Verification | en |
dc.subject | Spacecraft System Design | en |
dc.subject.marsden | Fields of Research::290000 Engineering and Technology::290200 Aerospace Engineering::290206 Aerospace electrical systems | en |
dc.subject.marsden | Fields of Research::280000 Information, Computing and Communication Sciences | en |
dc.title | A Domain Specific Design Tool for Spacecraft System Behavior | en |
dc.type | Conference Contributions - Published |
Files
Original bundle
1 - 1 of 1