Compiling graphical real-time specifications into silicon



AbstractThe basic algorithms underlying an automatic hardware synthesis environment using fully formal graphical requirements specifications as source language are outlined. The source language is real-time symbolic timing diagrams [FeyerabendJosko97], which are a metric-time temporal logic such that hard real-time constraints have to be dealt with.

While automata-theoretic methods based on translating the specification to a finite automaton and constructing a winning strategy in the resulting omega-regular game could in principle be used, and do indeed provide the core algorithm, complexity withstands practical application of these methods. Therefore, a compositional extension is explored, which yields modular synthesis of multi-component controllers. Based on this, a second extension is proposed for efficiently dealing with hard real-time constraints.
TypeConference paper [With referee]
ConferenceFormal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 98)
EditorsA. P. Ravn and H. Rischel
Year1998    Vol. 1486    pp. 272-281
PublisherSpringer Verlag
SeriesLecture Notes in Computer Science
Publication linkhttp://www.imm.dtu.dk/~mf/ftrtft98.ps.Z
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering