Hello Richi,

we use Doxygen to document the software design. Maybe you can write your high-level description with it. This way it is integrated already integrated in the sources. You can use @dot for graphs and @msc for message sequences.

I would document the data structures and the invariants of the data structures. I would also try to write code which checks that the invariants are satisfied. This can be used in _Assert() and RTEMS_DEBUG blocks.

I would also write test cases. You can already run the test cases with:

https://docs.rtems.org/branches/master/c-user/scheduling_concepts.html#arbitrary-processor-affinity-priority-smp-scheduler

There should be test cases which would fail with the Linux push and pull scheduler.

You should identify the key scheduler operations (e.g. block and unblock) and write a high level description of the algorithms used for these operations in some sort of pseudo code.

--
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.hu...@embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
_______________________________________________
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users

Reply via email to