Aeronáutica

A CRITICAL Software trabalha com empresas líderes no setor aeroespacial e aviónico, civil e militar, especializada em arquitetura de software, teste de sistemas e desenvolvimento e certificação de aplicações de safety.-critical embebidas nos mais rigorosos padrões, como o RTCA/EUROCAE DO-178C. Com experiência na implantação de fluxos de engenharia de software, impulsionada pelo projeto Model-Based Design (MBD), e a implementação de software em conformidade com a arquitetura de Integrated Modular Avionics (IMA) ARINC 653, fornecemos sistemas aviónicos de alta complexidade dentro do prazo, dentro do orçamento e dentro das especificações.

Também fornecemos suporte ao longo dos ciclos operacionais e de logística tanto para plataformas fixas como rotativas. Desde o planeamento da missão até à gestão de manutenção, o nosso conjunto de serviços e aplicações melhora a disponibilidade operacional e reduz o custo total de propriedade para frotas em todo o mundo.

Com capacidades que abrangem o sistema completo e o ciclo de vida do software, estamos numa posição ideal para gerir projetos completos do início ao fim, trabalhando em estreita colaboração com os nossos clientes para entender as suas necessidades e oferecer excelentes resultados.


Desenvolvimento de Software Embebido na Indústria Aeronáutica

A CRITICAL Software está especializada em arquitetura de software aviónico, testes de sistemas e certificação para as indústrias aeroespaciais civil e militar. Fornecemos serviços de desenvolvimento compatíveis com DO-178B/C até ao nível A. Temos uma vasta experiência na verificação de software de aeronaves e expandimo-nos para facultar suporte no ciclo completo do processo de desenvolvimento de software.

A Equipa de engenharia da CRITICAL Software executou vários projetos, principalmente o desenvolvimento de micro-controladores no software de bordo, de acordo com as normas DO-178B/C. Com soluções que cobrem o sistema e o ciclo de vida completos do software, e utilizando uma abordagem de projetos in-house, podemos gerir projetos completos de elicitação de requisitos para a aceitação do utilizador final.

Para facultarmos o melhor serviço integrado possível aos nossos clientes, criámos um mecanismo de validação do sistema qualificado capaz de realizar testes de integração automática de hardware/software e testes automáticos do sistema com hardwarein the Loop. Para além disso, temos um Sistema de Gestão da Qualidade que atende aos padrões mais exigentes, incluindo AS9100. Desta forma, podemos oferecer aos nossos clientes elevados níveis de eficiência e flexibilidade, assim como custos mais baixos para campanhas de teste de verificação, de manutenção e de regressão.


Saber mais
Flyer | Safety and Dependability Assessment of Complex Systems for Aerospace
Flyer | Safety and Dependability Assessment of Complex Systems for Aerospace
Descarregar ficheiro
Case Study | Safety-critical avionics display
Case Study | Safety-critical avionics display
Descarregar ficheiro

Sistemas Eletrónicos Integrados na Aeronáutica

Ao longo da nossa história, a CRITICAL Software tem colaborado com algumas das empresas líderes no sector aeronáutico, tanto em projetos civis como militares. A nossa equipa de engenheiros trabalha juntamente com as equipas de projeto dos clientes, proporcionando as competências necessárias para o desenvolvimento integrado de sistemas eletrónicos, incluindo o desenvolvimento e validação de dispositivos FPGA.

A nossa experiência inclui a definição de sistema e requisitos de engenharia, o desenvolvimento de hardware e software, a integração de sistemas e a validação funcional de sistemas eletrónicos integrados para aeronaves.

Procuramos oferecer aos nossos clientes elevados níveis de eficiência e flexibilidade, facultando o melhor serviço dentro dos prazos e budget definidos, sempre de acordo com as normas de segurança aplicáveis, como ARP-4754, ARP-4761, DO-254 e DO-178.

IoT na Indústria Aeronáutica

A Internet das Coisas (IoT) está a mudar significativamente a indústria aeronáutica, afetando os diversos níveis de rede dos sistemas aeronáuticos. Os sensores a bordo das aeronaves retêm enormes quantidades de dados, os sistemas de gestão de passageiros controlam uma grande quantidade de informação complexa e pessoal, e os sistemas de controlo de tráfego aéreo monitorizam constantemente o espaço aéreo, partilhando dados numa escala global.

A proteção dos tripulantes, dos passageiros, dos dados e dos recursos é fundamental para a indústria. A CRITICAL Software, com longos anos de experiência no desenvolvimento de sistemas para empresas líderes no sector aeroespacial, é especializada em arquitetura de software, em teste de sistemas e no desenvolvimento e certificação de aplicações safety-critical. A nossaexperiência em análise e gestão de dados provenientes de sensores e a aplicação dos mais rigorosos padrões, como o RTCA/EUROCAE DO-178C, ajudam-nos a assegurar a correta implementação de software, dentro dos requisitos exigidos pelos sistemas relacionados com a IoT e pela Critical National Infrastructure (CNI).


