 Relations are useful as partial specifications and as specifications of non-deterministic devices (for instance a non-deterministic bus) or external processes (for instance an unsafe car driver).Using SIGNAL allows one to specify an application, to design an architecture, to refine detailed components down to RTOS or hardware description.The SIGNAL model supports a design methodology which goes from specification to implementation, from abstraction to concretization, from synchrony to asynchrony.