|
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 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.
|
On-line evaluation
Get your hands on the tool within seconds without any installation (Windows only with updated Java library) !
Once RTDS is started, we suggest you do the following :
- Go to File / Open Project... menu,
- Go to the upper directory and down to examples / SDL / AccessControl,
- Open the AccessControl project,
- Select the AccessControl System,
- Click on the Debug quick button,
- Once the Simulator is started,
- Start an MSC Trace,
- Start the Prototyping GUI,
- Select Option / Timers / Real time timers,
- Press the run quick button,
- And play around with the system (Admin code is "007" in order to register new users).
A full tutorial is available here but please note this on-line demo does not contain any of the RTOS profiles or C compiler required to generate code and debug.
|
