Verocel is excited to join Wisk in the development and certification of its fully autonomous eVTOL aircraft. Learn more here.

Tools and services for system and software development and verification

Verocel’s expertise in RTCA/DO-178 and DO-254, IEC 61508, ISO 26262, EN 50128 and IEC 62304 certification standards enables system and software developers to meet regulatory compliance for hardware and software. Our unique skills in certification of complex hardware, software components, partitioning and constraining run-time applications for use in safety-critical platforms have enabled dozens of customers to succeed.

System, software and complex electronic hardware development

Our skills in certification also extend to development of safety critical systems.

Industry leaders

Verocel offers expert tools and services to aid customers in software or system verification across multiple industries where safety assurance is critical. As leaders in independent software and system verification, Verocel has set the industry baseline for procedures and processes with numerous successful certifications/verifications.


TTTech logo
Wind river logo
Mentor graphics logo
GE Aviation logo
FAA logo
RTI logo



Curtiss-Wright Defense Solutions is an industry-leading designer and manufacturer of highly engineered systems built to perform reliably in harsh conditions. We lead the way in developing and marketing advanced solutions that address the rapidly evolving requirements of naval, aerospace and ground defense customers. Curtiss-Wright’s Safety-Certifiable COTS modules and systems reduce the cost and development risk for designers of systems with DO-254 and DO-178B requirements by providing the design artifact packages required to support successful safety certification.

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over twenty years of experience working with the most respected companies in the avionics, aerospace and defense industries, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software.

GrammaTech’s advanced static analysis tool, CodeSonar, is used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software.

Solid Sands is based in Amsterdam, the Netherlands. Our mission is to put quality into C. We do that by improving the quality of C and C++ compilers, libraries and analysis tools, and their safe and secure use, with the best possible test and validation suite. With SuperTest, Solid Sands helps its customers to achieve the software quality level required by the ISO language and functional safety standards. With our history in compiler development, our knowledge of past, current and upcoming versions of the C and C++ standards, new analysis and optimizations techniques and new use cases, Solid Sands stays at the fore-front of tools testing and validation.