checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design
Safety-critical systems are highly heterogeneous, combining different characteristics.
Effectively designing such systems requires a complex modelling approach that deals with …
Effectively designing such systems requires a complex modelling approach that deals with …
A DO-178C-compliant model-driven approach to support the development and certification of safety-critical avionics software
AF Paz Loboguerrero - 2020 - espace.etsmtl.ca
Increasingly complex software is nowadays engineered to cater to safety-critical domains,
like aircraft. However, engineering software for avionics systems is not a straightforward …
like aircraft. However, engineering software for avionics systems is not a straightforward …
Transformation de modèles hétérogènes dans le contexte de la certification selon DO-178C
A Bouffies - 2019 - espace.etsmtl.ca
L'Ingénierie Dirigée par les Modèles (IDM) est parmi les technologies prenant de l'ampleur
dans l'industrie du développement de logiciels embarqués critiques. L'IDM permet de …
dans l'industrie du développement de logiciels embarqués critiques. L'IDM permet de …