Implementing SOS with Active Objects: A Case Study of a Multicore Memory System (FASE 2019)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

Track

FASE 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 11 Apr 2019 14:30 - 15:00 at JUPITER - Specification, Design, and Implementation of Particular Classes of Systems Chair(s): Reiner Hähnle

Abstract

This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification (ABS) language, an executable, active object modelling language with a formal semantics, targeting distributed systems. We develop general design patterns in ABS for implementing SOS, and describe their application to the SOS of multicore memory systems. We show how these patterns allow a formal correctness proof that the implementation simulates the formal operational model and discuss further parallelization and fairness of the simulator.

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-16722-6_20

Nikolaos Bezirgiannis

Frank S. de Boer

Centrum Wiskunde & Informatica, Leiden University

Einar Broch Johnsen

University of Oslo

Violet Ka I Pun

Silvia Lizeth Tapia Tarifa