Dynamic Flowgraph Methodology (DFM) is a new approach developed to integrate the modeling and analysis of the hardware and software components of an embedded system. The objective is to complement the traditional approaches which generally follow the philosophy of separating out the hardware and software portions of the assurance analysis. In this paper, the DFM approach is demonstrated using the Titan 2 Space Launch Vehicle Digital Flight Control System. The hardware and software portions of this embedded system are modeled in an integrated framework. In addition, the time dependent behavior and the switching logic can be captured by this DFM model. In the modeling process, it is found that constructing decision tables for software subroutines is very time consuming. A possible solution is suggested. This approach makes use of a well-known numerical method, the Newton-Raphson method, to solve the equations implemented in the subroutines in reverse. Convergence can be achieved in a few steps.
Demonstration of the Dynamic Flowgraph Methodology using the Titan 2 Space Launch Vehicle Digital Flight Control System
1993-06-01
Report
No indication
English
Titan III Launch Vehicle Flight Test Experience
| SAE | 1968
Titan III launch vehicle flight test experience
| Engineering Index Backfile | 1968
| British Library Conference Proceedings | 2006
Titan III standardized space launch system
| Engineering Index Backfile | 1963
TITAN 3 AND TITAN 4 SPACE LAUNCH VEHICLES
| Online Contents | 1993