[aadl]: Book on SysML/MARTE/AADL

[Jérôme Hugues]

Dear all,

I'm pleased to announce the availability of a new book covering  SysML, UML/MARTE and AADL
	http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1848215002.html

This book presents how a common case study (Pacemaker specifications from the pacemaker challenge -- http://sqrl.mcmaster.ca/pacemaker.htm) can be modeled and analyzed using SysML, UML/MARTE and AADL. It is a joint effort of the french MDE community to compare the different approaches. For each formalism, we propose an introduction to the notation, and then how to model, analyze and generate code from these specifications. Analysis focuses on model checking of the system.

Hence, interested readers can build their own opinion on the value of each approach.

Regards,

--
Jérôme Hugues, ISAE/DMIA
Jerome.HUGUES at isae.fr - (+33) 5 61 33 91 84

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Hugues J?r?me.vcf
Type: text/directory
Size: 437 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20130502/f26d7331/attachment.bin>
-------------- next part --------------