Small Spacecraft Software Modeling: A Petri Net-Based Approach
| Autor: | Pasha Palangpour, Henry J. Pernicka, Sriram Chellappan, Levi Malott |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
Engineering
business.industry Software development Aerospace Engineering Computer Science Applications Software development process Goal-Driven Software Development Process Software construction Systems engineering Software design Software verification and validation Software reliability testing Electrical and Electronic Engineering business Software design description |
| Zdroj: | Journal of Aerospace Information Systems. 11:679-690 |
| ISSN: | 2327-3097 |
| Popis: | Software design and development often presents a high-risk element during the execution of engineering projects due to the difficulty of 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/testing but often not to the same extent for software. An alternative to the typical software development process 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 with their Missou... |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|