Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS); Laboratoire d'analyse et d'architecture des systèmes (LAAS); Université Toulouse Capitole (UT Capitole); Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse); Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J); Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3); Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP); Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole); Université de Toulouse (UT); ITEA2 OpenETCS
    • بيانات النشر:
      HAL CCSD
      Springer
      Springer Verlag
    • الموضوع:
      2014
    • Collection:
      Université Toulouse 2 - Jean Jaurès: HAL
    • نبذة مختصرة :
      International audience ; We describe our experience with modeling the landing gear system of an aircraft using the formal specification language Fiacre. Our model takes into account the behavior and timing properties of both the physical parts and the control software of this system. We use this formal model to check safety and real-time properties on the system but also to find a safe bound on the maximal time needed for all gears to be down and locked (assuming the absence of failures). Our approach ultimately relies on the model-checking tool Tina, that provides state-space generation and model-checking algorithms for an extension of Time Petri Nets with data and priorities.
    • Relation:
      hal-00967422; https://hal.science/hal-00967422; https://hal.science/hal-00967422/document; https://hal.science/hal-00967422/file/main.pdf
    • الدخول الالكتروني :
      https://hal.science/hal-00967422
      https://hal.science/hal-00967422/document
      https://hal.science/hal-00967422/file/main.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.7769B0A1