[PDF][PDF] Um Metamodelo para Casos de Garantia de Sistemas Críticos e Intensivos em Software baseado em Análise do Conceito Inicial de Sistemas Teóricos

EJ PORFÍRIO - 2019 - inf.ufg.br
Com a participação cada vez mais intensa do software nos chamados sistemas críticos,
diversos domínios criam normas e processos de certificação com a intenção de garantir as …

[PDF][PDF] Formalization of the ISO 26262 standard

D Van Den Brand - 2018 - pure.tue.nl
In recent years, complexity of the systems and functionalities in vehicles have grown; this
growth of complexity has a substantial impact on the vehicle system design and quality …

[PDF][PDF] Multi-domain modeling assistance tool: design and implementation

M Sainbileg - 2019 - research.tue.nl
This report describes the project “Multi-domain Modeling Assistance Tool: Design and
Implementation.” This project addresses the challenges of a conceptual modeling approach …