The Trusted Methods team develops and demonstrates methods and tools to support the specification, design, verification and certification of safety-critical, computer-based and cyber-physical systems. We work with government research sponsors in the U.S. and Europe, and across Collins Aerospace, to advance both the state of the art and the state of the practice. This includes:

  1. Automation for verification, including requirements analysis and test generation
  2. Development practices that respond to cyber resilience and autonomy assurance challenges
  3. Certification evidence generation, integrated with development practice
  4. Promoting higher design quality with fewer escapes; reduced time to market and costs; product differentiation in emerging technology areas
  5. Engaging with and often serving as liaison among customers and regulators

Focus areas

  • Model-based safety and security analyses
  • Methods and tools for cyber resilience
  • Requirements analysis and automated test generation
  • Automated certification technologies
  • Software and component analyses
  • Certification and trustworthiness of machine-learning and autonomous systems
  • Assured design generation