Quality assurance for embedded systems

No Thumbnail Available
Date
2022
Journal Title
Journal ISSN
Volume Title
Publisher
Université De Larbi Ben M’hidi Oum EL Bouaghi
Abstract
The research presented in this thesis addresses the problem of embedded systems quality assurance. The main motivation for our contributions is the absence of standard quality models that include and cover concepts specific to embedded systems. In addition to the importance of representing the quality of embedded systems because of its impact on the complexity and dependability of these types of systems. Our contributions in this thesis focus on the representation of software quality in the context of embedded systems. Through our study, we have proposed an Embedded Software Quality Model ESQuMo that is based on the standard ISO/IEC 25010 quality model. The importance of the proposed model lies in the ability to cover the relevant characteristics of the embedded software, in addition to the general characteristics that the embedded software share with the rest of the ordinary software. As a second step in our contribution, we have applied the proposed ESQuMo quality model to the medical imaging embedded software category, by providing a set of quality measures that comply with the ISO/IEC 25023 the complementary standard to the ISO/IEC 25010 adopted as the basis for the proposed quality model. These quality measures are primarily intended to control and supervise the overall quality of embedded systems. La recherche présentée dans cette thèse aborde le problème de l'assurance qualité des systèmes embarqués. La motivation principale de nos contributions est l'absence des modèles de qualité standard qui incluent et couvrent des concepts spécifiques aux systèmes embarqués. En outre, l'importance de représenter la qualité des systèmes embarqués en raison de son impact sur la complexité et la fiabilité de ces types de systèmes. Nos contributions dans cette thèse se concentrent sur la représentation de la qualité logicielle dans le contexte des systèmes embarqués. Au cours de notre étude, nous avons proposé un modèle de qualité du logiciel embarqué ESQuMo qui est basé sur le modèle de qualité standard ISO/IEC 25010. L'importance du modèle proposé réside dans la capacité à couvrir les caractéristiques pertinentes du logiciel embarqué, en plus des caractéristiques générales que le logiciel embarqué partage avec le reste des logiciels ordinaires. Dans une deuxième étape de notre contribution, nous avons appliqué le modèle de qualité ESQuMo proposé à la catégorie des logiciels embarqués d'imagerie médicale, en fournissant un ensemble de mesures de qualité conformes au standard ISO/IEC 25023, le standard complémentaire à l'ISO/IEC 25010 adoptée comme la base du modèle de qualité proposé. Ces mesures de qualité visent principalement à contrôler et superviser la qualité globale des systèmes embarqués. البحث المقدم في هذه الأطروحة يعالج إشكالية ضمان جودة الأنظمة المدمجة. الدافع الرئيسي لمساهمتانا هو غياب نماذج الجودة القياسية التي تشمل وتغطي المفاهيم الخاصة باالأنظمة المدمجة. بالإضافة لأهمية تمثيل جودة الأنظمة المدمجة لما لها من تأثير على تعقيد ومصداقية هذا النوع من الأنظمة. مساهمتانا في هذا البحث تركز على تمثيل جودة البرمجيات في سياق األنظمة المدمجة. من خالل دراستنا هذه، قمنا باقتراح نموذج جودة خاص ببرمجيات الأنظمة المدمجة ESQuMo الذي يرتكز على نموذج الجودة القياسي ايزو 01252 .تكمن أهمية النموذج المقترح في القدرة على تغطية المميزات الخاصة بالبرمجيات المدمجة، بالإضافة للمميزات العامة التي تشترك فيها البرمجيات المدمجة مع باقي البرمجيات العادية. كخطوة ثانية في مساهمتنا، قمنا بتطبيق نموذج الجودة المقترح ESQuMo على فئة البرمجيات المدمجة للتصوير الطبي، وذلك من خلال تقديم مجموعة من مقاييس الجودة التي تتوافق مع التقييس ايزو 01202 المكمل للتقييس 01252 المعتمد كأساس لنموذج الجودة المقترح. تهدف مقاييس الجودة هذه بشكل أساسي في التحكم والإشراف على الجودة العامة للأنظمة المدمجة.
Description
Keywords
Dependability, Quality assurance, Embedded systems, Complexity
Citation