Thumbnail
Access Restriction
Subscribed

Author Zhu, Qi ♦ Deng, Peng ♦ Di Natale, Marco ♦ Zeng, Haibo
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2013
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Electric breakdown ♦ Computational modeling ♦ Measurement ♦ Algorithm design and analysis ♦ Partitioning algorithms ♦ Software packages
Abstract Model-based design using synchronous reactive (SR) models is widespread for the development of embedded control software. SR models ease verification and validation, and enable the automatic generation of implementations. In SR models, synchronous finite state machines (FSMs) are commonly used to capture changes of the system state under trigger events. The implementation of a synchronous FSM may be improved by using multiple software tasks instead of the traditional single-task solution. In this work, we propose methods to quantitatively analyze task implementations with respect to a breakdown factor that measures the timing robustness, and an action extensibility metric that measures the capability to accommodate upgrades. We propose an algorithm to generate a correct and efficient task implementation of synchronous FSMs for these two metrics, while guaranteeing the schedulability constraints.
Description Author affiliation: UC Riverside, USA (Zhu, Qi; Deng, Peng) || Scuola Superiore S. Anna, Italy (Di Natale, Marco) || McGill University, Canada (Zeng, Haibo)
ISBN 9781467350716
ISSN 15301591
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2013-03-18
Publisher Place France
Rights Holder European Design Automation Association (EDAA)
e-ISBN 9783981537000
Size (in Bytes) 291.83 kB
Page Count 6
Starting Page 1319
Ending Page 1324


Source: IEEE Xplore Digital Library