Senter Project 'ORKEST'

Onderzoek naar de Randvoorwaarden voor de Konstruktie van Embedded SysTemen.

The objective of this project is to improve the reliability of complex interactive systems by giving a methodology to describe the interaction between systems and operators in a formal way.

Researchers:

A. Visser, L.O.H. Hertzberger

Cooperations:

Hollandse Signaalapparaten B.V., Technical University Eindhoven, University of Amsterdam, University of Groningen