System engineers who are responsible for capturing the formal requirements of a system typically have relied on text-based tools and free-form diagrams, otherwise known as "shall statements" and "PowerPoint engineering". In our work with the Space Interferometry Mission (SIM) at NASA's Jet Propulsion Laboratory, we found the need to unambiguously represent behaviors and interfaces using common language and terminology across multiple project elements, for example, throughout different levels of system engineering and among system, software, and controls engineering. The system engineers adopted portions of the Unified Modeling Language (UML) [1] as a means to effectively communicate interfaces and desired system behaviors. UML sequence diagrams were used to capture scenarios and provide context for and understanding of the intent of the typical "shall statements". UML Statechart diagrams were used to capture dynamic behavior. In practice, the system and software engineers would iterate together on these models. Iterating on models proved to be a highly effective method of "fleshing-in" loosely worded and ambiguous requirements. Requirements have typically been difficult for the software engineer to implement without understanding the intent behind the requirements. Through the process of modeling, we found that system and software engineers effectively communicated interfaces and behavior. Modeling provided other benefits as well, notably, the ability to auto-generate portions of the flight code from these models and to apply formal methods to prove various correctness properties regarding the model.
Integrating System and Software Engineering Through Modeling
2008-03-01
5854046 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Integrating system and software engineering through modeling
Tema Archiv | 2008
|Integrating System Engineering Software Tools
British Library Conference Proceedings | 1997
|Integrating system engineering software tools
IEEE | 1998
|Articles - Integrating System Engineering Software Tools
Online Contents | 1998
|Integrating Model-Based Systems and Software Engineering
NTRS | 2009
|