• Examine how formal specifications, formal models, and formal methods can be used in verification • Summarize what model checking is and how it can be used in embedded systems verification • Recite the theory behind satisfiability (SAT) solvers, satisfiability modulo theories (SMT) solvers, and model checking • Simulate how model checking can be used for real time, continuous, and hybrid systems • Discuss program analysis, both static and dynamic, and software tools for performing static and dynamic analysis of embedded software in languages such as C • Contrast automated and interactive theorem proving and its use in embedded systems verification WHO SHOULD ATTEND Embedded software engineers, software testers, or engineers who have had at least a year of software or embedded systems design experience, are responsible for embedded systems and/or system architecture and want to learn how formal methods can enhance functional safety in cyber- physical systems would benefit from attending. Familiarity with mathematics at the level of an undergraduate degree in engineering, computer science, or relevant experience in software design, implementation, and testing in software. CONTENT HIGHLIGHTS DAY ONE • Formal Specifications and Formal Models • Case Study Formal Specifications and Models DAY TWO Model Checking and Formal Verification • Model checking • Advanced models: Real-time models • Case Study Formal Verification DAY THREE Static/Dynamic Analysis, Theorem Proving, and Other Analyses • Static and Dynamic Analysis • Theorem Proving • Case Studies and Recent Automated/Interactive Theorem Proving Successes INSTRUCTOR Taylor T. Johnson Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) Vanderbilt University Formal Specifications and Models • Introduction to Formal Methods • Mathematical Background
I.D.# C1876
SCHEDULE Future offerings are being scheduled for this course. Check the course web page for the most up-to-date schedule and information.
FEES List:
$1,800 $1,620
Members:
THREE-DAYS/2.0 CEUS
Get the complete course description and register: sae.org/learn/content/c1876
13
3 ways to get a no-obligation price quote to deliver a course to your company Call SAE Corporate Learning at +1.724.772.8529 | Fill out the online quote request at sae.org/corplearning Email us at Corplearn@sae.org
Made with FlippingBook Online document