The Third Workshop on Future Trends of Distributed Computing Systems (1992)
April 14, 1992 to April 16, 1992
K.-Y. Sung , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
J.E. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Real-time Descartes is a formal language for specifying real-time software, which is an extension of the executable Descartes specification language. Many formal specification techniques have been proposed to conceptualize real-world semantics of the inherently complex nature of real-time systems. Descartes as one of the specification languages based on the functional model has the advantages of easy constructibility and comprehensibility. Real-time Descartes makes effective use of the advantages of the finite state machine (FSM) model, the assertional model, and the process model while overcoming the disadvantages of the functional model. Easy constructibility and comprehensibility of Real-time Descartes will lessen the burden from software developers and reduce the understanding gap among participants.<
finite automata, formal specification, real-time systems, specification languages
K. Sung and J. Urban, "Real-time Descartes: a real-time specification language," The Third Workshop on Future Trends of Distributed Computing Systems(FTDCS), Taipei, Taiwan, , pp. 79-85.