Jérôme Hugues

SPARK/Ada

HUGUES Jerome — 2010-12-07T14:42:31Z

I recently started some activities to explore the use of SPARK/Ada to implement model processors. The first initial step is the design and implementation of an ISO/IEC 14977 EBNF parser in SPARK.

The code of this parser is available under the GMGPL licence. It is compatible with SPARK GPL 2010, with annotations to ensure there is no potential run-time errors in both the parser and pretty printer, and intermediate layers of the implementation.

AADL

HUGUES Jerome — 2010-12-07T14:35:03Z

I'm a member of the SAE AS2-C committee on the AADL language. I contributed as a reviewer to the AADLv2 core standard documents, the ARINC653 and Behavior annex documents. I'm also the main redactor of the Data modeling annex document.

I use AADLv2 for both teaching and research activities, and contributed the following documents :

AADL Cheat Sheet : a quick reference to the language in a4 format and US Letter format

Part of my contributions to the standard are also implemented in two toolchains :

Ocarina toolchain, a compiler for the AADL language and associated model processor (code generation, gateway to model checkers, scheduling analysis tools, etc).
TASTE project to transfer Ocarina technologies to the space domain, with the European Space Agency, Ellidiss Technologies and Semantix.

For more information on my involvement in the committee, please see the AADL Wiki

Edito

HUGUES Jerome — 2010-06-28T11:22:23Z

Sommaire

Position

Contact information

e-mail : jerome (dot) hugues (at) isae (dot) fr

Bureau :

F105 (Campus Jolimont) , Phone +33 (0) 5 61 33 91 84

05.167 (Campus Rangueil), Phone +33 (0) 5 61 33 80 92

Mail : Jérôme Hugues, DMIA, 10 avenue Edouard Belin - BP 54032 F-31055 Toulouse CEDEX 4

Publications

HUGUES Jerome — 2010-04-14T11:18:47Z

- Jérôme Hugues

Edito

Velociter admin — 2009-11-09T09:14:07Z

- Jérôme Hugues