[aadl]: AADL Behavior Annex example

[Pierre Dissaux]

Dear all,

Thanks to the requirements and test cases provided by Brian Larson, here is 
an example of use of the AADL Behavior Annex to model the control software 
of a pacemaker.

You can find attached:
- the design documentation produced by Stood
- the AADL source code generated by Stood
- the test report including the simulation traces generated by AADL 
Inspector for each test case

Best regards

Pierre Dissaux
Ellidiss Technologies
http://www.ellidiss.com 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Pacemaker.aadl
Type: application/octet-stream
Size: 8397 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20160418/b1e443e2/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Pacemaker.pdf
Type: application/pdf
Size: 658130 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20160418/b1e443e2/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PacemakerTests.pdf
Type: application/pdf
Size: 673556 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20160418/b1e443e2/attachment-0003.pdf>