MBD, OOT and Code Generation: A Cost-Effective Way to Speed Up HMI Certification
Pourquoi ce travail est dans la base
Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.
Notice bibliographique
Résumé
<div class="section abstract"><div class="htmlview paragraph">This white paper explains the benefits of the Model-Based Design (MBD) approach and Object-Oriented Technology (OOT) that DO-178C provides. It also specifically focuses on the usage of Models and COTS Qualifiable tools that automate or facilitate the verification and validation of avionics applications constructed from Models in order to ensure that there is no unintended function.</div><div class="htmlview paragraph">Software running in Aircraft cockpits has dramatically increased in complexity since DO-178B's revision in 1992. Furthermore, over the past 20 years, software development methods have made significant leaps forward and DO-178B has begun to show its age with respect to the new technology introduced to facilitate software development.</div><div class="htmlview paragraph">This year the newly revamped DO-178C standard sets the certification process record straight by embracing modern technology. DO-178C does not only solidify its foundation by clarifying its core document but also builds the infrastructure to support modern software development techniques already commonly used in avionics development for at least a decade. Fortunately, DO-178C upgrades and clarifies DO-178B. DO-178C therefore considers four techniques of contemporary software development practices which are published as supplements to the core document: 1. Software Tool Qualification Considerations (TQC) [DO-330]. 2. Model-Based Design and Verification Supplement (MBDV) [DO-331]. 3. Object-Oriented Technology Supplement (OOT) [DO-332]. 4. Formal Methods Supplement (FM) [DO-333].</div><div class="htmlview paragraph">Organizations can see gains not only in the reduction of the development cycle but also in the overall improvement of the DO-178C certification process; including reduction of schedule and costs, and improvements in the quality and reliability.</div><div class="htmlview paragraph">In the old school of thought, the methodology relies on textual specifications and physical prototypes. That is why the informal Text-Based Design approach is tightly associated with the waterfall methodology where all the textual requirements are manually coded, inspected, and tested on a real embedded system. In this method, changes in any part of the waterfall chain are very costly and time-consuming, leaving almost no room to iterate on the design.</div><div class="htmlview paragraph">By contrast, in the Model-Based Design approach, the specifications are self-contained in the Human Machine Interface (HMI) Model. The HMI requirements are defined in an unambiguous way and often captured in a formal definition language. Model-Based Design offers a collaborative approach to avionics development and allows engineers to inexpensively experiment with various concepts by deferring hardware integration until much later in the development process. Correcting problems in the early modeling phase is undeniably the strongest argument in favor of the Model-Based Design approach for developing certifiable or non-certifiable avionics applications.</div><div class="htmlview paragraph">This white paper is based on "MBD &amp; Code Generation: A Cost-Effective Way to Speed up HMI Certification," by Luc Marcil, Presagis, Montréal, Québec (Canada) which was presented at the 30th Digital Avionics Systems Conference in October 18th, 2011. © 2011 IEEE.</div></div>
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Prédiction distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,000 | 0,000 |
| Méta-épidémiologie (sens strict) | 0,001 | 0,001 |
| Méta-épidémiologie (sens large) | 0,001 | 0,000 |
| Bibliométrie | 0,000 | 0,000 |
| Études des sciences et des technologies | 0,000 | 0,000 |
| Communication savante | 0,000 | 0,001 |
| Science ouverte | 0,000 | 0,000 |
| Intégrité de la recherche | 0,001 | 0,001 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,000 | 0,000 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle