Modelling real-time systems: Issues and challenges |
| |
| Authors: | R K Shyamasundar S Ramesh |
| |
| Affiliation: | (1) Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005 Bombay, India;(2) Department of Computer Science and Engineering, Indian Institute of Technology, 400 076 Powai, Bombay, India |
| |
| Abstract: | ![]()
In this paper, we discuss the issues and challenges that lie in the specification, development, and verification of real-time systems. In our presentation, we emphasize on the issues underlying modelling of real-time distributed concurrency. Partial support by the Indo-French Centre for the Promotion of Advanced Research/Centre Franco-Indien Pour la Promotion de la Recherche Advancee as part of the project “Formal Specification and Development of Real-Time Reactive Programs” is gratefully acknowledged. |
| |
| Keywords: | Real-time reactive systems concurrency bisimulation trace equivalence scheduling |
| 本文献已被 SpringerLink 等数据库收录！ |
|
