Safety-critical Java with cyclic executives on chip-multiprocessors

Publication: Research - peer-reviewJournal article – Annual report year: 2011

Documents

DOI

View graph of relations

Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. It is well known that finding optimal schedules is a computationally hard problem. In this paper we present a solution that uses model checking to find a static schedule, if one exists at all, which gives an implementation of a table driven multiprocessor scheduler. Mutual exclusion to access shared resources is guaranteed by including access constraints in the schedule generation. To evaluate the proposed cyclic executive for multiprocessors, we have implemented it in the context of safety-critical Java on a Java processor.
Original languageEnglish
JournalConcurrency and Computation: Practice & Experience
Publication date2012
Volume24
Issue8
Pages772–788
ISSN1532-0626
DOIs
StatePublished
CitationsWeb of Science® Times Cited: 0

Keywords

  • Real-time systems, Java, Cyclic executive
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 6439026