Publicado em: 18/12/2012

Pesquisador do Nasa Ames Research Center palestra no INF

O pesquisador Ewen Denney, do Nasa Ames Research Center, ministrará palestra no Instituto de Informática, dia 18 de dezembro, terça-feira, às 15h30min, na sala 106 do prédio 67. O título da palestra é “Towards Rigorous Argument-based Assurance”. O palestrante tem trabalhado com safety cases e com síntese e verificação de programas.

TERÇA-FEIRA, 18 de DEZEMBRO de 2012
———————————————————
Horário: 15h30min
——————————————————–
Local: Sala 106 prédio 67 – Instituto de Informática, UFRGS
——————————————————–

Palestrante: Ewen Denney, NASA Ames Research Center

Título: Towards Rigorous Argument-based Assurance

A safety (or assurance) case is a set of claims linked to a body of evidence by an argument structure, which collectively provides a convincing and valid justification that a system is acceptably safe (or meets its assurance requirements) for a given application in a defined operating environment. The development of a safety case has become common practice for the certification of systems in many safety-critical domains, but the development, evaluation, and maintainenance of safety cases is still largely a manual process.

We describe a method for the automatic assembly of aviation safety cases by combining auto-generated argument fragments derived from the application of a formal method to software, with manually created argument fragments derived from system safety analysis. Our approach emphasizes the heterogeneity of safety-relevant information and we show how such diverse content can be integrated into a single safety case. We illustrate our approach by applying it to an experimental Unmanned Aircraft System (UAS) under development at NASA.

Short bio:
Dr Ewen Denney is a senior computer scientist with SGT at the NASA Ames Research Center in Moffett Field, CA where he currently leads a research group that is seeking to establish a formal basis for safety cases, in particular software safety cases, develop a tool to support this, and apply this work to NASA problems.

He has worked on automated code generation and safety certification in the aerospace domain, developing substantial AI-based systems for the the automated generation of code for scientific computation, and the certification of autocode.

He is the author of more than 50 publications on formal methods and program synthesis, and has served on numerous program committees and scientific advisory boards. He has chaired and co-chaired several conferences, including Software Certificate Management (2005), the inaugural NASA Formal Methods Symposium (2009), Proof Carrying Code and Software Certification (2009), Generative Programming and Component Engineering (2011), and will chair Automated Software Engineering (2013). He is also a member of the IFIP Working Group on Program Generation, and an honorary fellow of the University of Edinburgh.