See this document in CiteSeerX!

Visual Temporal Logic as  (Make Corrections)  
a Rapid Prototyping Tool Martin Franzle Karsten Luth Carl von Ossietzky...



  Home/Search   Context   Related

 
View or download:
ca.Informatik.UniOlde...fraenzle01a.ps
Cached:  PS.gz  PS   PDF  Image  Update  Help

From:  ca.Informatik.UniOldenburg.DE... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Within this survey article, we explain real-time symbolic timing diagrams and the ICOS tool-box supporting timing-diagram-based requirements capture and rapid prototyping. Real-time symbolic timing diagrams are a full-fledged metric-time temporal logic, but with a graphical syntax reminiscent of the informal timing diagrams widely used in electrical engineering. ICOS integrates a variety of tools, ranging from graphical specification editors over tautology checking and counterexample ... (Update)

Similar documents (at the sentence level):
42.2%:   Visual Temporal Logic as a Rapid Prototyping Tool - Fränzle, Lüth (2001)   (Correct)
21.1%:   Compiling Graphical Real-Time Specifications into Silicon - Fränzle, Lüth (1998)   (Correct)

Active bibliography (related documents):   More   All
0.2:   A Graphic Language Based on Timing Diagrams - Antoine, Le Goff, Pin   (Correct)
0.2:   Specification, Simulation, and Verification of Timing Behavior - Amon (1993)   (Correct)
0.1:   The EVENTS Approach to Rapid Prototyping for.. - Lüth.. (1997)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ tool-visual,
  author = "Rapid Prototyping Tool",
  title = "Visual Temporal Logic as",
  url = "citeseer.ist.psu.edu/762718.html" }
Citations (may not include all citations):
374   Automata on infinite objects (context) - Thomas - 1990
64   Formal Development of Reactive Systems: Case Study Productio.. (context) - Lewerentz, Lindner - 1995
18   A visual formalism for real time requirement specification - Feyerabend, Josko - 1997
10   System-Level Synthesewerkzeuge: Von der Theorie zur Anwendun.. (context) - Korf - 1997
8   The ICOS synthesis environment - Luth - 1998
5   StimuluResponse System based Hierarchical Timing Diagram (context) - Czerny, System et al. - 1991
3   Flat Fragments of CTL and CTL (context) - Dams - 1999

Documents on the same site (http://ca.Informatik.Uni-Oldenburg.DE/publications/):   More
Constructing Test Automata from Graphical Real-Time Requirements - Dierks, Lettrari   (Correct)
The ICOS Synthesis Environment - Lüth   (Correct)
Take it NP-easy: Bounded Model Construction for Duration Calculus - Fränzle (2002)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC