Software
quality starts with modeling guidelines
Model-Checker?
One solution. The model-based development, regardless of the used modeling
language, brings adavantages, as well as risks. Non-compliance of guidelines in
the course of modeling can cause inefficient interpretation of functions, up to
false software in the embedded system. When using models as specification in
the collaborative engineering-process, they are not always clear and
consistent, because the developing tools and modeling tools allow a high level
of creativity. Additionally, there are dependencies to other tools in
collaborative processes (documentantion of requirements, architecture-designs, code-compiler), that are not necessarily obvious or viewable to the modeler.
Furthermore, specifications could be implemented incorrectly in the computer
and – if at all - detected late in the vehicle.
Different
models? One solution. Today, quality-checks and automated design-reviews
are run localized, if necessary, and semi-automated in the several
tools/applications via Batch-scripts in each proprietary programming language
of the tool-producer. For some modeling languages, no solution was available –
until now!
Model-check,
auto-correction or model-evaluation for
- ASCET-MD - models
- CATIA - models
- UML / SysML - models
- MATLAB/Simulink/Stateflow - models
- Statemate - models
-
Visio-charts
- as well as many more...
Automated
compliance of modeling guidelines according to
- MISRA
- MAAB
- AUTOSAR
- OMG
- ODX (ASAM)
- KBL (HIS)
- VDA
You have a
goal - we have the executable IT-solution. Match Technologies creates
practicable software-solutions for norms, guidelines, models and tools
in order to check and assess your engineering-data, following defined guidelines.
By that, the consistency and traceability of your data is assured. In the
course of that, cross-platform solutions are created, which can have various
fields of application. Our solutions can easily be adapted to your aims and
demands, as well as instantly applied.