Improving the quality of embedded systems by formal design and systematic testing

Project code: CES.5008
Research group: Specification and Analysis of Embedded Systems (SEN2)

2000-08-01
End: 2004-07-31

Project coordinator : Prof.dr. W.J. Fokkink

Add-Controls design and produce embedded controllers for a large range of applications. They have experienced how difficult it is to deliver completely correct programs. The main aim of this PROGRESS project is to incorporate methods from the realm of system verification into the design phase of embedded controllers at Add-Controls.

Members

Prof.dr. W.J. Fokkink, Drs. J. Pang

• Jun Pang, Analysis of a Security Protocol in mCRL, In Proceedings of 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science 2495, pp. 396-400, Springer-Verlag, 2002
• J.F. Groote, J. Pang and A.G. Wouters, Analysis of a Distributed System for Lifting Trucks, Journal of Logic and Algebraic Programming, To appear, 2003

 Group reports

List of publications in CWI reports

Cooperation

Add-Controls
Nijverheidsweg Noord 86
3812 PN Amersfoort
(Ir Berto Wanschers)