WAS Ltd, operating under the name High Integrity Systems, specializes in providing robust embedded software solutions. They are known for their flagship product, the SAFERTOS real-time operating system, which is designed to deliver high levels of safety and reliability for critical applications. Their offerings are particularly suited for industries such as automotive, medical, aerospace, and industrial sectors that require stringent safety certifications and compliance. Through their website, https://www.highintegritysystems.com/, WAS Ltd offers detailed information on their products, safety standards, and the wide range of applications their systems support.