Skip to search formSkip to main contentSkip to account menu

Duration calculus

Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Charles Leonard HamblinModal logicReal-time computingSoftware development

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Formal Aspects of Computing Model-Checking Discrete Duration Calculus
  • 2005
  • Corpus ID: 26285362
Abstract. Duration Calculus was introduced in [ZHRgl] as a logic to specify and reason about requirements for real-time systems… 
2005
2005
Slicing CSP-OZ Specifications for Verification by Ingo Brückner
Model checking specifications with complex data and behaviour descriptions often fails due to the large state space to be… 
2004
2004
A Formal design technique for real-time embedded systems development using duration calculus.
In this paper we present a syntactical approach for the design of real-time embedded systems. The requirement of the system is… 
2001
2001
Towards a Denotational Semantics of Timed RSL using Duration Calculus
The Timed RAISE Specification Language (Timed RSL) is an extension of RAISE Specification Language by adding time constructors… 
1999
1999
A Decision Method for Duration Calculus
The Duration Calculus is an interval logic introduced for designing real-time systems. This calculus is able to capture important… 
1999
1999
On Checking Finitary Timed Automata for Duration Properties
Review
1998
Review
1998
An overview of Duration Calculus
] 'he Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems. DC is based on… 
1996
1996
Extending statecharts with duration
Statecharts has been widely accepted as a successful graphical language for specifying reactive systems. However, some anomalies… 
1995
1995
Design of Real-time Systems: Interface between Duration Calculus and Program Speciications
We present a transformational approach to the design of real-time systems. The starting point are requirements formulated in a… 
1993
1993
A Duration Calculus Semantics for Real-time Reactive Systems a Duration Calculus Semantics for Real-time Reactive Systems
Document Purpose To provide a common model for requirements speciications, SL time speciications, and programs in PL time . 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)