Art Control Systems / Distribution Unlimited 3 Securing Cyber-Physical Systems / Distribution Unlimited / Rockwell Collins / Boeing / High Assurance Systems CPU Time / Microsoft / Recurity Labs / High Assurance Cyber Military Systems / Siemens / /
Country
United States / /
Currency
USD / /
Event
FDA Phase / /
Facility
SpecWare library / /
IndustryTerm
on these tools / intrusion detection systems / real-time deadlines / verification tools / communication protocols / hybrid systems / flight control systems / attack-resilient control systems / security software / /
OperatingSystem
L3 / /
Organization
UCLA / ASIC / DARPA Public Release Center / MIT / Yale / Department of Defense / /
Person
Stefan Woronka / Kathleen Fisher / Daniel Le Berre / /
Position
Remote Attack Vectors Mechanic / Window Manager / Director of Industrial Security Services / Manager May / I2O Program Manager / /
Product
Pilot / Yale / seL4 / Public Release / I2O / /
ProgrammingLanguage
RC / C / Simulink / /
ProvinceOrState
Minnesota / /
TVStation
WCET / /
Technology
ASIC / Data Logging Control Algorithms File System Network Protocol / Communication Protocols / RTOS / operating systems / DSL / GUI / /
High Assurance Cyber Military Systems (HACMS) Making sure you are in control of your vehicle Kathleen Fisher, I2O Program Manager May 20, 2013