Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Submitted by Anonymous on October 22nd, 2013
Submitted by Aranya Chakrabortty on October 19th, 2013
Darren Cofer is a Principal Systems Engineer with Rockwell Collinsí Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.
Submitted by Darren Cofer on October 18th, 2013
File
Formally Analyzing Human-User Interactions with Cyber-Physical Systems - Sriram Sankaranarayanan
Submitted by Sriram Sankaranarayanan on October 18th, 2013
Submitted by Kang Shin on October 17th, 2013
Submitted by Peter Seiler on October 17th, 2013
Submitted by Eric Feron on October 17th, 2013
Submitted by LTC Nathan Wiedenman on October 17th, 2013
Submitted by Anonymous on October 17th, 2013
Speaker Bio:
Submitted by Karl Astrom on October 17th, 2013