Bas Ploeger
(OAS Group)

Analysis of Embedded Copier Software

For my Master's project I have analyzed two parts of the embedded
software in printing/scanning/copying machines as they are developed
by Océ-Technologies B.V. in Venlo.
One part concerns software architecture at a high level,
the other concerns the control software of a mechanical part of the machine.
For these analyses the mCRL and CADP toolsets were used.

In this talk, I will explain the systems that were analyzed along
with some of the requirements that have been checked
and present the results of the verification process.