Toggle Main Menu Toggle Search

Open Access padlockePrints

A formal specification and prototyping language for multi-core system management

Lookup NU author(s): Dr Alexei Iliasov, Dr Ashur Rafiev, Dr Fei Xia, Rem Gensh, Professor Alexander RomanovskyORCiD, Professor Alex Yakovlev



We relate the experience of a defining a formal domain specific language (DSL) for the construction and reasoning about OS-level management logic of multi-core systems. The approach is based on a novel, iterative development principle where results of prototyping studies feed back into the next language revision. We illustrate the DSL with several examples of executable scripts.

Publication metadata

Author(s): Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 8

Online publication date: 01/01/2015

Report Number: 1445

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne