Changes between Version 53 and Version 54 of AADL


Ignore:
Timestamp:
04/23/16 08:02:37 (10 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v53 v54  
    5454
    5555=== Fight Deck Door ===
    56  * [http://www.ellidiss.fr/public/wiki/attachment/wiki/WikiStart/AADL_inspector_FlightDeckDoor.mp4 Demonstration video]
     56 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/AADL_inspector_FlightDeckDoor.mp4 Demonstration video]
    5757
    5858=== Pacemaker ===
    59  * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/Pacemaker.pdf Design documentation]
    60  * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/Pacemaker.aadl AADL source code]
    61  * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/PacemakerTests.pdf Validation documentation]
     59 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/Pacemaker.pdf Design documentation]
     60 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/Pacemaker.aadl AADL source code]
     61 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/PacemakerTests.pdf Validation documentation]
    6262
    6363[[BR]] [wiki:AADL#AADL Back to the top of the page].