| GMARC Version 5.05 |
Behaviour Modelling and Animation. |
|
|
The most powerful version by far. This version of GMARC adds dynamic behavioural modelling capabilty to the static modelling capability of Version 5.04. Textual descriptions are automatically translated into animatable graphical form and vice versa. With the extensive facilities which it provides in support of multi-level Application Modelling, Animation, Dynamic Behaviour Analysis, Fast Time Statistical Testing and Synthetic Environment Generation facilities, GMARC Version 5.05 is second to none for the specification of any kind of system. The use of facilities of this kind enables truly enormous cost savings to be affected during subsequent real system testing. |
Capabilities Include:
- Dynamic behaviour modelling.
- Correctness proving.
- Structural integrity development.
- Mode exercising and test schedule development.
- 'What if' exercises.
- Emergent Properties Analysis
|
Facilities Include:
- Boolean logic with unlimited nesting.
- Powerful event handling functions.
- Stochastic signal generators.
- Probability based event handling.
- Model monitoring & instrumentation.
- Synthetic environments.
|
|
|
|
| Contact CSA for a quotation. |
|
|
|
|
