Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Constraint Logic Programming Framework for the Synthesis of Fault-Tolerant Schedules for Distributed Embedded Systems
Linköping University, Sweden.ORCID iD: 0000-0003-1768-6697
2007 (English)Conference paper, Published paper (Refereed)
Abstract [en]

We present a constraint logic programming (CLP) approach for synthesis of fault-tolerant hard real-time applications on. distributed heterogeneous architectures. We address time-triggered systems, where processes and messages are statically scheduled based on schedule tables. We use process re-execution for recovering from multiple transient faults. We propose three scheduling approaches, which each present a trade-off between schedule simplicity and performance, (i) full transparency, (it) slack sharing and (iii) conditional, and provide various degrees of transparency. We have developed a CLP framework that produces the fault-tolerant schedules, guaranteeing schedulability in the presence of transient faults. We show how the framework call be used to tackle design optimization problems. The proposed approach has been evaluated using extensive experiments.

Place, publisher, year, edition, pages
IEEE , 2007. 756-759 p.
National Category
Mechanical Engineering
Identifiers
URN: urn:nbn:se:kth:diva-179561DOI: 10.1109/EFTA.2007.4416850ISI: 000254117100105Scopus ID: 2-s2.0-47849107113ISBN: 978-142440826-9 (print)OAI: oai:DiVA.org:kth-179561DiVA: diva2:883532
Conference
12th IEEE Conf. on Emerging Technologies and Factory Automation (ETFA), Work-In-Progress Section, Patras, Greece.
Note

QC 20160122

Available from: 2015-12-17 Created: 2015-12-17 Last updated: 2016-01-22Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Izosimov, Viacheslav
Mechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf