|
ENTRADA LIVRE
Inscrições até dia 28 de Julho
A Critical Software realizou a Sessão Pública de apresentação do Centro de
Demonstração do projecto Yes!VV, no dia 30 de Junho, no Hotel Tivoli
Oriente, em Lisboa.
O projecto Yes!VV tem por objectivo demonstrar em Portugal um processo
inovador no domínio da Verificação e Validação Independente de Software. A
aplicação da metodologia de ISVV (Independent Software Verification and
Validation) dá resposta às necessidades de garantia (independente) de
qualidade e fiabilidade associadas ao desenvolvimento de software.
O processo de ISVV propõe a realização de uma actividade paralela, e
independente, ao desenvolvimento de software ou sistema. O ISVV aumenta o
nível de fiabilidade de um sistema de software traduzindo-se na redução do
risco e custo durante o desenvolvimento e ao longo do tempo de vida do
sistema.
Esta metodologia, que nasceu aplicada a sistemas críticos no sector
Aeroespacial, tem potencial de adopção para outros sectores de actividade
onde o custo das falhas dos sistemas têm, tipicamente, um impacto elevado em
termos de segurança de pessoas e bens, bem como consequências económicas,
financeiras e de imagem.
PROGRAMA
Local: Hotel Tivoli Oriente
Data: 30 de Junho 2008
Manhã (Business session)
09:30 – 10:00 Apresentação da Critical Software (Nuno Almeida, Critical Software)
10:00 – 10:45 Utilização e vantagens do processo de ISVV (Nuno Silva, Critical Software)
10:45 – 11:00 Coffee-break
11:00 – 11:45 Experiência da EFACEC no projecto (Luís Roboredo, EFACEC)
11:45 – 12:00 Apresentação do projecto Critical Fórum (Gonçalo Quadros, Critical Software)
12:00 – 12:30 Debate: moderador (Nuno Almeida, Critical Software)
12:30 – 14:00 Almoço
Tarde (Technical session)
14:00 – 14:45 Estudo de ferramentas e métodos formais de análise (Prof. Pascoal Faria e Prof. Ana Paiva, FEUP)
14:45 – 17:00 Demonstrações – utilização de ferramentas como suporte às actividades de ISVV:
14:45 – 15:15 UML + Model checking (José Miguel Faria, Critical Software)
15:15 – 15:45 Análises estáticas [PC-lint/Splint] (João Esteves, Critical Software)
15:45 – 16:00 Coffee-break
16:00 – 16:30 Análise de métricas [Understand for C] (Ricardo Barbosa, Critical Software)
16:30 – 17:00 Verificação de conformidade com standards [TestOO] (Xavier Ferreira, Critical Software)
17:00 – 18:00Debate: moderador (Nuno Silva, Critical Software)
18:00 Encerramento (Nuno Cunha, Critical Software)
|
