OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Delange, Julien"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Hugues, Jérôme and Delange, Julien. Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL. (2017) In: Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. Springer, pp. 33-52. ISBN 978-981-10-4436-6

Hugues, Jérôme and Delange, Julien. Model-Based Design, Automated Code Generation and Safety Analysis of ARINC653 Architectures using the AADL. (2016) In: Forum Méthodes Formelles - FMF6 : Méthodes formelles et Sûreté de fonctionnement, 26 January 2016 (Toulouse, France). (Unpublished)

Hugues, Jérôme and Delange, Julien. Model-Based Design and Automated Validation of ARINC653 Architectures. (2015) In: Proceedings of IEEE International Symposium on Rapid System Prototyping (RSP), 8 October 2015 - 9 October 2015 (Amsterdam, Netherlands).

Hugues, Jérôme and Delange, Julien. AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. (2015) In: 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 27 September 2015 - 2 October 2015 (Ottawa, Canada). (Unpublished)

Hugues, Jérôme and Delange, Julien. Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study. (2015) In: Proceedings of SAE Aerotech 2015, 22 September 2015 - 24 September 2015 (Seattle, United States).

Delange, Julien and Hugues, Jérôme and Dissaux, Pierre. Validate implementation correctness using simulation: the TASTE approach. (2012) In: ERTS2 2012 (Embedded Real Time Software and Systems), 01-03 Feb 2012, Toulouse .

Perrotin, Maxime and Delange, Julien and Hugues, Jérôme. Concrete aerospace systems. (2011) In: Distributed Systems: Design and Algorithms. Wiley-ISTE, pp. 191-227. ISBN 978-1-84821-250-3

Delange, Julien and Hugues, Jérôme. Incremental modeling and validation of space mission using AADLv2. (2011) In: SAE 2011 AeroTech Congress & Exhibition, 18 October 2011 - 21 October 2011 (Toulouse, France).

Raghav, Gopal and Gopalswamy, Swaminathan and Radhakrishnan, Karthikeyan and Hugues, Jérôme and Delange, Julien. Model based code generation for distributed embedded systems. (2010) In: European Congress on Embedded Real-Time Software (ERTS 2010), 19-21 May 2010, Toulouse, France .

Delange, Julien and Hugues, Jérôme and Pautet, Laurent and De Niz, Diosisio. A MDE-based process for the design, implementation and validation of safety critical systems. (2010) In: Proceedings of the 5th UML AADL Workshop - UML AADL 2010, 24 March 2010, Oxford, United Kingdom .

This list was generated on Wed May 23 18:46:39 2018 CEST.