Design Optimization of Mixed-Criticality Real-Time Embedded Systems

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

View graph of relations

In this article, we are interested in implementing mixed-criticality real-time embedded applications on a given heterogeneous distributed architecture. Applications have different criticality levels, captured by their Safety-Integrity Level (SIL), and are scheduled using static-cyclic scheduling. According to certification standards, mixed-criticality tasks can be integrated onto the same architecture only if there is enough spatial and temporal separation among them. We consider that the separation is provided by partitioning, such that applications run in separate partitions, and each partition is allocated several time slots on a processor. Tasks of different SILs can share a partition only if they are all elevated to the highest SIL among them. Such elevation leads to increased development costs, which increase dramatically with each SIL. Tasks of higher SILs can be decomposed into redundant structures of lower SIL tasks. We are interested to determine (i) the mapping of tasks to processors, (ii) the assignment of tasks to partitions, (iii) the decomposition of tasks into redundant lower SIL tasks, (iv) the sequence and size of the partition time slots on each processor, and (v) the schedule tables, such that all the applications are schedulable and the development costs are minimized. We have proposed a Tabu Search-based approach to solve this optimization problem. The proposed algorithm has been evaluated using several synthetic and real-life benchmarks.
Original languageEnglish
Article number50
JournalACM Transactions on Embedded Computing Systems
Volume14
Issue number3
Number of pages29
ISSN1539-9087
DOIs
StatePublished - 2015
CitationsWeb of Science® Times Cited: 1

    Keywords

  • Design optimization, Criticality (nuclear fission), Embedded systems, Integrated circuit design, Optimization, Safety engineering, Scheduling, Separation, Tabu search, Certification standards, Distributed architecture, Optimization problems, Real-time embedded systems, Safety integrity levels, Static cyclic scheduling, Tabu search based approaches, Real time systems
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 110336679