Extending CTL to Specify Quantitative Temporal Requirements

Ammar Mohammed; Ulrich Furbach

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Extending CTL to Specify Quantitative Temporal Requirements

In Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 70-79, 2010 , Funchal, Madeira, Portugal

Authors: Ammar Mohammed and Ulrich Furbach

Affiliation: Universität Koblenz-Landau, Germany

Abstract: Computation tree logic (CTL) is expressive to specify those qualitative properties which focus on the temporal order of events. It, however, lacks to specify quantitative temporal requirements, which put time constraints on the occurrence of events. Thus, this paper presents a novel variant of temporal logic, RCTL (Region Computation Tree Logic), that extends CTL by incorporating the notation of time explicitly. To accomplish this aim, the paper uses hybrid automata as a model of computation. The specification language of RCTL allows us to express many properties in a concise and intuitive manner. To bring model checking within the scope of RCTL, the paper focuses on the specification of those properties that can be verified using reachability analysis, which is implemented in a previous work.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.223.196.59

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Mohammed, A. and Furbach, U. (2010). Extending CTL to Specify Quantitative Temporal Requirements. In Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2010) - MSVVEIS; ISBN 978-989-8425-12-6, SciTePress, pages 70-79. DOI: 10.5220/0003021500700079

@conference{msvveis10,
author={Ammar Mohammed. and Ulrich Furbach.},
title={Extending CTL to Specify Quantitative Temporal Requirements},
booktitle={Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2010) - MSVVEIS},
year={2010},
pages={70-79},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003021500700079},
isbn={978-989-8425-12-6},
}

TY - CONF

JO - Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2010) - MSVVEIS
TI - Extending CTL to Specify Quantitative Temporal Requirements
SN - 978-989-8425-12-6
AU - Mohammed, A.
AU - Furbach, U.
PY - 2010
SP - 70
EP - 79
DO - 10.5220/0003021500700079
PB - SciTePress