Solid Sands and Verum receive funding for joint MIT R&D project ISAFE

Solid Sands and Verum Software Tools announce that their joint Integrated Safety for Deeply Embedded Systems Software (ISAFE) project has been approved for MIT funding.

Solid Sands, the supplier of SuperTest test and validation suite for C and C++ compilers and libraries, and Verum Software Tools, creator of the Dezyne software engineering toolset for efficiently building verifiably correct embedded software, have a mutual ambition to develop and market an integrated service for the development of safety-critical systems software.

With this ISAFE project, Verum and Solid Sands aim to create a continuous integrated approach to the development and test of safety-critical software that meets all safety standards and requirements. The ISAFE project will run for a period of one year, with the fruits of the project being released in the latter half of next year.

More Information...

Latest News from Solid Sands

Solid Sands: SIG evaluates SuperTest quality as defined in ISO/IEC 25010 standard
Solid Sands: SuperTest to improve quality of C language in Silexica’s SLX tool suite
Solid Sands: industry leaders form Embedded Tools Alliance
Solid Sands and Verum receive funding for joint MIT R&D project ISAFE
Solid Sands updates SuperTest with C11 and extended C math library tests
Solid Sands expands into Japanese market
Solid Sands: partnership with Vector Software for compiler validation
Solid Sands announced SuperTest Mondrian Release with MISRA-C Compilers can now be tested for conformance to MISRA-C:2004