Home > Technology > Overview


International standards

PragmaDev uses recognized international standards in its tools.
ITU-T Z.100 Specification and Description Language. Initially designed to describe telecommunication protocols SDL actually fits any communicating system and has been used in a lot of different areas such avionics, space, automotive...
ITU-T Z.160 series Testing and Test Control Notation. TTCN-3 is the ideal technology to write test cases for conformance to a standard. Initially used in the telecommunication area by European Telecommunication Standardisation Institute, TTCN-3 is also used by the Automative industry to produce Autosar conformance test cases.
Specification and Description Language Real Time. As a variant of SDL, SDL-RT replaces the action language in the model by C/C++ code. The model is therefore very close to the final code and is ideal for real time developers. ITU-T has published in its Z.104 recommandation a standard way of integrating C in SDL models.
Unified Modeling Language. Standardized by the Object Management Group UML has been widely adopted but suffers from the start by a lack of precision. UML models can be interpreted very differently and for that reason are mostly used as a non executable high level model for documentation. The standardized UML profile based on SDL Z.109 addresses this weakness and combines the best of both worlds.

Different levels of modeling in one tool

PragmaDev Studio offers different levels of modelling within the same tool: informal, semi-formal, and fully formal modeling. While informal modeling is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, and test of the model.

V cycle Different levels of modeling

PragmaDev Studio supports a testing language that has the same level of abstraction than your model. It is therefore possible to test an informal model as well as an implementation on target, and to cover all phases in the development cycle.

V cycle