[aadl]: Model examples, remote meetings and discussion mailing-list

[Julien Delange]

Dear AADL users,

We have published several model examples on our github repository. We think this might be useful for using some specific AADL constructs and language extensions (like the new Error-Model Annex). These models are also good examples to use and test the analysis and validation plugins from OSATE. You will find the models on https://github.com/osate/examples . We hope that will be useful for your projects.

We would like to organize remote AADL meeting to discuss the use of the language among developers and users. The idea is to share good modeling practice and how engineers use the language for their own project during small meeting (likely 1 hour). This can be a good way to get some help for using AADL or also provide feedback that would be useful to enhance the tools. Next meeting is on April, 11 at 10:00am EDT. If you would like to join the meeting and have more information, please read the following wiki page: https://wiki.sei.cmu.edu/aadl/index.php/AADL_remote_meetings

Finally, we also started a new mailing-list for discussion related to AADL modeling among users. The intent is to restrict this mailing-list to AADL practitioners and let it open for posting and new discussions. You are welcome to join the list and post to ask any question regarding the use of the language or its associated tools. For more information to join the list, please visit https://lists.sei.cmu.edu/mailman/listinfo/aadl-modeling

Thanks and we hope to see you at the next AADL meeting in Jacksonville,

Best regards,
-------------- next part --------------
HTML attachment scrubbed and removed