DocumentCode
704182
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
fYear
2015
fDate
4-6 March 2015
Firstpage
696
Lastpage
700
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on
Conference_Location
Turku
ISSN
1066-6192
Type
conf
DOI
10.1109/PDP.2015.107
Filename
7092795
Link To Document