[aadl]: AADL Vs SCADE

[Lewis, Bruce CIV (US)]

Jerome,

Thanks for sending this link.  I recommend everyone take a look at it to see what has been accomplished in the development of an aviation health monitoring system, the automation of code generation for 653 using commercial O/Ss, and the integration of SCADE.

Bruce

-----Original Message-----
From: sae-aadl-users-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.edu [mailto:sae-aadl-users-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.edu] On Behalf Of Jérôme Hugues
Sent: Monday, August 03, 2015 8:33 AM
To: Boydston, Alex K CIV (US)
Cc: sae-aadl-users at lists.sei.cmu.edu
Subject: Re: [aadl]: AADL Vs SCADE

Hi, 

Please review this blog post from SEI: http://blog.sei.cmu.edu/post.cfm/aadl-code-generation-avionics-systems-173 <blockedhttp://blog.sei.cmu.edu/post.cfm/aadl-code-generation-avionics-systems-173> 

It illustrates how to use AADL and the OSATE and Ocarina tools to generate code for avionics systems. It particularly shows how to combine kcg from SCADE (for the functional part) and AADL for the architectural part of the software

Regards,

Le 3 août 2015 à 15:01, Boydston, Alex K CIV (US) <alex.k.boydston.civ at mail.mil> a écrit :


	Mohsen,
	I think that is being considered under the AVSI SAVI effort. Perhaps Tony Karem of Esterel (SCADE) can answer if he is on this email thread.
	
	Alex
	 
	
	From: Mohsen Fazelinia [mailto:ftandis at gmail.com <blockedmailto:ftandis at gmail.com> ] 
	Sent: Monday, August 03, 2015 01:08 AM
	To: sae-aadl-users at lists.sei.cmu.edu <sae-aadl-users at lists.sei.cmu.edu> 
	Subject: [aadl]: AADL Vs SCADE 
	 
	
	Hi
	
	Do AADL language ( or OSATE2 software code) can be used with SCADE? 
	
	thanks
	
	Mohsen
	


-
Jerome HUGUES
Enseignant-Chercheur/Associate Professor Ingénierie des Systèmes Embarqués/Embedded Systems Engineering


ISAE SUPAERO - Institut Supérieur de l'Aéronautique et de l'Espace
10 avenue Edouard Belin - BP 54032 - 31055 TOULOUSE CEDEX 4 FRANCE - http://www.isae-supaero.fr <blockedhttp://www.isae-supaero.fr/>  
Tel (+33) 5 61 33 89 84 - Fax (+33) 5 61 33 83 30
Plan d'accès/Access map <blockedhttp://plan.univ-toulouse.fr/#783>