Architecture-led Diagnosis and Verification of a Stepper Motor Controller

Abstract : This paper discussed an architecture-led approach to diagnosing time sensitive issues with a stepper motor controller that manages fuel flow of an engine. A real engine control system design had originally been modeled and verified with SCADE . The potential for missed steps that result in misalignment in the fuel valve position is difficult to test for and was not discovered until after the engine went into operation. We utilize the execution and communication timing semantics of AADL to architecturally characterize the interaction between the elements of the stepper motor control systems. We then characterize the functional behavior in the context of the task dispatch and input handling semantics using the AADL Behavior Annex and identify potential fault sources and their impact using the AADL Error Model Annex. The identified the potential error sources, early arrival and mismatched command rates, we quantify the condition for this to occur and analyze the system based on timing data from scheduling analysis and actual timing measurements. We use this analysis to evaluate several proposed design corrections.
Type de document :
Communication dans un congrès
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 〈http://www.erts2016.org/〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01292322
Contributeur : Marc Boyer <>
Soumis le : mardi 22 mars 2016 - 18:26:56
Dernière modification le : mercredi 23 mars 2016 - 17:11:29
Document(s) archivé(s) le : lundi 14 novembre 2016 - 02:12:33

Fichier

paper_110.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01292322, version 1

Collections

Citation

Peter Feiler, Chuck Weinstock, John B. Goodenough, Julien Delange, Ari Klein, et al.. Architecture-led Diagnosis and Verification of a Stepper Motor Controller. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 〈http://www.erts2016.org/〉. 〈hal-01292322〉

Partager

Métriques

Consultations de la notice

112

Téléchargements de fichiers

389