Critical Software Workshop on Dependability and Certification

Main topics of the workshop

• Formal verification of software
  • Requirements modeling and verification
  • SW Model Checking
  • Automatic Test Generation
• Fault Injection
• SW qualification

• Safety, RAM, and Certification (standards)
  • Nuclear IEC-60880
  • Railway Domain, EN50126/8/9
• Verification and Validation of Safety Critical Systems
• Safety Evaluation of Systems
• Robustness Testing

Critical Step

The CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP) is a Marie-Curie Industry-Academia Partnerships and Pathways (IAPP) belonging to call FP7-PEOPLE-2008-IAPP. It aims at establishing the basis for a long term strategic research collaboration between partners involved in this project in the growing and challenging domain of software for large-scale Safety-Critical Systems (SCSs) based on the use of Off-The-Shelf (OTS) software.

The project partners are: FCTUC - University of Coimbra (PT), Critical Software SA (PT), CINI - University of Naples (IT), SESM (IT).
Project website: www.critical-step.eu

Evolve

The EVOLVE (Evolutionary Validation, Verification and Certification) is an collaboration project, developed by the consortium leader Critical Software SA and the University of Minho, were the consortium defines as major intention the sustained development of innovative know-how throughout the cooperation between R&D institutions and companies appointed for Embedded Systems, co-funded by € 258.335,56 (two hundred and fifty eight thousand euro and fifty-six cents) by QREN, under the Operational Programme for Competitiveness Factors, contracted with ADI throughout the Contrato de Concessão Incentivos Financeiros n.º 2008/001621 with the total amount of investment of € 404.131,97 (four hundred and four thousand, one hundred and thirty one euros and ninety seven cents) with execution period comprehended between the 01-06-2008 e 31-09-2011.
The goal of the EVOLVE project is the creation of a methodological framework for early verification and validation of evolutionary products through the accredited/certified integration of each iteration and/or component in a MDE (Model Driven Engineering) context.
Project website: www.evolve-itea.org

Key Speakers

Lisa P. Montgomery

Delegated Program Manager of OSMA SARP, NASA

Lisa Montgomery is the Delegated Program Manager for NASA's Office of Safety and Mission Assurance (OSMA) Software Assurance Research Program (SARP). The SARP provides NASA with the software assurance practices, methods, and tools needed to keep pace with the ever increasing complexity of software on NASA missions.

Assuming management of the SARP in 2007, her focus has been to transform the program from one that had a traditionally academic focus, to an applied program. The SARP program now works with NASA missions and projects, which have included Ares, Grail, Juno, SMAP, MLS as well as flight software, ground software, and institutional support projects to field-test best practices and deliver meaningful and actionable lessons learned which inform OSMA training and NASA standards.

Ms Montgomery earned Bachelor's degrees in Computer Science and History and a Master's degree in Education from West Virginia University as well as designation as a Developmental Education Specialist from the Kellogg Institute, Appalachian State University. Prior to joining the NASA family she pursued doctoral studies in Educational Psychology at West Virginia University while helping academically at-risk students to succeed in the college environment.

Talk: Software Assurance Challenges at NASA

Martin Feather

Principal in the Software Assurance Technology and Research group of the JPL Quality Assurance Office, of the Jet Propulsion Laboratory, California Institute of Technology.

Dr. Martin S. Feather is a Principal in JPL’s Software Quality Assurance group. Over the last 15 years at JPL he has performed applied research in software validation (analysis, test automation, V&V techniques) and early phase decision support (requirements engineering and risk management). He has published contributions in areas of automatic programming, formal specification, program evolution, runtime monitoring, verification and validation, test automation, software assurance, optimization, and risk.
See eis.jpl.nasa.gov/~mfeather/.

Prior to joining JPL he was a researcher at the University of Southern California’s Information Sciences Institute, and before than earned a BA & MA, from Cambridge University, England, and a Ph.D. in Artificial Intelligence from the University of Edinburgh, Scotland.

Talk: Safety and Dependability Cases for NASA Domain

Luís M. Pinho

Professor and researcher at School of Engineering of the Polytechnic Institute of Porto (ISEP)

Luís Miguel Pinho has a PhD (2001) in Electrical and Computer Engineering at the University of Porto, and is currently a Professor in the Computer Engineering Department of the School of Engineering of the Polytechnic Institute of Porto. He is Research Associate and Vice-Director of the CISTER research unit, where he leads the real-time software research line. He started to be interested in real-time software when he had to choose the wrong paradigm and language for a large industrial real-time embedded system, just because it was the only language with a tool chain available for a particular platform. Since then he is working on providing better abstractions and technologies for programming real-time embedded systems. He has published several papers in international conferences and journals in the area of real-time embedded systems, and participated in the Organization and Program Committees of several international conferences in the area. He served as General Chair and Program Co-Chair of the Ada-Europe 2006 conference, and is Editor-in-Chief of the Ada User Journal.

Talk: Multicore Development and Certification

Agenda