Name
Abstract | ||
|---|---|---|
Concurrent real-time systems are among the most difficult systems to design because of the many possible interleavings of events and because of the timing requirements that must be satisfied. We have developed a graphical environment based on Real-Time Graphical Interval Logic (RTGIL) for specifying and reasoning about the designs of concurrent real-time systems. Specifications in the logic have an intuitive graphical representation that resembles the timing diagrams drawn by software and hardware engineers, with real-time constraints that bound the durations of intervals. The syntax-directed editor of the RTGIL environment enables the user to compose and edit graphical formulas on a workstation display; the automated theorem prover mechanically checks the validity of proofs in the logic; and the database and proof manager tracks proof dependencies and allows formulas to be stored and retrieved. This article describes the logic, methodology, and tools that comprise the prototype RTGIL environment and illustrates the use of the environment with an example application. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1145/237432.237438 | ACM Trans. Softw. Eng. Methodol. |
Keywords | Field | DocType |
temporal logic,concurrent real-time system,proof dependency,intuitive graphical representation,real-time systems,graphical user interface,rtgil environment,real-time constraint,graphical formula,prototype rtgil environment,timing requirement,automated deduction,formal specification and verification,proof manager,graphical environment,concurrent systems,real time,satisfiability,graphic user interface,real time systems,theorem prover | Programming language,Interval temporal logic,Computer science,Automated theorem proving,Workstation,Theoretical computer science,Graphical user interface,Software,Mathematical proof,Temporal logic,Graphical user interface testing | Journal |
Volume | Issue | Citations |
6 | 1 | 35 |
PageRank | References | Authors |
1.71 | 34 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| l e moser | 1 | 2134 | 233.93 |
| Y. S. Ramakrishna | 2 | 534 | 45.81 |
| G. Kutty | 3 | 143 | 13.89 |
| P. M. Melliar-Smith | 4 | 2360 | 512.60 |
| L. K. Dillon | 5 | 136 | 13.31 |