...
A previous successful platform integration (DEVICE realization) validated from unit tests vectors execution
A first L2 qualification demonstrating that the system is mature enough to start L3 development (i.e. a full L2 TA is not required to start as long as significant use cases can be executed)
Agnos programmation paridigm is systematic:
Set pre-conditions
Trigger a transaction
Get post-conditions
Agnos provides a rich API. The following gives some hints to built from scratch a first application integrating Agnos.
| Table of Contents |
|---|
Set pre-conditions
System Initialization
...