ABSTRACT
Context: system dependability is an explicit indicator that such system satisfies its critical assets; through helping customers in choosing trustworthy software that meets their requirements. This will increase the awareness of customers for increasing their dependability of software delivery without soft-failures that may lead to massive losses in their lives and economical crises. There are few attempts to review and classify the proposed dependability approaches and summaries the dependability major challenges.
Purpose: this paper is aimed to conduct a survey for previous research studies of system dependability of real-time embedded software in a variety of application domains and to suggest some dependability solutions for future research.
Plan: a comprehensive survey with a proposed methodology is used to conduct a review for previous research studies regarding system dependability for real-time embedded software.
Preliminary Results: a survey has been created for identifying and classifying some of the system dependability terms and approaches used by academia. Several papers are retrieved from the literature including conferences and articles to build a comparative study of system dependability approaches and techniques in order to highlight for dependability challenges in different contexts.
Conclusion: the results of this survey is to address different types of challenges and benefits from previous research studies also to emphasize the importance of using dependability strategies (i.e. fault avoidance, fault detection and correction and fault tolerance) while planning for systems dependability.
- Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson, A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case, ACM, 2011.Google Scholar
- Gabor Karsai, Abhishek Dubey, Nagabhushan Mahadevan. Application of Software Health Management Techniques, ACM, 2011.Google Scholar
- Flouts Khomh, On Improving the Dependability of Cloud Applications with Fault-Tolerance ACM, 2014.Google Scholar
- Jörg Henkel, Lars Bauer, Hongyan Zhang, Semeen Rehman, Muhammad Shafique, Multi-Layer Dependability: From Microarchitecture to Application Level, ACM, 2014.Google Scholar
- Kiev Gama and Didier Donsez, Applying Dependability Aspects on Top of "Aspectized" Software Layers, ACM, 2011.Google Scholar
- Martin Randles, A. Taleb-Bendiab, Thar Baker, Towards the Automated Engineering of Dependable Adaptive Services, ACM, 2012.Google Scholar
- Kiev Gama, Didier Donsez, A Survey on Approaches for Addressi Dependability Attributes in the OSGi Service Platform, ACM, 2010.Google Scholar
- Alexander Romanovsky, John Fitzgerald, Giovanna Di Marzo, MetaSelf -- An Architecture and a Development Method for Dependable Self-Systems, ACM, 2010.Google Scholar
- Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, A Reusable Modular Toolchain for Automated Dependability Evaluation, ACM, 2013.Google Scholar
- Armin Zimmermann, Dependability Evaluation of Complex Systems with TimeNET ACM, 2010.Google Scholar
- Cuauhtémoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet, Formalization of Design Patterns for Security and Dependability, ISARCS '13 Proceedings of the 4th international ACM Sigsoft, 2014. Google ScholarDigital Library
- Jörg Henkel, Lars Bauer, Joachim Becker, et al., Design and Architectures for Dependable, Embedded Systems. Proceedings of the 9th International Conference, IEEE, 2011.Google Scholar
- J.-H Oetjens et al., Safety evaluation of automotive electronics using virtual prototypes: State of the art and research challenges. In Design Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE. IEEE, 2014. pp. 1--6. Google ScholarDigital Library
- Kaliappa Ravindran, Self-Assessment and Reconfiguration Methods for Autonomous Cloud-based Network Systems. In: Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications. IEEE Computer Society, 2013. p. 87--94. Google ScholarDigital Library
- José Luís Nunes. Improving the dependability of FPGA-based real-time embedded systems with partial dynamic reconfiguration. In: Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on. IEEE, 2013. p. 1--4.Google ScholarCross Ref
- Hanen, Haouas; Bourcier, Johann. Dependability-Driven Runtime Management of Service Oriented Architectures. In: PESOS-4th International Workshop on Principles of Engineering Service-Oriented Systems-2012. 2012. Google ScholarDigital Library
- Feitosa, Daniel. An architecture design method for critical embedded systems. In: Proceedings of the WICSA 2014 Companion Volume. ACM, 2014. p. 15. Google ScholarDigital Library
- Esteve, Marie-Aude, et al. Formal correctness, safety, dependability, and performance analysis of a satellite. In: Proceedings of the 34th International Conference on Software Engineering. IEEE Press, 2012. p. 1022--1031. Google ScholarDigital Library
- Avizienis, Algirdas, et al. Fundamental concepts of dependability. University of Newcastle upon Tyne, Computing Science, 2001.Google Scholar
- Mustafiz, Sadaf; Kienzle, Jörg. A survey of software development approaches addressing dependability. In: Scientific Engineering of Distributed Java Applications. Springer Berlin Heidelberg, 2005. p. 78--90. Google ScholarDigital Library
- Ian Somerville, Ninth Edition, Software Engineering, 2009.Google Scholar
- Software Engineering Body of Knowledge (SWEBOK) ISO Standard 19759, 2014Google Scholar
Index Terms
- A Comprehensive Survey of System Dependability for Real Time Embedded Software
Recommendations
Reliability Improvement of Real-Time Embedded System Using Checkpointing
SSIRI '08: Proceedings of the 2008 Second International Conference on Secure System Integration and Reliability ImprovementThe checkpointing problem in real-time embedded systems is dealt with from a reliability point of view. Transient faults are assumed to be detected in a non-concurrent manner (e.g., periodically). The probability of successful real-time task completion ...
Dependability Engineering of Complex Computing Systems
ICECCS '00: Proceedings of the 6th IEEE International Conference on Complex Computer SystemsAbstract: The paper presents a development model focused on the production of dependable systems. Three classes of processes are distinguished: 1) the system creation process which builds on the classical development steps (requirements, design, ...
Software Dependability in the Tandem GUARDIAN System
Based on extensive field failure data for Tandem s GUARDIAN operating system, this paper discusses evaluation of the dependability of operational software. Software faults considered are major defects that result in processor failures and invoke backup ...
Comments