Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Delange, Julien"'
Autor:
Delange, Julien
Les systèmes embarqués critiques (utilisés dans le domaine avionique, militaire ou médical) doivent assurer une continuité de service et la sécurité des données qu'ils contiennent ou échangent. La garantie de ces exigences s'effectue au trav
Externí odkaz:
http://pastel.archives-ouvertes.fr/pastel-00006301
http://pastel.archives-ouvertes.fr/docs/00/55/93/52/PDF/thesis_Delange.pdf
http://pastel.archives-ouvertes.fr/docs/00/55/93/52/PDF/thesis_Delange.pdf
Safety-critical embedded systems are now software-reliant and evolving at an incredible pace. With the emerging Internet of Things (IoT) ecosystem, these systems are now interconnected to several networks and exposed to potential attackers. This incr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f7c1a6832b53cf07b28f4aef5ca96ee
Safety-critical software-reliant systems must manage component failures and conditions of anomalous interaction among components as hazards that affect a system's safety, reliability, and security so the potential effects of hazards on system operati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d362ecdfde9cb5c69a23eab8ce75e4b1
Finding problems and optimal designs in the requirements phase is more efficient than later phases. However, over-constraining the solution is also sub-optimal since not all information is necessarily available upfront. 'Build-then-test' approaches w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::277543eab60d166ab18464fc14c4f69e
https://hal.archives-ouvertes.fr/hal-01289468
https://hal.archives-ouvertes.fr/hal-01289468
This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL). It is based on the draft Requirements Definition and Analysis Language Annex, which defines a meta-model for r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d66042fa473bb35589c46bc10cf4e15
Autor:
Feiler, Peter, Weinstock, Chuck, Goodenough, John B., Delange, Julien, Klein, Ari, Ernst, Neil
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 . Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0a160349bfcd11c19c6189c39313026f
https://hal.science/hal-01292322
https://hal.science/hal-01292322
Architecture-Led Safety Analysis (ALSA) is a safety analysis method that uses early architecture knowledge to supplement traditional safety analysis techniques to identify faults as early as possible. The method begins by creating a definition of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08260eb5361530c71091d67d47d06540
This case study shows how an analytical architecture fault-modeling approach can be combined with confidence arguments to diagnose a time-sensitive design error in a control system and to provide evidence that proposed changes to the system address t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::119e117fef975709f9c04ff9b3fec9ac
Autor:
Delange, Julien, Feiler, Peter
Cyber-Physical Systems are becoming software intensive, collocating many functions on a single processor and requiring a significant processing capacity which increased over the years. In recent years, improving processing performance has been achiev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::177d04b058bbb70a2e38120a403b978d
https://hal.science/hal-02271286
https://hal.science/hal-02271286
SAE Standard Aerospace Recommended Practice (ARP) 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, provides general guidance on evaluating the safety aspects of a design and identifies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::296ddcc7a13a83b67b075dd0677a07df