Software design and development often presents a high-risk element during the execution of engineering projects due to devaluation of possible conflicts or identifying defects during late stages of development. Many defects identified during the late stages of small spacecraft development can be avoided by constructing interactive, dynamic models. This process is often followed for hardware fabrication/test, but often not to the same extent for software. An alternative process to the typical software development is needed that enables modeling and simulation feedback at early design stages. Petri nets allow for software visualization, simulation and verification in a cost-effective way. An alternative software modeling approach using Petri nets is presented to rapidly design, develop and verify/validate small spacecraft software. Using the presented techniques, the Missouri University of Science and Technology Satellite Research Team successfully demonstrated core functionality of their software system at the Final Concept Review (FCR) of AFRL's University Nanosat Program's Nanosat-7 Competition.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.