|
Correctness and run-time efficiency are central
properties of communication protocols. In order to
achieve correctness, the use of formal techniques
to obtain precise specifications as the foundation
for subsequent development steps is necessary. In
order to conserve the achieved correctness, the
formal specification should then serve as input
for the (semi-)automatic code generation. However,
existing code generators have the reputation
of producing inefficient code. Goal of this
project, which has started on May 1st, 1996 and
is planned for a period of 4 years, is to provide
evidence that - contrary to that reputation -
it is feasible to automatically generate code
that can compete with hand-coded implementations
w.r.t. run-time efficiency. The project focusses
on the internationally standardized formal
techniques Estelle and SDL, and on the eXpress
Transport Protocol (XTP) Version 4.0.
|
![[logo of the networked systems group]](/en/images/vs.gif)
