From Real-Time Timing Diagrams to Silicon: Compiling Real-Time Requirement Specifications

摘要

Formalized languages are now widely used to specify protocols for hardware-like systems. In this article we present tools which generate executable code from requirements that are expressed in a formalized graphical real-time specification language, the so-called Real Time Symbolic Timing Diagrams (or RTSTD, for short). The first set of tools automatically derives a prototype implementation of the specified component,which is correct by construction in respect to the specification. The second set of tools produces executable code, which can be used during testing to check whether the component under test satisfies or violates the requirements.