AI is improving software development efficiency, but organizations developing safety-critical systems must ensure AI-enabled tools are used safely and compliantly. In this webinar, experts from Validas AG and Perforce Software discussed how static analysis, formal methods, and emerging AI safety standards can help teams adopt AI with greater confidence in regulated environments.
Key Takeaways
- Applied tool classification and qualification principles from functional safety standards, including emerging requirements from ISO/IEC TS 22440 for AI-enabled development tools.
- Demonstrated how Perforce Static Analysis findings can be transformed into AI-generated refactoring recommendations using an OpenSSL defect example.
- Explored how formal methods, including the Validas R3 prototype, can verify AI-generated fixes and help prevent unintended side effects.
Presenters
Steve Howard
Steve has more than 15 years of experience in the software verification and validation space — the majority of that working with static analysis.
Steve has a first-class degree in Computer Science from the University of Wales, and several post graduate qualifications in software testing and safety certification.