| 68 | | |
| 69 | | From here you can: |
| 70 | | |
| 71 | | * look at the [wiki:news]. |
| 72 | | * have a short presentation of the company [wiki:#Frenchversion in French] and [wiki:#Englishversion in English]. |
| 73 | | * get information about our [wiki:#Products products]. |
| 74 | | * find the location of our [wiki:#Ouroffices office]. |
| 75 | | * get access to the [wiki:projects] area (requires authorized login). |
| 76 | | * download the [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/ETBrochure3.pdf company brochure]. |
| 77 | | * run [wiki:#aadlexamples demos] and [wiki:#onlinetutorials tutorials]. |
| 78 | | * view the [http://ellidiss.fr/env3/wiki/wiki/aadl/parser LMP prolog facts base for AADL] (use lmp as user name). |
| 79 | | |
| 80 | | == AADL Examples == |
| 81 | | [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/WikiStart/AADL_inspector_FlightDeckDoor.mp4 Flight Deck Door demo][[BR]] |
| 82 | | [wiki:AADL#pacemaker Pacemaker design and validation by simulation] |
| 83 | | |
| 84 | | == Online Tutorials == |
| 85 | | [http://aadl-inspector.ellidiss.fr/Section1_viewlet_swf.html AADL Inspector tutorial part 1][[BR]] |
| 86 | | [http://aadl-inspector.ellidiss.fr/Section2_viewlet_swf.html AADL Inspector tutorial part 2][[BR]] |
| 87 | | [http://aadl-inspector.ellidiss.fr/Section3_viewlet_swf.html AADL Inspector tutorial part 3][[BR]] |
| 88 | | [http://stood.ellidiss.fr/AADL_tutorial1_viewlet_swf.html AADL graphical modelling with Stood][[BR]] |
| 89 | | [http://stood.ellidiss.fr/HOOD_tutorial1_viewlet_swf.html HOOD software design with Stood][[BR]] |
| 90 | | |
