Websites using safety critical software as a keyword

A trusted innovation and engineering partner of UK businesses in the aerospace, defence, automotive, energy, life sciences, rail and telecoms sectors.

Intergraph is the leading global provider of engineering and geospatial software that enables customers to build and operate more efficient plants and ships, create intelligent maps, and protect critical infrastructure and millions of people around the world. Intergraph is part of Hexagon.

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.

Mission-critical and business-critical software solutions for public safety, utilities, communications, transportation, government and security.

Performance Software specializes in safety critical software development and real-time embedded systems for aerospace, defense, healthcare and energy.

Supplier of embedded devlopment tools and consultancy for safety critical, high reliability and mission critical systems. Member of ISO C, ISO C++ panels and Principal Author of MISRA-C:2004

Esterel Technologies is the leading provider of software development and critical systems solutions in the Avionic, Rail, Industrial & Energy, and Automotive field.

Phixos develop and verify real-time embedded safety critical systems for leading OEMs within the Aerospace, Rail, Defence and Automotive industries.

Providing One-Way and Two-Way Wireless Messaging products and services for businesses, hospitals and government agencies. Guaranteed reliable, cost-effective wireless communications.

Luciad builds software components that allow mission critical organizations to deliver geospatial situational awareness applications for the Aviation, Defense, Maritime, Public Safety and Homeland Security and Utilities andLogistics industries.

The home page for AristaTek, Inc, the makers of the PEAC-WMD software for first responders.

Privacy-PC with Internet Security tools guides you through the news, reviews, tips and software needed for protection in other critical privacy and security

Connecting life’s most important data in the healthcare and emergency response community with software solutions, data analytics and services for EMS, hospitals, community paramedicine (CP), critical care, fire, and preparedness to enable fully integrated patient-centric healthcare and public safety. ImageTrend combines business analysis, creative design and database driven architecture to offer scalable solutions and strategies for today and the future.

Technical writing services: user guides, manuals, safety-critical instructions.

Ada is a great language for engineering large, complex systems.

codeBeamer ALM by Intland Software – Application Lifecycle Management software for scaled Agile product development and safety-critical compliance.

HIPPEROS is a family of new multitasking hard real-time operating systems (RTOS) for safety critical applications, specifically designed to provide the highest reliability, predictability and performance while using multicore architectures efficiency, taking into account their specific constraints and features.

Embedded Software Validation Solutions for Safety-Critical Certification to Standards: RTCA DO-178C / DO-278Aand EUROCAE ED-12B /ED-109), Medical (FDA/CDRH 510(k and PMA, ISO-14971, IEC 60601 / IEC 61508 / 62304, Industrial IEC 61508 and Transportation and Rail systems IEC 62679, EN-50128, IEC 61508, 49CFR236 Subpart H

AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.

Connecting life’s most important data in the healthcare and emergency response community with software solutions, data analytics and services for EMS, hospitals, community paramedicine (CP), critical care, fire, and preparedness to enable fully integrated patient-centric healthcare and public safety. ImageTrend combines business analysis, creative design and database driven architecture to offer scalable solutions and strategies for today and the future.