[aadl]: dependability

[Julien Delange]

Hello,

You can have an example with the ARP4761 model we did some months ago. We have added a page on the wiki that details how to capture safety and dependability information in the model and certification materials (FTA/FHA) from the models.
You can see the example on https://wiki.sei.cmu.edu/aadl/index.php/ARP4761_-_Wheel_Brake_System_%28WBS%29_Example

Julien.


From: sae-aadl-users-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu [mailto:sae-aadl-users-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Mohsen Fazelinia
Sent: Friday, June 27, 2014 3:35 AM
To: sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: dependability

Hi
I want simulate and model a several system and analyze the dependability of them. So, I should define the property set for subsystem. I want a video example (or text example step by step) to show steps of this work from start to end. Can you help me? A simple example is if there is good.
Thank you so much
-------------- next part --------------
HTML attachment scrubbed and removed