 | A major contributor to this article appears to have a close connection with its subject. (May 2020) |
| Developer(s) | PragmaDev |
|---|---|
| Stable release | 5.5
|
| Operating system | Linux, Windows, macOS, Raspbian |
| Type | Software development, Conformance testing |
| License | Free and commercial |
| Website | pragmadev |
PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems.[1] It was initially called Real Time Developer Studio or RTDS.[1] Its primary objective was to support SDL-RT[2] modeling technology. Since V5.0 launched on October 7, 2015 RTDS is called PragmaDev Studio, and it is organized in four independent modules: Specifier, Developer, Tester and Tracer.[3] V5.1 launched on November 29, 2016 introduces a freemium licensing model.[4][5]
- ^ a b "Embedded Control Europ 2014 Yellow Pages" (PDF).
- ^ "Specification and Description Language - Real Time". www.sdl-rt.org. Retrieved 2018-03-17.
- ^ "PragmaDev Studio User Manual" (PDF). April 11, 2018.
- ^ "PragmaDev tools features and prices".
- ^ "PragmaDev Studio Installation Manual" (PDF).