Dr. Darren Cofer is a Fellow at the Rockwell Collins Advanced Technology Center. His principal area of expertise is developing and applying advanced analysis methods and tools for verification and certification of high-integrity systems. His background includes work with formal methods for system and software analysis, the design of real-time embedded systems for safety-critical applications, and the development of nuclear propulsion systems in the U.S. Navy. He has served as principal investigator on government-sponsored research programs with NASA, NSA, AFRL, and DARPA, developing and using formal methods for verification of safety and security properties. Dr. Cofer served on RTCA committee SC-205 developing new certification guidance for airborne software (DO-178C). He is a member of the RTCA Forum for Aeronautical Software, the Aerospace Control and Guidance Systems Committee (ACGSC), and a senior member of the IEEE. He earned his Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin.
- From Design Contracts to Component Requirements Verification
- Requirements and Architectures for Secure Vehicles
- Taming the Complexity Beast
- You Keep Using That Word
- Certification Considerations for Adaptive Systems
- Towards Realizability Checking of Contracts using Theories
- Requirements Analysis of a Quad-Redundant Flight Control System