|
|
|
|
|
SDL
PragmaDev's Real Time Developer Studio is a modeling tool for real time and embedded software. It is suited for any communicating systems or any application running on top of a Real-Time Operating System. It covers requirements, specification, prototyping, design, implementation, debug on target, and testing.
|
|
PragmaDev Company
Founded in 2001 and based in Paris France, PragmaDev is the leading provider of graphical software modelling tools based on SDL international standard with its Real Time Developer Studio set of tools. It targets all development teams working with a Real Time Operating System. It answers the developers needs in a market where 90% of the developments use no graphical tools.
Real Time Develope ... |
| |
|
|
Real Time Developer Studio
PragmaDev's Real Time Developer Studio is a modeling tool for real time and embedded software. It is suited for any communicating systems or any application running on top of a Real-Time Operating System. It covers requirements, specification, prototyping, design, implementation, debug on target, and testing.
Its main benefits are:
* Increased quality by a ratio of 5,
|
| |
|
|
MSC Tracer
PragmaDev MSC tracer is a graphical tracing tool based on international standards. It allows to trace on-line or off-line your target behavior with a standard graphical representation.
The MSC Tracer can run with an Real Time Developer Studio license or a cheap dedicated MSC Tracer license. A free MSC Tracer version is also available that runs without any license in which the diag ... |
| |
|
|
Project manager
The Project manager is the hub of the tool. It gathers all the files part of the project and makes the link with the editors, the simulator, the code generator, and the model debugger. Each file type has its own graphical representation; the copy-paste support and the package concept allow to freely organize them to improve readability. The Project manager also supports user-defined external file ... |
| |
|
|
Requirements
Requirements are the starting point of any project and is very often neglected because it is not formally expressed. Model driven development introduces high level diagrams such as Use cases and Sequence diagrams to help formalize the requirements written in natural language. These diagrams can be later re-used in the development process in order to check conformance to the requirements.
A ... |
| |
|
|
Simulation
Formal and semi-formal models can be simulated to verify them. Semi-formal models simulation will use code generation to be executed on the host platform, and formal models will use the built-in simulation kernel.
* Semi-formal simulation is based on the selected target simulator semantic that can be a RTOS simulator or a processor simulator (ISS).
* For ... |
| |
|
|
|
|
