Software in critical applications must operate safely and reliably. Since testing can only show the presence of defects, but not their absence, how can engineers be confident that their software is robust? Using static code analysis with formal methods, it is possible to prove the absence of certain run-time errors in source code. By using these techniques software teams are able to quantify where software may or may not fail.
This webinar will introduce advanced verification techniques for software intended for critical applications. Through demonstrations, case-studies, and examples, attendees will learn how to:
1. Develop and verify high quality software
2. Use workflows and tools that improve software quality and reliability
3. Prove to certification authorities that certain types of defects can never occur
Jay Abraham is currently a Technical Manager at The MathWorks. His area of expertise is in software tools for the verification of critical embedded applications. He has 21 years software and hardware design experience. Jay began his career as a microprocessor designer at IBM followed by engineering and design positions at hardware, software tools, and embedded operating systems companies such as Magma Design Automation and Wind River Systems. He has held vice-chairmanships in IEEE standards committees and has presented at conferences and publications such as the Design Automation Conference, Embedded Systems Conference, International System Safety Conference, and Systems and Software Technology Conference. Jay has a MS in Computer Engineering from Syracuse University and a BS in Electrical Engineering from Boston University.
Loading more stuff…
Hmm…it looks like things are taking a while to load. Try again?