Architecture-led Diagnosis and Verification of a Stepper Motor Controller - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Architecture-led Diagnosis and Verification of a Stepper Motor Controller

Résumé

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.
Fichier principal
Vignette du fichier
paper_110.pdf (225.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01292322 , version 1 (22-03-2016)

Identifiants

  • HAL Id : hal-01292322 , version 1

Citer

Peter H. 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. ⟨hal-01292322⟩

Collections

ERTS2016
397 Consultations
314 Téléchargements

Partager

More