Hard real-time systems modeling and simulation

Usually, hard real-time systems offer a special kind of complexity raised out by time restrictions. They are difficult to develop using the traditional methods used in the software engineering field. Instead, two new different kinds of tools must be used: models simulation (that allow to study the system behavior and its architecture and structure) and analysis tools (in order to ensure temporal requirements fulfillment). This document describes the coordinated usage of both solutions. A set of tools used for the automatic generation of temporal requirements analysis and simulation behavior of engineering models is also presented.