Embedded Software Development for Safety-Critical Systems /
Obra que trata sobre el desarrollo de software integrado confiable aplicado a diferentes sistemas críticos de seguridad que se encuentran reguladas en diferentes normas oficiales internacionales.
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Boca Ratón, EUA :
CRC Press,
2020, c2020
|
| 版: | 2a edición |
| 主題: | |
| オンライン･アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 要約: | Obra que trata sobre el desarrollo de software integrado confiable aplicado a diferentes sistemas críticos de seguridad que se encuentran reguladas en diferentes normas oficiales internacionales. Contenido: Sección I Antecedentes: 1) Introducción; 2) Terminología de seguridad; 3) Normas de seguridad y certificación; 4) Empresas representativas. Sección II El proyecto: 5) Análisis fundacionales; 6) Componentes certificados e inciertos. Sección III Patrones de diseño: 7) Equilibrio arquitectónico; 8) Detección y manejo de errores; 9) Esperando lo inesperado; 10) Replicación y diversificación. Sección IV Validación del diseño: 11) Modelos de Markov; 12) El árbol de la falla; 13) Tasas de fallas de software; 14) Verificación de diseño semiformal; 15) Verificación de diseño formal. Sección V Codificación: 16) Pautas de codificación; 17) Métricas de cobertura de código; 18) Análisis estático. Sección VI: Verificación: 19) Pruebas de integración; 20) La cadena de herramientas 21. Conclusión. Sección VII Anexos. |
|---|---|
| 物理的記述: | 1 libro electrónico en línea (XVII, 366 p.) 1 recurso en línea |
| Audience: | 2021 BO Licenciatura en Ingeniería en Mecatrónica |
| ISBN: | 978-1-000-49745-8 |
| アクセス: | Licencias ilimitadas |