Vis enkel innførsel

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System

dc.contributor.authorBezirgiannis, Nikolaos
dc.contributor.authorde Boer, Frank
dc.contributor.authorJohnsen, Einar Broch
dc.contributor.authorPun, Ka I
dc.contributor.authorTapia Tarifa, Silvia Lizeth
dc.date.accessioned2019-08-19T08:45:46Z
dc.date.available2019-08-19T08:45:46Z
dc.date.created2019-07-08T16:09:13Z
dc.date.issued2019
dc.identifier.citationBezirgiannis, N., de Boer, F., Johnsen, E. B., Pun, K. I., & Tapia Tarifa, S. L. (2019). Implementing SOS with active objects: A case study of a multicore memory system. In R. Hähnle & W. van der Aalst (Eds.), Fundamental approaches to software engineering (pp. 332-350).nb_NO
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11250/2608933
dc.description.abstractThis 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 model 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.nb_NO
dc.language.isoengnb_NO
dc.publisherSpringernb_NO
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleImplementing SOS with Active Objects: A Case Study of a Multicore Memory Systemnb_NO
dc.typeJournal articlenb_NO
dc.typePeer reviewednb_NO
dc.description.versionpublishedVersionnb_NO
dc.rights.holder© The Author(s) 2019.nb_NO
dc.subject.nsiVDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420nb_NO
dc.source.pagenumber332-350nb_NO
dc.source.volume11424nb_NO
dc.source.journalLecture Notes in Computer Sciencenb_NO
dc.identifier.doi10.1007/978-3-030-16722-6_20
dc.identifier.cristin1710689
dc.relation.projectNorges forskningsråd: 240614nb_NO
dc.relation.projectNorges forskningsråd: 274515nb_NO
cristin.unitcode203,12,4,0
cristin.unitnameInstitutt for data- og realfag
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1


Tilhørende fil(er)

Thumbnail
Filnavn:
Bezirgiannis.pdf
Størrelse:
1.148Mb
Format:
PDF
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Navngivelse 4.0 Internasjonal
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal