Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items
Abstract

This paper investigates the effectiveness of Duration Calculus in the specification of safety, as well as, of functional requirements of critical systems. It is based on railway signalling - a case study which is realistic both in terms of complexity and in terms of the range of safety requirements covered by it. Duration Calculus is found to be a convenient medium of specification, firstly, due to its reliance on durations of states rather than on real time in explicit form and, secondly, due to the intuitive nature of its syntactic constructs.

Fulltext Preview (Small, Large)
Image of the first page of the fulltext


Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)