ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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.

Thu 11 Apr

fase-2019-papers
14:00 - 16:00: FASE 2019 - Specification, Design, and Implementation of Particular Classes of Systems at JUPITER
Chair(s): Reiner HähnleTechnical University of Darmstadt
fase-2019-papers14:00 - 14:30
Talk
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
Link to publication
fase-2019-papers14:30 - 15:00
Talk
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
Link to publication
fase-2019-papers15:00 - 15:30
Talk
Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
Link to publication
fase-2019-papers15:30 - 16:00
Talk
Link to publication