NDLI: Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

Please wait, while we are loading the content...

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

Content Provider	IEEE Xplore Digital Library
Author	Santhosh Prabhu, M. Hazra, A. Dasgupta, P.
Copyright Year	2009
Abstract	Automata-based scheduling is a recent technique for online scheduling of software control components in embedded systems. This letter studies one important aspect of automata-based scheduling that has not been studied in the past, namely resilience to faults. The goal of the proposed technique is to create an automaton that recommends the scheduling patterns that are admissible with respect to control performance requirements, when the state of the system has been mutated by faults. The problem has been formulated as a game between the scheduler and the (possibly faulty) system, where a winning strategy of the scheduler prevents the system from reaching bad states forever. We present a method for analyzing the structure of the game and extracting an automaton that captures the winning strategies of the scheduler, namely the automaton to be used for automata-based scheduling.
Starting Page	17
Ending Page	20
Page Count	4
File Size	565665
File Format	PDF
ISSN	19430663
Volume Number	5
Issue Number	2
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-01-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Automata Schedules Games Control theory Stability Software Control systems reliable scheduling Automata-based scheduling embedded control systems fault-tolerant system
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Handling fault detection latencies in automata-based scheduling for embedded control software

Fault-Tolerant Distributed Deployment of Embedded Control Software

Reliability-Driven System-Level Synthesis for Mixed-Critical Embedded Systems

Reliability Guarantees in Automata Based Scheduling for Embedded Control Software

Fault-tolerant scheduling for real-time embedded control systems

Computing Optimal Schedules of Battery Usage in Embedded Systems

A fault-tolerant scheduling problem

Fault-tolerant adaptive scheduling for embedded real-time systems

Fault-Tolerant Systems

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

Similar Documents

Handling fault detection latencies in automata-based scheduling for embedded control software

Fault-Tolerant Distributed Deployment of Embedded Control Software

Reliability-Driven System-Level Synthesis for Mixed-Critical Embedded Systems

Reliability Guarantees in Automata Based Scheduling for Embedded Control Software

Fault-tolerant scheduling for real-time embedded control systems

Computing Optimal Schedules of Battery Usage in Embedded Systems

A fault-tolerant scheduling problem

Fault-tolerant adaptive scheduling for embedded real-time systems

Fault-Tolerant Systems

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software