CONTENT HIGHLIGHTS DAY ONE • seL4 Overview • Kernel • Userspace and processes • Capabilities and Cspaces/Vspaces • CAmkES • The Proof • Formal Methods introduction
I.D.# C1874
SCHEDULE July 16-17, 2019 Herndon, Virginia October 15-16, 2019 San Jose, California
FEES List:
• Proof assumptions • Proof implications DAY ONE
$1,460 $1,314
Members:
TWO-DAYS/1.3 CEUS
• Hands-on exercises and labs on: • Building seL4 and an application • Running seL4 systems on hardware • Configuring seL4 applications • Configuring CAmkES applications • Debugging seL4 applications with GDB • Writing an seL4 application that interacts with a hardware device
Get the complete course description and register: sae.org/learn/content/c1874
INSTRUCTORS Nathan Studer Senior Engineer DornerWorks
Robert VanVossen Embedded Engineer DornerWorks
7
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