Dependable Computing LLC

Dependable Computing LLC, based in Charlottesville, VA, specializes in applied research, advanced development, and technology transfer within safety and security critical application domains. The company focuses on providing systems and software engineering solutions for applications where dependability is essential, particularly in fields such as aviation, medical devices, automotive electronics, and security-critical information systems.

The team at Dependable Computing possesses extensive expertise in advanced technologies, offering formal mathematical verification, rigorous safety and security cases, and software assurance for critical applications. Their ongoing projects include the development of assurance cases for safety-critical avionic systems and research into safety engineering lifecycle proof techniques for security properties of complex systems.

Generated from the website