Title :
A Formal Specification and Prototyping Language for Multi-core System Management
Author :
Iliasov, A. ; Rafiev, A. ; Xia, F. ; Gensh, R. ; Romanovsky, A. ; Yakovlev, A.
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
Abstract :
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.
Keywords :
formal specification; iterative methods; multiprocessing systems; DSL; OS-level management logic; executable scripts; formal domain specific language; formal specification; iterative development principle; language revision; multicore systems; prototyping language; Clocks; Computational modeling; DSL; Heating; Instruction sets; Switches; Time-frequency analysis; DSL; Event-B; formal modelling; multi-core;
Conference_Titel :
Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on
Conference_Location :
Turku
DOI :
10.1109/PDP.2015.107
