MRTC publications

An Operational Semantics for the Execution of PLEX in a Shared Memory Architecture

Full text:
Authors:	Johan Lindhult (former)
Source:	MRTC report ISSN 1404-3041 ISRN MDH-MRTC-227/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University

Abstract

Programming Language for EXchanges, PLEX, is a pseudoparallel and event-driven real-time language developed by Ericsson. It is designed for, and used in, central parts of the AXE telephone switching system. The language has a signal paradigm as its top execution level, and it is event-based in the sense that only events, encoded as signals, can trigger code execution. Due to the fact that a PLEX program file consists of several independent subprograms, in combination with an execution model where new jobs are spawned and put in queues, we also classify the language as pseudo-parallel. In previous works, we have presented a structural operational semantics for sequential execution of PLEX in the current singleprocessor architecture, i.e., a specification/formalization of the behavior of PLEX in the system as it is today. In this report, we extend our previous work by specifying the semantics for a restricted parallel implementation of the language.

BibTeX entry

@techreport{Lindhult_1472:2008, author = {Johan Lindhult}, title = {An Operational Semantics for the Execution of PLEX in a Shared Memory Architecture}, month = {April}, year = {2008}, institution = {M{\aa}lardalen University}, number = {ISSN 1404-3041 ISRN MDH-MRTC-227/2008-1-SE}, type = {{T}echnical {R}eport}, url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1472}, }

Mälardalen University |
Box 883 |
721 23 Västerås/Eskilstuna |
021-101300, 016-153600 |
webmaster |
Latest update: 2012.08.24