๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

โœ Scribed by Prabhu M, Santhosh; Hazra, Aritra; Dasgupta, Pallab

Book ID
121272415
Publisher
Institute of Electrical and Electronics Engineers
Year
2013
Tongue
English
Weight
552 KB
Volume
5
Category
Article
ISSN
1943-0663

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Embe
[Lecture Notes in Computer Science] Embedded Software and Systems Volume 3605 || Robust Tuning of Embedded Intelligent PID Controller for Induction Motor Using Bacterial Foraging Based Optimization
โœ Wu, Zhaohui; Chen, Chun; Guo, Minyi; Bu, Jiajun ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 226 KB

Welcome To The Post Proceedings Of The First International Conference On Embedded Software And Systems (icess 2004), Which Was Held In Hangzhou, P. R. China, 9โ€“10 December 2004. Embedded Software And Systems Technology Is Of Increasing Importance For A Wide Range Of Industrial Areas, Such As Aerospa

[ACM Press the 2010 ICSE Workshop - Cape
[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.03-2010.05.03)] Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10 - Probabilistic automata for architecture-based reliability assessment
โœ Krka, Ivo; Golubchik, Leana; Medvidovic, Nenad ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› ACM Press โš– 171 KB

Non-functional properties, such as reliability and performance, should be assessed as early as possible in a system's life cycle for cost effectiveness reasons. Hence, several software architecture-based reliability assessment techniques have been proposed. These techniques quantitatively analyze a