Workshop Dependability and Certification - Coimbra - 28 e 29 SET 2011

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

Mais informação aqui.

0 Respostas em "Workshop Dependability and Certification - Coimbra - 28 e 29 SET 2011"

Powered by Blogger