Extending the DEVS Formalism with Initialization Information

02/13/2018
by   Yentl Van Tendeloo, et al.
0

DEVS is a popular formalism to model system behaviour using a discrete-event abstraction. The main advantages of DEVS are its rigourous and precise specification, as well as its support for modular, hierarchical construction of models. DEVS frequently serves as a simulation "assembly language" to which models in other formalisms are translated, either giving meaning to new (domain-specific) languages, or reproducing semantics of existing languages. Despite this rigourous definition of its syntax and semantics, initialization of DEVS models is left unspecified in both the Classic and Parallel DEVS formalism definition. In this paper, we extend the DEVS formalism by including an initial total state. Extensions to syntax as well as denotational (closure under coupling) and operational semantics (abstract simulator) are presented. The extension is applicable to both main variants of the DEVS formalism. Our extension is such that it adds to, but does not alter the original specification. All changes are illustrated by means of a traffic light example.

READ FULL TEXT

page 7

page 8

research
01/26/2017

An Introduction to Classic DEVS

DEVS is a popular formalism for modelling complex dynamic systems using ...
research
06/12/2023

HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning

Real world applications as in industry and robotics need modelling rich ...
research
07/31/2019

Aquarium: Cassiopea and Alewife Languages

This technical report describes two of the domain specific languages use...
research
09/20/2022

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

Many universities have courses and projects revolving around compiler or...
research
10/02/2017

The SysML/KAOS Domain Modeling Approach

A means of building safe critical systems consists of formally modeling ...
research
08/16/2011

Revisiting Epistemic Specifications

In 1991, Michael Gelfond introduced the language of epistemic specificat...
research
08/10/2017

A discrete event system specification (DEVS)-based model of consanguinity

Consanguinity or inter-cousin marriage is a phenomenon quite prevalent i...

Please sign up or login with your details

Forgot password? Click here to reset