Serviços de RAMS e Suporte à Certificação na Aeronáutica

A indústria aeronáutica possui dos requisitos de certificação mais rigorosos. Estes requisitos formam um largo ecossistema que abarca subsistemas, equipamentos e software instalados em aeronaves, bem como em infraestruturas críticas de controlo de tráfego aéreo (CNS / ATM). Compreender toda a gama de requisitos de certificação e as suas implicações, constitui um fator chave para o sucesso dos projetos aeronáuticos. Igualmente importante é perceber qual a melhor forma de atender a esses requisitos dentro da especificidade de projetos concretos – eficiência na execução e eficácia na certificação são ambas fundamentais para o sucesso do projeto.

Contando com uma equipa de engenharia muitíssimo especializada e parceiros de renome mundial, a CRITICAL Software ajuda os seus clientes a executar projetos aeronáuticos (de software e sistemas), de forma eficaz e eficiente. Os nossos serviços de RAMS e Suporte à Certificação incluem:

  • Análise de lacunas nos projetos: identificação de lacunas face aos requisitos de certificação e determinação da melhor forma de as superar, atendendo às necessidades específicas do projeto e do cliente.
  • Definição base da certificação: identificação do conjunto completo de diretrizes, disposições normativas e da documentação relevante, incluindo TSO/ETSO, formulários, memorandos de certificação e outros itens que sejam aplicáveis a um projeto específico.
  • Suporte & SOI/LOI e planeamento de projeto: definição de planos para aplicação das normas DO-178B/C e DO-254, totalmente adaptados às necessidades específicas, a fim de maximizar a conformidade e a eficiência do projeto. Pode também ser combinado para ajudar na preparação de revisões formais (SOI/LOI) com as autoridades certificadoras.
  • Análise de RAMS: cálculo da confiabilidade de equipamentos eletrónicos (MIL-HDBK217, RIAC 217 Plus), avaliação da segurança funcional de sistemas embebidos e de infraestruturas CNS/ATM C&C (ARP 4754, ARP 4761, IEC 61508).
  • Formação sobre os principais padrões da indústria para o desenvolvimento de software e hardware eletrónico embebido no sector aeronáutico: DO-178B, DO-178C, DO-278 e DO-254. O conteúdo do curso pode ser personalizado, de modo a atender às necessidades específicas do cliente.

Verificação e Validação de Sistemas Críticas na Indústria Aeronáutica

As viagens aéreas comerciais são um dos meios de transporte mais seguros. Os indicadores de segurança aérea têm vindo a melhorar sistematicamente desde 1945, de tal forma que a probabilidade de um indivíduo ser atingido por um relâmpago é maior do que a probabilidade de ser vítima de um acidente de avião. Um indicador de segurança tão impressionante para um sistema tão complexo quanto o de uma aeronave nunca poderia ser alcançado sem o esforço de implantação de testes de Verificação e Validação (V&V), destinados a garantir que tudo funciona de forma adequada.

As atividades de V&V em projetos aeronáuticos são governadas por um ecossistema rigoroso e abrangente de padrões industriais que incluem DO178B/C, DO-254, ARP-4754A, ARP-4761 e muitos outros. O desafio para projetos específicos e para a indústria em geral é continuar a melhorar os indicadores de segurança de sistemas, cada vez mais complexos, e fazê-lo sem colocar em risco a competitividade do sector. Para enfrentar este desafio, a indústria deve confiar em organizações que incorporam uma cultura de segurança positiva e que são qualificadas para realizar atividades de V&V, de forma completa e eficiente. Estes desafios tornam-se bastante mais visíveis quando verificamos que a evolução das normas de regulamentação, como a introdução do DO-178C, coloca ainda mais ênfase nas atividades de V&V. São esperadas evoluções semelhantes na indústria, como a nova adaptação da norma DO-254A e de outros padrões como ARP-4754 B e ARP-4761 A.

Na CRITICAL Software, a segurança está no âmago da nossa cultura e raison d’être. As nossas atividades de V&V aeronáuticas são realizadas por uma equipa de engenharia dedicada e com sólidos conhecimentos adquiridos através de muitos projetos DAL-A e DAL-B. A equipa é competente no cumprimento de prazos apertados, enquanto executa integralmente todas as atividades de V&V e entrega a respetiva prova formal.

