Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • 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:

  1. Set pre-conditions

  2. Trigger a transaction

  3. 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

...