 |
|
|||
| Authors: | Karsten Strehl, Lothar Thiele |
| Group: | Computer Engineering |
| Type: | Inproceedings |
| Title: | Interval Diagram Techniques and Their Applications |
| Year: | 1999 |
| Month: | May |
| Pub-Key: | ST99b |
| Book Titel: | Proceedings of the 8th International Workshop on Post-Binary ULSI Systems |
| Pages: | 23-24 |
| Keywords: | SMC IDD |
| Abstract: | Interval diagram techniques have been applied successfully to symbolic formal verification of process networks, Petri nets, and timed automata, outperforming conventional approaches and avoiding some of their drawbacks. Our approach is based on a novel, efficient form of representation for multi-valued functions called interval decision diagram (IDD) and the corresponding image computation technique using interval mapping diagrams (IMDs). Besides formal verification, interval diagram techniques may be used to perform symbolic scheduling of heterogeneous embedded systems. IDDs and IMDs are introduced, their properties are described, and the above applications are sketched. |
| Remarks: | Proceedings of the 8th International Workshop on Post-Binary ULSI Systems, Freiburg im Breisgau, Germany, invited paper, pages 23-24, May 19, 1999 |
| Location: | Freiburg im Breisgau, Germany |
| Resources: | [BibTeX] [Paper as PDF] |
