A partial implementation of the system, built to demonstrate selected system functions and properties, in particular those satisfying non-functional requirements.