Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Title of Paper:Specification for Probabilistic Timed Systems with Data Constraints

Journal:PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017)

Key Words:probabilistic timed systems data constraints ZIA formal model

Abstract:Probabilistic timed systems with data constraints refer to computing systems in which components interact with each other under time or data variables constraints, and their behaviors exhibit some non-determinism and probability. In order to verify such a system, it is necessary to model the system via extended formal model. In this paper, combining ZIA (interface automata with z language) and probabilistic timed automata, we propose a PTZIA (probabilistic timed interface automata with z language) model accompanied by continuous time which both have continuous-time constraints and discrete data constraints, and present the transition system semantics for PTZIAs.

ISSN No.:2327-0594

Translation or Not:no

Date of Publication:2017-01-01

Co-author:Ma, Yan,Liu, Yang

Correspondence Author:Cao Zi Ning