Published January 1, 2022 | Version v1
Publication Open

MaskD: A Tool for Measuring Masking Fault-Tolerance

Creators

  • 1. National University of Río Cuarto
  • 2. Universidad Nacional de Córdoba

Description

Abstract We present , an automated tool designed to measure the level of fault-tolerance provided by software components. The tool focuses on measuring masking fault-tolerance, that is, the kind of fault-tolerance that allows systems to mask faults in such a way that they cannot be observed by the users. The tool takes as input a nominal model (which serves as a specification) and its fault-tolerant implementation, described by means of a guarded-command language, and automatically computes the masking distance between them. This value can be understood as the level of fault-tolerance provided by the implementation. The tool is based on a sound and complete framework we have introduced in previous work. We present the ideas behind the tool by means of a simple example and report experiments realized on more complex case studies.

⚠️ This is an automatic machine translation with an accuracy of 90-95%

Translated Description (Arabic)

نقدم أداة آلية مصممة لقياس مستوى تحمل الأخطاء التي توفرها مكونات البرنامج. تركز الأداة على قياس التسامح مع الخطأ، أي نوع التسامح مع الخطأ الذي يسمح للأنظمة بإخفاء الأخطاء بطريقة لا يمكن للمستخدمين ملاحظتها. تأخذ الأداة كمدخل نموذجًا اسميًا (يعمل كمواصفات) وتنفيذه المتسامح مع الأخطاء، والذي يتم وصفه عن طريق لغة الأوامر المحروسة، وتحسب تلقائيًا مسافة الإخفاء بينهما. يمكن فهم هذه القيمة على أنها مستوى التسامح مع الخطأ الذي يوفره التنفيذ. تعتمد الأداة على إطار سليم وكامل قدمناه في العمل السابق. نقدم الأفكار الكامنة وراء الأداة من خلال مثال بسيط ونبلغ عن التجارب التي تحققت في دراسات الحالة الأكثر تعقيدًا.

Translated Description (French)

Résumé Nous présentons un outil automatisé conçu pour mesurer le niveau de tolérance aux pannes fourni par les composants logiciels. L'outil se concentre sur la mesure de la tolérance aux pannes de masquage, c'est-à-dire le type de tolérance aux pannes qui permet aux systèmes de masquer les pannes de manière à ce qu'elles ne puissent pas être observées par les utilisateurs. L'outil prend en entrée un modèle nominal (qui sert de spécification) et sa mise en œuvre tolérante aux pannes, décrits au moyen d'un langage à commande gardée, et calcule automatiquement la distance de masquage entre eux. Cette valeur peut être comprise comme le niveau de tolérance aux pannes fourni par la mise en œuvre. L'outil est basé sur un cadre solide et complet que nous avons introduit dans des travaux antérieurs. Nous présentons les idées derrière l'outil au moyen d'un exemple simple et rapportons des expériences réalisées sur des études de cas plus complexes.

Translated Description (Spanish)

Resumen Presentamos , una herramienta automatizada diseñada para medir el nivel de tolerancia a fallos proporcionado por los componentes de software. La herramienta se centra en medir la tolerancia a fallos de enmascaramiento, es decir, el tipo de tolerancia a fallos que permite a los sistemas enmascarar fallos de tal manera que no puedan ser observados por los usuarios. La herramienta toma como entrada un modelo nominal (que sirve como especificación) y su implementación tolerante a fallos, descrito mediante un lenguaje de comando vigilado, y calcula automáticamente la distancia de enmascaramiento entre ellos. Este valor puede entenderse como el nivel de tolerancia a fallos proporcionado por la implementación. La herramienta se basa en un marco sólido y completo que hemos introducido en trabajos anteriores. Presentamos las ideas detrás de la herramienta por medio de un ejemplo simple e informamos experimentos realizados en estudios de casos más complejos.

Files

978-3-030-99524-9_22.pdf.pdf

Files (464.1 kB)

⚠️ Please wait a few minutes before your translated files are ready ⚠️ Note: Some files might be protected thus translations might not work.
Name Size Download all
md5:3c8469fb3c980e772be15b1088dfae50
464.1 kB
Preview Download

Additional details

Additional titles

Translated title (Arabic)
MaskD: أداة لقياس تحمل خطأ الإخفاء
Translated title (French)
MaskD : Un outil pour mesurer la tolérance aux pannes de masquage
Translated title (Spanish)
MaskD: una herramienta para medir la tolerancia a fallos de enmascaramiento

Identifiers

Other
https://openalex.org/W4226371163
DOI
10.1007/978-3-030-99524-9_22

Is supplement to
https://openalex.org/W841176518 (Other)
https://openalex.org/W4289293028 (Other)
https://openalex.org/W3145923041 (Other)
https://openalex.org/W2971479921 (Other)
https://openalex.org/W2950848781 (Other)
https://openalex.org/W2946906624 (Other)
https://openalex.org/W2901915715 (Other)
https://openalex.org/W2183032281 (Other)
https://openalex.org/W2151327182 (Other)
https://openalex.org/W2101077206 (Other)

GreSIS Basics Section

Is Global South Knowledge
Yes
Country
Argentina

References

  • https://openalex.org/W149299502
  • https://openalex.org/W1503762954
  • https://openalex.org/W1586805319
  • https://openalex.org/W2015172530
  • https://openalex.org/W2043907610
  • https://openalex.org/W2085917651
  • https://openalex.org/W2090847457
  • https://openalex.org/W2092216144
  • https://openalex.org/W2094017389
  • https://openalex.org/W2094159214
  • https://openalex.org/W2095425626
  • https://openalex.org/W2603330110
  • https://openalex.org/W2901915715
  • https://openalex.org/W2913545290
  • https://openalex.org/W3137092842
  • https://openalex.org/W986346366