RT-FRORL: a formal requirements specification language for specifying real-time systems

FRORL is a requirements specification language which is proposed to exploit knowledge representation techniques as an aid in the specification, analysis and development of a software system. RT-FRORL is an extension of FRORL that inherits FRORL's basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on frames and production rules, and the semantics of RT-FRORL are defined through the integration of first-order logic and temporal logic extension. Using RT-FRORL, concurrent and absolute time properties of real-time systems can be specified easily.<<ETX>>

[1]  Jeffrey J. P. Tsai,et al.  Rapid prototyping using FRORL language , 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

[2]  Thomas Weigert,et al.  A knowledge-based approach for checking software information using a non-monotonic reasoning system , 1990, Knowl. Based Syst..

[3]  Jeffrey J. P. Tsai.  A knowledge-based system for software design , 1988, IEEE J. Sel. Areas Commun..

[4]  Insup Lee,et al.  Language Constructs for Distributed Real-Time Programming , 1985, RTSS.

[5]  Jeffrey J. P. Tsai.  A Knowledge-Based Approach to Software Design , 1988 .

[6]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[7]  Leslie Lamport,et al.  Proving Liveness Properties of Concurrent Programs , 1982, TOPL.

[8]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[9]  Hung-Chin Jang,et al.  A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis , 1992, IEEE Trans. Software Eng..

[10]  B. Dasarathy,et al.  Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.

[11]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[12]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.

[13]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[14]  Pamela Zave,et al.  An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.

[15]  Jeffrey J. P. Tsai,et al.  A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging , 1990, IEEE Trans. Software Eng..

[16]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[17]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[18]  Alan Liu,et al.  Knowledge-based system for rapid prototyping , 1989, Knowl. Based Syst..

[19]  P. M. Melliar-Smith,et al.  An Interval-Based Temporal Logic , 1983, Logic of Programs.

[20]  David B. Skillicorn,et al.  Real-Time Specification Using Lucid , 1989, IEEE Trans. Software Eng..

[21]  Tadao Kasami,et al.  Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions , 1986, Theor. Comput. Sci..

[22]  Alan Liu,et al.  A frame and rule based system to support software development using an integrated software engineering paradigm , 1989, [Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence.

[23]  Jeannette M. Wing,et al.  Extending Ina Jo with Temporal Logic , 1989, IEEE Trans. Software Eng..

[24]  Richard A. Kemmerer,et al.  RT-ASLAN: A specification language for real-time systems , 1986, IEEE Transactions on Software Engineering.