A language for multiple models of computation

Author

Björklund, Dag ; Lilius, Johan

Author_Institution

Turku Centre for Comput. Sci., Finland

fYear

2002

fDate

6/24/1905 12:00:00 AM

Firstpage

25

Lastpage

30

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CODES.2002.1003596

Filename

1003596