[aadl]: AADL Vs SCADE

[Jérôme Hugues]

Hi,

Please review this blog post from SEI: http://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] 
> 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 
Tel (+33) 5 61 33 89 84 - Fax (+33) 5 61 33 83 30
Plan d'accès/Access map

-------------- next part --------------
HTML attachment scrubbed and removed