RAPID PROTOTYPING OF A TELEGEOMATIC APPLICATION
Charles André, Tullio Joseph Tanzi · 1999
This paper addresses the issue of validating solutions in safety- critical applications. It presents an enhanced safety management system for freeways, in which a synchronous model is used to express the system's behavior. This system can be compiled into an executable prototype allowing for extensive testing.