Title :
A language for multiple models of computation
Author :
Björklund, Dag ; Lilius, Johan
Author_Institution :
Turku Centre for Comput. Sci., Finland
fDate :
6/24/1905 12:00:00 AM
Abstract :
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and is well suited for model checking, code synthesis etc. For different blocks of code, different scheduling policies can be applied, to reflect the different interpretations of, for example, parallelism in different models of computation. The user can add his own scheduling policies, to use or explore different models of computation
Keywords :
embedded systems; hardware-software codesign; scheduling; specification languages; virtual machines; UML; code synthesis; embedded systems; formal operational semantics; hardware software codesign; kernel language; model checking; multiple computation models; multiple heterogenous models; scheduling; Computational modeling; Concurrent computing; Embedded system; Hardware design languages; Libraries; Modems; Multimedia systems; Parallel processing; Processor scheduling; System-level design;
Conference_Titel :
Hardware/Software Codesign, 2002. CODES 2002. Proceedings of the Tenth International Symposium on
Conference_Location :
Estes Park, CO
Print_ISBN :
1-58113-542-4
DOI :
10.1109/CODES.2002.1003596
