p Os sistemas ciberfísicos combinam eletrônicos, software e mecânica. Eles são altamente complexos, e além de muitas possibilidades de aplicação, levanta uma série de questões. Eles dependem de software livre de erros, e a questão da garantia de qualidade comprovada torna-se cada vez mais urgente. Usando o exemplo de veículos autônomos, uma equipe do Instituto de Engenharia de Software da TU Graz, juntamente com a AVL List GmbH, desenvolverá metodologias para garantia de qualidade em tais sistemas no âmbito do "Laboratório Christian Doppler para Metodologias de Garantia de Qualidade para Sistemas Ciber-Físicos Autônomos". A tomada oficial de partida para este atualmente sétimo laboratório de CD ativo da TU Graz soou no Assembly Hall da TU Graz ontem, 3 de abril de 2018. p O laboratório Christian Doppler foi concebido para durar sete anos. A Christian Doppler Society e o parceiro corporativo fornecerão dois milhões de euros, com metade disso vindo do setor público. O órgão de financiamento mais importante é o Ministério Federal da Digital, Negócios e empresas para os quais os laboratórios de CD contam entre os instrumentos mais importantes na interface entre a ciência e a economia.

p Ministério da Economia promove pesquisa básica e inovação

p "Quer sejam veículos autônomos ou Indústria 4.0, para garantir que a digitalização funcione, seus sistemas e aplicativos devem ser seguros, "frisou a Dra. Margarete Schramböck, Ministro Federal de Assuntos Digitais e Econômicos. “Este CD Lab dá um importante contributo para isso e ao mesmo tempo reforça a competitividade do parceiro corporativo. Não só todos os envolvidos mas, em última análise, toda a sociedade vai beneficiar com as novas respostas aos desafios da digitalização. "

p "Certificado MOT 'para software de sistemas autônomos

p Ainda há uma série de obstáculos para veículos autônomos, desde a viabilidade técnica e questões legais até a aceitação geral pela população. Do ponto de vista da indústria automotiva, a questão de garantir a segurança é primordial. Franz Wotawa, O chefe do novo laboratório de CD explica:"Ousadamente afirmou:um carro tradicional tem que passar por uma inspeção regular e recebe um certificado MOT (certificado de condições de rodagem). Em um carro autônomo, o próprio software é um elemento que deve cumprir critérios de alta qualidade e ser certificado. Para isso, são necessários procedimentos de inspeção padronizados. Queremos agora desenvolver métodos e técnicas para esta garantia de qualidade no laboratório de CD junto com AVL usando a direção autônoma como um caso de aplicação, mas também que seria válido em um sentido amplo para todos os sistemas físicos cibernéticos. "

p A cooperação de muitos anos entre a AVL e a Christian Doppler Society permitiu à empresa aprofundar seu conhecimento de tecnologias e métodos e, assim, expandir seu portfólio de produtos. Mihai Nica, contato e parceiro de pesquisa da AVL, confirma:"Para trazer veículos autônomos para o mercado, a indústria precisa de novas abordagens de verificação no campo da informática e software. O desafio está em definir um programa de teste que possa salvaguardar esses sistemas autônomos acionados por software em relação a todas as situações críticas de tráfego. "Nesse sentido, o laboratório de CD complementa as atividades de pesquisa da AVL no campo de medidas de garantia de qualidade para veículos autônomos.

p Desenvolvimento de métodos de teste padronizados

p Para poder testar um carro autônomo, você tem que deixá-lo dirigir por cerca de 200 milhões de quilômetros. Em comparação, com carros tradicionais, você precisa de 10, 000 ou 20, 000 quilômetros. No contexto de testes virtuais, que são uma alternativa viável, carros autônomos, bem como sistemas de autoaprendizagem e adaptativos em geral levantam algumas questões importantes:Quais cenários ocorrerão? Como eles serão combinados uns com os outros? E, em particular:em relação a um sistema que se aprende e se adapta constantemente, quando você sabe que ele foi suficientemente testado e quando você pode emitir uma garantia para isso?

p Na estrutura do laboratório de CD, os pesquisadores também se aplicarão à questão de como o sistema pode encontrar sua saída de cenários desfavoráveis ​​de forma independente. Wotawa:"Temos que saber em que estrutura funciona um sistema ciber-físico autônomo, por exemplo, o que absolutamente não deve acontecer. E quando o pior cenário acontecer, como o sistema pode ser salvaguardado para que tome medidas para sair desta violação das condições o mais rápido possível. "Tal violação no caso de um carro autônomo, por exemplo, seria quando o carro quisesse frear ou acelerar, mas os sensores informam que os pneus não reagiram. "O sistema não deve apenas reconhecer imediatamente que algo aconteceu, também é uma questão urgente de como ele reage. "

p Mas mesmo fora da indústria automotiva, medidas de garantia de qualidade para software de sistemas eletrônicos interativos, seja para comunicação, transferência ou monitoramento de dados, estão em demanda agora. Franz Wotawa enfatiza:"O exemplo da direção autônoma é um caso de aplicação para nós em que podemos ilustrar nosso trabalho teórico no contexto do laboratório de CD. Existem muitas outras aplicações de sistemas ciberfísicos que nada têm a ver com autônomo dirigindo, por exemplo, Produção Inteligente, a Internet das Coisas (IoT) com seus modelos de negócios digitais e robótica. "