CONCLUSIONS
CONCLUSIONS
The PSS-05 standard can be adapted for the hardware and system design.
The documents, which are used by the end-users and other development teams,
shall be prepared with a formalised way.
No formal methods are needed for the preparation of those documents which are
used internaly by the development team only.
The protocol simulation helps to identify the protocol problems and the inexact
definitions in the interface specification.
from the preparation phase of the project