Duration Calculus: A Logical Approach to Real-Time Systems

Michael Reichhardt Hansen

doi:10.1007/3-540-49253-4_1

Duration Calculus: A Logical Approach to Real-Time Systems

Michael Reichhardt Hansen (Editor)

Research output: Book/Report › Book › Research › peer-review

Abstract

The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses real numbers to model time, and Boolean-valued (i.e. 0,1-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic with a calculus to specify and reason about properties of state durations. The fist paper of DC was published in 1991, and dozens of papers of DC have been published since then, which cover developments of logical calculi, their applications and mechanical support tools. This paper will give a brief introduction to DC and also an overview of the research of DC.

Original language	English

Publisher	DFKI Saarbrücken
Number of pages	1
DOIs	https://doi.org/10.1007/3-540-49253-4_1
Publication status	Published - 1998
Event	7th International Conference on Algebraic Methodology and Software Technology - Duration: 4 Jan 1999 → 8 Jan 1999 Conference number: 7

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1548
ISSN	0302-9743

Conference

Conference	7th International Conference on Algebraic Methodology and Software Technology
Number	7
Period	04/01/1999 → 08/01/1999

Access to Document

10.1007/3-540-49253-4_1

OpenUrl availability

Check availability in DTU Findit

Cite this

@book{b4cba5e37859418c850830bee842f5c2,

title = "Duration Calculus: A Logical Approach to Real-Time Systems",

abstract = "The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses real numbers to model time, and Boolean-valued (i.e. 0,1-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic with a calculus to specify and reason about properties of state durations. The fist paper of DC was published in 1991, and dozens of papers of DC have been published since then, which cover developments of logical calculi, their applications and mechanical support tools. This paper will give a brief introduction to DC and also an overview of the research of DC.",

editor = "Hansen, \{Michael Reichhardt\}",

year = "1998",

doi = "10.1007/3-540-49253-4\_1",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "DFKI Saarbr{\"u}cken",

note = "7th International Conference on Algebraic Methodology and Software Technology, AMAST 1998 ; Conference date: 04-01-1999 Through 08-01-1999",

}

TY - BOOK

T1 - Duration Calculus: A Logical Approach to Real-Time Systems

A2 - Hansen, Michael Reichhardt

N1 - Conference code: 7

PY - 1998

Y1 - 1998

N2 - The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses real numbers to model time, and Boolean-valued (i.e. 0,1-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic with a calculus to specify and reason about properties of state durations. The fist paper of DC was published in 1991, and dozens of papers of DC have been published since then, which cover developments of logical calculi, their applications and mechanical support tools. This paper will give a brief introduction to DC and also an overview of the research of DC.

AB - The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses real numbers to model time, and Boolean-valued (i.e. 0,1-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic with a calculus to specify and reason about properties of state durations. The fist paper of DC was published in 1991, and dozens of papers of DC have been published since then, which cover developments of logical calculi, their applications and mechanical support tools. This paper will give a brief introduction to DC and also an overview of the research of DC.

U2 - 10.1007/3-540-49253-4_1

DO - 10.1007/3-540-49253-4_1

M3 - Book

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Duration Calculus: A Logical Approach to Real-Time Systems

PB - DFKI Saarbrücken

T2 - 7th International Conference on Algebraic Methodology and Software Technology

Y2 - 4 January 1999 through 8 January 1999

ER -

Duration Calculus: A Logical Approach to Real-Time Systems

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this