Home > Products > Modeling > On-line demonstration << Previous - Next >>

Semi-formal modeling demo


Start demo

Semi-formal modeling is suited to graphically design your system and generate efficient and legible code for your target system.

This demo goes through the development process of a simple system from specification down to debug on target of a system. It includes UML, SDL-RT, and C/C++ aspects for the following areas:

  • requirements,
  • object oriented analysis,
  • system architecture,
  • detailed behavior,
  • code generation,
  • 3 levels of debug,
  • graphical traces,
  • conformance with the requirements.


Full formal modeling demo

sdl z.100

Start demo

Full formal modeling is suited for graphical specification and simulation.

This demo goes through requirements and executable specification of an access control system. It covers the following areas :

  • integration with version control tools,
  • requirements,
  • architecture,
  • behavior,
  • simulation,
  • prototyping,
  • documentation.

European Space Agency TASTE demonstration


Start demo

The TASTE tool-set results from spin-off studies of the ASSERT project, which started in 2004 with the objective to propose innovative and pragmatic solutions to develop real-time software. One of the primary targets was satellite flight software, but it appeared quickly that their characteristics were shared among various embedded systems.

The solutions that the European Space Agency developed now comprise a process and several tools ; the development process is based on the idea that real-time, embedded systems are heterogeneous by nature and that a unique UML-like language was not helping neither their construction, nor their validation. Rather than inventing yet another “ultimate” language, TASTE makes the link between existing and mature technologies such as Simulink, SDL, ASN.1, C, Ada, and generates complete, homogeneous software-based systems that one can straightforwardly download and execute on a physical target. The current prototype is moving toward a marketed product, and studies are already in place to support, among others, FPGA systems. [read full paper]

Based on a simple cruise control system, this on-line demonstration will show how to go through the whole TASTE process.