1 / 12

CPSC 871

CPSC 871. John D. McGregor Module 4 Session 2 More Error Analysis. AADL Annexes. An annex is an addition to the AADL standard but without being an integral part of the standard. Error, behavior, data modeling, code generation annexes CMU/SEI-2007-TN-043. Example Error model.

lavender
Télécharger la présentation

CPSC 871

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CPSC 871 John D. McGregor Module 4 Session 2 More Error Analysis

  2. AADL Annexes • An annex is an addition to the AADL standard but without being an integral part of the standard. • Error, behavior, data modeling, code generation annexes • CMU/SEI-2007-TN-043

  3. Example Error model error model Example1 features ErrorFree: initial error state; Failed: error state; Fail, Repair: error event; CorruptedData: out error propagation {Occurrence => fixed 0.8}; end Example1; error model implementation Example1.basic transitions ErrorFree-[Fail]->Failed; Failed-[out CorruptedData]->Failed; Failed-[Repair]->ErrorFree; properties Occurrence => poisson 1.0e-3 applies to Fault; Occurrence => poisson 1.0e-4 applies to Repair; end Example1.basic;

  4. Use of an error model package My_ErrorModels public annex Error_Model {** error model Example1 … end Example1; error model implementation Example1.basic … end Example1.basic; error model Example2 … end Example2; error model implementation Example1.basic … end Example2.basic; **}; end My_ErrorModels;

  5. Error model

  6. Full error model

  7. Generic software model

  8. AADL Error Model

  9. AADL Error Model -2

  10. Building the error model helps you think through what the system’s response should be to every kind of fault.

  11. Propagation • Transition: trigger/guard/action Action: message from one object to another

More Related