Title :
A scheduling problem language
Author_Institution :
VTT Electron., Oulu, Finland
Abstract :
A language for specification of the details of a scheduling problem is presented. First experiments indicate that the language can be used to express actual scheduling problems. Some deficiencies were detected but they can be fixed while keeping the general structure of the language
Keywords :
formal languages; formal specification; real-time systems; scheduling; actual scheduling problems; embedded systems; formal languages; scheduling problem language; scheduling rules; specification; Costs; Delay; Embedded computing; Embedded system; Formal languages; Process design; Processor scheduling;
Conference_Titel :
Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on
Conference_Location :
Odense
Print_ISBN :
0-8186-7112-2
DOI :
10.1109/EMWRTS.1995.514292
