Our interest focuses on how to accurately represent the behavior of complex flight and ground systems by properly selecting the key attributes particularly when model-based techniques are increasingly used for their d...
详细信息
ISBN:
(纸本)9781479925520
Our interest focuses on how to accurately represent the behavior of complex flight and ground systems by properly selecting the key attributes particularly when model-based techniques are increasingly used for their development. Can new tools and technologies be used in future missions starting at earlier phases to reduce risk? The objective is to demonstrate the use of the Architecture Analysis & Design Language (AADL, SAE AS5506/A) to analyze quality attributes of integrated flight and ground systems software architecture in the context of verification and validation activities. AADL modeling has been used to accurately represent the behavior of complex systems in space missions starting at earlier phases to reduce risk. AADL model shows execution interactions between high-level system components and it enables early quality attribute analyses. AADL adds rigor and formalism to development lifecycle and assurance activities and as a result it reduces possibility of rework later in lifecycle. Formal semantics provide confidence at gateway reviews, by providing independent, semantically accurate analyses. Provision of not just software or hardware assurance but system assurance;therefore, mission assurance. AADL modeling is applicable to real-time embedded software systems-the types of systems NASA builds. This research is directly applicable to NASA missions. AADL models offer a way to make better decisions on system architectures especially during development phase (SMAP mission-architectural decisions made during the early design impact) and as a result risk is reduced. Examples of ground and flight systems architectures applicable to NASA missions will be shown including SMAP and Juno missions. For the Critical Design Review (CDR) of the JPL SMAP mission, the AADL team updated the AADL model to reflect the nontrivial re-architecture of the SMAP flight software and avionics hardware. In the process, we completed the Information Flow model and performed Data Latenc
In this paper we present a novel model driven approach for system validation. In the proposed methodology the system usage data is modeled as state transition diagrams using Markov modulated Markov process. Further, t...
详细信息
ISBN:
(纸本)9781467307499
In this paper we present a novel model driven approach for system validation. In the proposed methodology the system usage data is modeled as state transition diagrams using Markov modulated Markov process. Further, thus created systemmodels are used for test plan generation which comprises of two steps 1) Test Sequence Generation 2) Test Sequence Prioritization. A simulation based case study is presented to demonstrate the effectiveness of the proposed methodology in identifying a set of test sequences offering high coverage factor for a given number of test sequences.
暂无评论