loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: P. Vasilyev

Affiliation: University Paris-12; University of Saint Petersburg, Russian Federation

ISBN: 978-972-8865-49-8

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling Formalisms, Languages and Notations ; Modeling of Distributed Systems ; Requirements Analysis And Management

Abstract: We describe a concept and design of a simulator of Real-Time Abstract State Machines. Time can be continuous or discrete. Time constraints are defined by linear inequalities. Two semantics are considered: with and without non-deterministic bounded delays between actions. Simulation tasks can be generated according to descriptions in a special language. The simulator will be used for on-the-fly verification of formulas in an expressible timed predicate logic. Several features facilitating the simulation are described: external functions definition, delays settings, constraints specification, and others.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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:
Vasilyev P. and (2006). Simulator for Real-Time Abstract State Machines.In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 202-205. DOI: 10.5220/0002501002020205

@conference{msvveis06,
author={P. Vasilyev},
title={Simulator for Real-Time Abstract State Machines},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={202-205},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002501002020205},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Simulator for Real-Time Abstract State Machines
SN - 978-972-8865-49-8
AU - Vasilyev, P.
PY - 2006
SP - 202
EP - 205
DO - 10.5220/0002501002020205

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.