[sae-aadl] major update to AADL Wiki

[Peter Feiler]

Dear all,

I recently had collected references to AADL related work and was blown away by the number of papers and articles I found.
I have put the material on the AADL Wiki (https://wiki.sei.cmu.edu/aadl).

The primary citations are in https://wiki.sei.cmu.edu/aadl/index.php/Publications_arranged_by_year.

I know the list in far from complete and is biased by what my group is aware of.

I see this as a community activity to make people aware of the increasing momentum that is building around AADL as a platform for serious software-reliant system analysis and validation.

If you have information that is missing you can update the Wiki yourself. If you do not have an account yet please contact Lutz or me.  You can also send us the information to put up.

We are also looking for mini summaries or keywords on the papers - to help in the search. We are also planning on adding pages according to technical themes - volunteers are welcome.  We also are getting an increasing number of theses that deal with AADL. I have started to list some under publications by year.

Thanks

Peter Feiler
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.sei.cmu.edu/mailman/private/sae-aadl/attachments/20100222/debf7a91/attachment.htm