This course is designed to provide students with an introduction to formal methods as a framework for the specification, design, and verification of software-intensive embedded systems, with foci around provable functional safety and security targeted at cyber-physical systems (CPS). Formal methods topics include formal system specifications, automata theory, model checking, and automated/interactive theorem proving. Examples are driven by control systems and software systems from the automotive domain.
Students must bring their own laptop computers which should have Matlab, Advisor & Simulink installed.
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.
Course attendees should have an undergraduate degree in engineering, computer science, or related fields to have at least one year of experience working in industry in software-related areas of embedded systems, CPS design and engineering, or relevant experience in software design, implementation, and testing. No prior knowledge in formal methods or formal verification is necessary.
Note: See related course, Introduction to the Secure Microkernel, seL4, for more in-depth training.
SAE Members: $1440.00 - $1620.00
You must complete all course contact hours and successfully pass the learning assessment to obtain CEUs.
To register, click the Register button above or contact SAE Customer Service 1-877-606-7323 (724-776-4970 outside the U.S. and Canada) or at CustomerService@sae.org.