Premium
Software Patterns for Traceability of Requirements to Finite State Machine Behavior: Application to Rail Transit Systems Design and Management
Author(s) -
Delgoshaei Parastoo,
Austin Mark
Publication year - 2012
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2012.tb01463.x
Subject(s) - traceability , finite state machine , computer science , software engineering , ontology , rail transit , systems engineering , requirements traceability , state (computer science) , software , requirements engineering , engineering , programming language , transport engineering , requirement , philosophy , epistemology
This paper describes a software design pattern (e.g., hierarchical graphs of modelview‐controllers) and models of visualization for ontology‐enabled traceability, where requirements are traced to elements of finite‐state machine behavior (e.g., actions, states, transitions and guard conditions). These ontology‐enabled traceability mechanisms will play an important role in the team‐based development of network‐enabled platforms for analysis, design, and early validation and verification of information‐age engineering systems. The application of these concepts is illustrated through the study of a simplified rail transit system.