Os nossos serviços de V&V para o sector aeronáutico incluem:

  • Verificação de Requisitos e Design de Software: incluindo requisitos de alto nível (HLR), requisitos de baixo nível (LLR), design de software e precisão de algoritmos - abrangendo os objetivos da norma DO-178B / C nas tabelas A-3 e A-4.
  • Verificação do código-fonte: incluindo uma revisão exaustiva de código para assegurar a correção e rastreabilidade em relação aos LLRs, bem como a correção dos parâmetros de configuração do SW, caso estes existamEste tópico abrange, mas não se limita aos objetivos da DO-178B/C na tabela A-5.
  • Teste de Integração de SW (SI) e de Integração HW/SW (HSI): incluindo testes unitários, de integração de software e de integração HW/SW.A CRITICAL Software favorece testes SI e HSI em desfavor de testes unitários, menos capazes para aferir a correção do sistema, e faz uso da sua própria Multi-Purpose System Validation Facility (MPSVF) para automatizar testes com hardware-in-the-loop. Sempre que a MPSVF é usada para testes formais, a CRITICAL Software fornece também o respetivo pacote de qualificação da ferramenta para DO-178B ou DO-330. Este tópico abrange, mas não se limita aos objetivos da norma DO-178B/C nas tabelas A6 e A-7. O MPSVF pode ser usado para cumprir objetivos além da DO-178B/C.
  • Verificação e Testes de ASIC/FPGA: incluindo verificação de requisitos e de documentação de design, revisão de código-fonte HDL (Verilog, VHDL) e teste da implementação em simulador – abrangendo os objetivos de verificação da DO-254 / ED-80, aplicáveis às CPLD, FPGA e ASIC complexas, incluindo as disposições do memorando de certificação da EASA, EASA-CM-SWCEH-001.

A CRITICAL oferece aos seus clientes uma abordagem única de quatro fases para dar resposta aos seus requisitos específicos de V&V:

  • V&V Setup & Go: suporte à criação de um ambiente V&V eficaz e capacitação no uso de ferramentas e recursos chave;
  • V&V Analyser: suporte à identificação de lacunas existentes nos projectos de acordo com os standards relevantes da respetiva indústria;
  • V&V Accelerator: equipa de resposta rápida para superação de picos de trabalho em projetos ou em cenários desafiantes ou não planeados de V&V;
  • V&V Plus: um serviço abrangente e feito à medida para suportar o espectro completo de atividades de V&V.

Saber mais
V&V Setup & Go
V&V Setup & Go
Descarregar ficheiro
V&V Accelerator
V&V Accelerator
Descarregar ficheiro

Formação em Segurança Funcional

A CRITICAL Software oferece formação dirigida por engenheiros seniores, especializados no setor aeronáutico, sobre a aplicabilidade das normas DO-178C, DO-254 e DO-278A. Os nossos especialistas têm mais anos de experiência na administração de cursos de formação do que qualquer outra entidade. Com cerca de vinte anos de experiência em sistemas de software na indústria aeronáutica de alta complexidade, a nossa equipa já formou mais de 6,000 engenheiros e gestores.


DO-178C

Especialmente concebido para todos os que possuem um conhecimento básico em DO-178B ou em outras normas safety-critical, este curso fornece uma visão detalhada acerca dos conceitos, objetivos e princípios fundamentais dos padrões de certificação, introduzindo os conhecimentos indispensáveis para evitar os erros e riscos mais comuns, apresentando igualmente as melhores práticas e as mais recentes técnicas de certificação para a aplicação da norma em contextos militares ou civis. Saiba mais e inscreva-se no curso aqui.


DO-254 & ED-80

O curso fornece um conhecimento sólido sobre a relação entre o DO-178C e as normas de certificação de hardware DO-254 e ED-80. A formação permite desenvolver um conhecimento profundo dos princípios básicos e objetivos das normas, incluindo as melhores práticas e conhecimentos essenciais para passar em auditorias e seguir com sucesso os requisitos exigidos, de forma mais económica e eficaz. Saiba mais e inscreva-se no curso aqui.


DO-278A

O curso explora a relação entre as normas DO-278A e DO-178C, bem como a aplicabilidade das mesmas em sistemas não embarcados CNS/ATM. Esta formação examina a fundo os princípios que suportam as normas, desenvolvendo uma sólida compreensão dos requisitos de segurança, de software e de hardware, por forma a assegurar conformidade com os requisitos de um modo mais eficaz, económico e seguro. Saiba mais e inscreva-se no curso aqui.


DO-178C & DO-254

O curso engloba as normas DO-178C e DO-254 de forma conjunta, assegurando a compreensão dos seus objetivos e analisando as melhores ferramentas e as melhores práticas para cumprir os seus requisitos de um modo mais eficaz e económico. Saiba mais e inscreva-se no curso aqui.


Para mais informações sobre o nosso trabalho na indústria da Aeronáutica, clique aqui.


Saber mais
Flyer | Segurança Funcional na Indústria Aeronáutica
Flyer | Segurança Funcional na Indústria Aeronáutica
Descarregar ficheiro

Quer saber mais sobre o nosso trabalho na indústria aeronáutica?

Carregue no botão abaixo e faça download do nosso white paper sobre safety-critical validation.

Fazer download


Fale connosco!

Carregue no botão abaixo e um dos nossos especialistas entrará em contacto consigo.

Contacte-nos