A Graphical Environment for the Design of Concurrent Real-Time Systems

@article{Moser1997AGE,
  title={A Graphical Environment for the Design of Concurrent Real-Time Systems},
  author={Louise E. Moser and Y. S. Ramakrishna and George Kutty and P. M. Melliar-Smith and Laura K. Dillon},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={1997},
  volume={6},
  pages={31-79}
}
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… CONTINUE READING
Highly Cited
This paper has 85 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 33 extracted citations

A study on user-friendly formal specification languages for requirements formalization

2016 IEEE 14th International Conference on Industrial Informatics (INDIN) • 2016
View 4 Excerpts
Highly Influenced

Automated deductive requirements analysis of critical systems

ACM Trans. Softw. Eng. Methodol. • 2001
View 4 Excerpts
Highly Influenced

PIL — an Interval Temporal Logic for Real-Time Requirements in embedded Systems

Frank Lattemann Daimler-Benz, Frank. Lattemann
1998
View 4 Excerpts
Highly Influenced

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain

2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) • 2016
View 13 Excerpts
Highly Influenced

Real-time specification patterns

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. • 2005
View 5 Excerpts
Highly Influenced

A formal design notation for real-time systems

ACM Trans. Softw. Eng. Methodol. • 2002
View 5 Excerpts
Highly Influenced

A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) • 2017
View 2 Excerpts

Formal verification of user-level real-time property patterns

2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) • 2017
View 3 Excerpts

85 Citations

051015'98'03'09'15
Citations per Year
Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

The Temporal Logic of Reactive and Concurrent Systems

Springer New York • 1992
View 6 Excerpts
Highly Influenced

Conjoining Specifications

ACM Trans. Program. Lang. Syst. • 1995
View 4 Excerpts
Highly Influenced

An Old-Fashioned Recipe for Real Time

REX Workshop • 1991
View 5 Excerpts
Highly Influenced

EHDM specification and verification system

J. CROW, S. T. JEFFERSON, +8 authors A. WHITEHURST
Tech. Rep. SRI Project 8110, Computer Science Laboratory, SRI International, Menlo Park, Calif. Jan. • 1990
View 8 Excerpts
Highly Influenced

TRIO: A logic language for executable specifications of real-time systems

Journal of Systems and Software • 1990
View 6 Excerpts
Highly Influenced

Automatic Symbolic Verification of Embedded Systems

IEEE Trans. Software Eng. • 1996
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…