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
01.06.1993
Report
Keine Angabe
Englisch
Titan III Launch Vehicle Flight Test Experience
SAE Technical Papers | 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
|