| |
A precise model of your system
Our technology allows you to build up a precise model of your software. There are quite some modeling
technologies on the market and each one addresses a specific aspect in the development process.
A good model should be abstract but not too much. A model that is too abstract is merely documentation, and a model that is too precise is code.
In any case we work on international well known standards in order to secure your investment.
Please note international bodies such as the European Space Agency work on frameworks gathering several modeling technologies.
|
|
3 levels of modeling in one tool
PragmaDev Real Time Developer Studio offers three 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.
PragmaDev Real Time Developer Studio also supports a testing language that has the same level of abstraction than your model.
That allows our tool to cover all phases in the development cycle.
|
|
