Notícias
A Critical Software organiza o 1º Workshop Internacional de Certificação de Software (WoSoCER)
21 Nov 2011
A Critical Software co-organiza e promove um workshop sobre Certificação de Software (WoSoCER). Este workshop está integrado no 22º International Symposium on Software Reliability Engineering do IEEE, que decorrerá entre 29 Nov e 2 Dez de 2011, em Hiroshima, no Japão. Este workshop é dirigido a pesquisadores e engenheiros da academia e da indústria, bem como a autoridades governamentais e de certificação, e a todos os interessados em questões de certificação de software. Pretende promover uma discussão alargada em torno dos maiores desafios atuais do setor e a partilha de experiências entre a comunidade Japonesa e os participantes internacionais.
A certificação de software está se tornando crucial para as empresas que desenvolvem sistemas críticos de missão e segurança. Como resultado dos desastres relacionados com software, alguns profissionais e autoridades acreditam que o licenciamento ou certificação é hoje inevitável. Atualmente, não há um acordo sobre quais os métodos de desenvolvimento e avaliação, técnicas, ferramentas ou mesmo métricas de avaliação mais adequadas para fornecer dados nos quais basear a certificação de software.
Este evento é co-organizado pela Critical Software, em parceria com as Universidade de Duke (EUA) e de Napoli Federico II (Itália) e vai juntar vários relatórios experimentais, trabalho de pesquisa e palestras, nomeadamente do Dr. Alberto Avritzer, da Siemens Corporate Research, de Princeton (New Jersey, EUA).
Os principais temas do workshop incluem: Melhoramentos metodológicos para o processo de desenvolvimento de software a certificar; Técnicas de modelação, formalismos, processos de medida, novas métricas, técnicas, estratégias e ferramentas para a área da Certificação de Software; Experiência prática em casos de estudo reais respeitantes a software certificado ou a certificar.
Integrados no projeto Europeu CRITICAL STEP, peritos da Critical Software foram convidados a integrar o painel sobre Fiabilidade de Software para Sistemas Críticos de Missão, juntamente com peritos dos Estados Unidos, Japão e Reino Unido. Os integrantes do painel, todos trabalhando nesta exigente área, vão partilhar as experiências recentes de verificação e validação de software em sistemas críticos de missão. A discussão vai abordar áreas tradicionais (nuclear, aeropespacial), bem como áreas emergentes do software crítico de missão e os seus desafios de fiabilidade específicos. Nuno Silva, Gestor de Programa da Critical Software, vai representar a Critical Software nesta sessão plenária que decorre a 29 de Novembro no ISSRE.
Para mais informação, visite http://2011.issre.net/content/1st-international-workshop-software-certification-wosocer
