ETAPS 2019 (series) / FASE 2019 (series) / FASE 2019 /
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Thu 11 Apr 2019 14:30 - 15:00 at JUPITER - Specification, Design, and Implementation of Particular Classes of Systems Chair(s): Reiner Hähnle
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 Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 16:00: Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER Chair(s): Reiner HähnleTechnical University of Darmstadt | |||
14:00 - 14:30 Talk | CLTestCheck: Measuring Test Effectiveness for GPU Kernels FASE Link to publication | ||
14:30 - 15:00 Talk | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System FASE Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Violet Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo Link to publication | ||
15:00 - 15:30 Talk | Optimal and Automated Deployment for Microservices FASE Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro Link to publication | ||
15:30 - 16:00 Talk | A Data Flow Model with Frequency Arithmetic FASE Link to publication |