Verification of real-time systems - issues and perspectives
Nagashree Jayaram · 1995
We identify the issues associated with real-time systems, refer to the process model with which we develop our arguments and provide a critique as to whether the current verification approaches do adequately address the behavioural issues in real-time software and hardware. We discuss our current research in real-time domain models and reference architectures as well as our initial impressions on the Stanford University's RAPIDE language and its toolset.