Executive summary

This document started out as a deliverable of the ASSERT Project. In that project, Semantix Information Technologies was responsible for the development of the Data Modeling Technology; an important ASSERT component which allowed the utilization of many modeling tools and languages during the construction of a complete system.

The chapters that follow provide a complete description of both the why and the how of the Data Modeling technology. Starting from the requirements of the construction process, the design and hands-on usage of Semantix's toolchain are then presented (for Windows, Linux and the space-oriented embedded platforms with Leon). The content is presented as follows:
\begin{inparaenum}[\itshape a\upshape )]
\item First, the overall process that m...
...ils of individual backends
are also included in the Appendixes.
\end{inparaenum}

In conclusion, the work described here is providing a language- and modeling tool-neutral way of communication between subsystems, which utilizes established standards (ASN.1/AADL) and has culminated in demonstratable, automatically-built systems.