Mathematics – Logic
Scientific paper
Jun 1993
adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=1993stin...9517493y&link_type=abstract
Unknown
Mathematics
Logic
Computer Programs, Computerized Simulation, Mathematical Models, Newton-Raphson Method, Software Tools, Subroutines, Switching Circuits, Systems Analysis, Time Dependence, Digital Systems, Embedding, Flight Control, Reliability Analysis, Titan Launch Vehicles
Scientific paper
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.
Apostolakis G.
Guarro S.
Yau M.
No associations
LandOfFree
Demonstration of the Dynamic Flowgraph Methodology using the Titan 2 Space Launch Vehicle Digital Flight Control System does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Demonstration of the Dynamic Flowgraph Methodology using the Titan 2 Space Launch Vehicle Digital Flight Control System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Demonstration of the Dynamic Flowgraph Methodology using the Titan 2 Space Launch Vehicle Digital Flight Control System will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-1336558