Summary

Even though we are a young company, our key personnel have over 20-years experience developing safety-critical (to SIL4) / security-critical (to EAL7) Critical National Infrastructure (CNI) within Aerospace, Defence, Rail, Cybersecurity, Nuclear, Automotive. This includes the development and independent verification and validation of flight-control systems, train braking / management systems, self-drive cars and air traffic management. Whilst our specialism is safety-critical software, we have proven experience across the whole safety lifecycle including:

• Safety management system development

• Safety and assurance standards identification

• Functional Hazard Analysis development (both at whole system and sub-system level)

• Hazard and Operability Analysis

• Safety Requirements Capture

• Safety Architectural Design

• RAMS hardware analysis

• Independent Verification and Validation (both hardware and software)

• Safety and assurance audits

• Operational Safety Case development

Through our active engagements with the UK Civil Aviation Authority and through our R&D work within the UKRI Future Flight Challenge, we are applying our disciplined, rigorous approach to safety including new Urban Air Mobility (UAM) vehicles. Our directors are contributing the CAA’s eVTOL Safety Leadership Group, and also the DfT’s Future Airspace Integration Working Group (FAWIG). We are currently working on new safety cases / standards for autonomous flight - right at the intersection of machine learning / AI and safety-criticality, where non-deterministic Autonomy may create new hazards and emergent system properties.

For FHA and HAZOP development we can work with the usual ARP4762 / ARP4754 flow down schemes but we also are able to develop safety frameworks using Goal Structured Notation (GSN) or Bow Tie Models.

Within automotive, we have a deep understanding of MISRA standards - having worked on one of the world’s largest MISRA C/C++ code bases (both on the development and verification validation) and our experience of ISO26262 has been applied to the emerging self-drive car industry.

We have a deep understanding and experience of software safety / security  standards across all industries including Common Criteria, ISO27001, PCI-DSS, OWASP ASVS, CERT (secure coding), IEC 62443, DO-178C (to DAL-A), ISO26262, CENELEC 51028, ED-109A (to AL1) and also relatively recent aerospace cybersecurity standards such as DO-326A and DO-356A. We offer safety-critical software development and also Independent Verification and Validation (IV&V) for these standards. We can also advise and support compliance to these standards using the following techniques for cost-efficiency:

• Formal Methods

• Model-Based Systems Engineering

• Model Checking

• Constrained Random Testing

Finally, we offer safety-critical software training (please see our training page for more information).

Ready to talk? Drop us a line at hello@tektowr.com

Skills