Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
URN: urn:nbn:se:kth:diva-179561DOI: 10.1109/EFTA.2007.4416850ISI: 000254117100105ScopusID: 2-s2.0-47849107113ISBN: 978-142440826-9OAI: diva2:883532
12th IEEE Conf. on Emerging Technologies and Factory Automation (ETFA), Work-In-Progress Section, Patras, Greece.

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
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 6 hits
ReferencesLink to record
Permanent link

Direct link