Trainings
Training Plan
Final Training Plan
Training ITBC 01 - Esterel Technologies and Atego
Interfaces used on ITBC 01
Engineering Note - KCG XML storage format..
This document is the specification of the XML storage format for KCG
Download the engineering Note
Training ITBC 02 - Esterel Technologies and CEA
Interfaces used on ITBC 02
Engineering Note - KCG XML storage format..
This document is the specification of the XML storage format for KCG
Download the engineering Note
Specification - XML Metadata Interchange (XMI®)
XMI is a model driven XML Integration framework for defining, interchanging, manipulating and integrating XML data and objects. XMI-based standards are in use for integrating tools, repositories, applications and data warehouses. XMI provides rules by which a schema can be generated for any valid XMI-transmissible MOF-based metamodel.
Download the specification
Training ITBC 03 - Esterel Technologies and TTTech
Training ITBC 04 - Esterel Technologies and SYSGO (Ada)
Training ITBC 04 - Esterel Technologies and SYSGO (PikeOS)
Training ITBC 05 - Esterel Technologies and CEA List
Interfaces used on ITBC 05
Engineering Note - KCG mapping file format.
This document is the specification of the KCG mapping file
Download the engineering Note
Training ITBC 06 - Esterel Technologies and CEA List
Interfaces used on ITBC 06
Engineering Note - KCG mapping file format.
This document is the specification of the KCG mapping file
Download the engineering Note
API - Static Analysis of Numerical Accuracy in SCADE®
This document describes the Application Programming Interface (API), used to launch a static
analysis based on the Abstract Interpretation framework and targeted to bound the numerical
errors - rounding errors and numerical noise. This API exports some Abstract Interpretation
facilities like precise ranges for the numerical domains and for the numerical errors or like the
evolution graphs. The API is defined in the C language for portability reasons - different
operating systems, different compilers.
Download the Report
Public interface for the generation of PsyC code
In the ITBC 5 of the INTERESTED project, a transformation has been developed from Scade models to PsyC language used to develop applications for execution on the OASIS real-time safety-critical platform.
Download the Report
Training ITBC 07 - Atego and SYSGO AG
Training ITBC 09 - CEA LIST Papyrus and Evidence RT-Druid
Training ITBC 10 - AbsInt and Esterel Technologies
Interfaces used on ITBC 10
Engineering Note - KCG mapping file format.
This document is the specification of the KCG mapping file
Download the engineering Note
Specification - XTC Language Specification
This specification defines the XML Timing Cookie (XTC) Language, the interchange format
used initially in the Interest project and now updated in the Interested project. This specification
defines XTC 2.0.
Download the Specification
Report - XML aiT/stack Result file
Download the Report
