Automatic Code Generation from Real-Time Systems Specifications

We address the problem of rapid development of complex real-time task-sets through a Model Driven Development (MDD) approach. The task-set is specified according to the graphic formalism of timeline schemas and it is translated into C-code that implements the dynamic architecture of the task-set on top of Linux-RTAI operating system. The transformation is performed through an engine obtained as an instance of a new model-transformation framework based on Java and eXtensible Stylesheet Language Transformations (XSLT) called JComposer. This is designed according to a flexible architecture that enables agile evolution of specification formalisms and target artifacts employed along the development process.