Report
API - Static Analysis of Numerical Accuracy in SCADE®
Authored by Franck VEDRINE (CEA) and Xavier FORNARI (Esterel Technologies)
Abstract:
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.
XML aiT/stack Result file
Authored by AbsInt
Public interface for the generation of PsyC code
Authored by CEA
Abstract:
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. This transformation relies on a template that can be used in conjunction with any dataflow synchronous source language under certain hypotheses. Below we present these assumptions and the template.
Engineering Notes
Engineering Note - KCG XML storage format.
Authored by Bruno MARTIN (Esterel Technologies)
This document is the specification of the XML storage format for KCG
» Download the engineering Note «
Engineering Note - KCG mapping File format.
Authored by Franck VEDRINE (CEA) and Xavier FORNARI (Esterel Technologies)
This document is the specification of the KCG mapping file
» Download the engineering Note «
Specifications
XTC Language Specification
Authored by AbsInt
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 File «
XML Metadata Interchange (XMI®)
Abstract:
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. XMI provides a mapping from MOF to XML. As MOF and XML technology evolved, the XMI mapping is being updated to comply with the latest versions of these specifications. Updates to the XMI mapping have tracked these version changes in a manner consistent with the existing XMI Production of XML Schema specification (XMI Version 2).
