Electronics designed for use in aerospace vehicles.
file
Abstract:
The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.
file
Abstract:
This cross-disciplinary project brings together a team of engineering and computer science researchers to create, validate, and demonstrate the value of new techniques for ensuring that systems composed of combinations of hardware, software, and people are designed to operate in a truly synergistic and safe fashion.
file
Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi 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.
event
Submitted by Anonymous on Tue, 10/15/2013 - 4:46pm
FM 2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
