Feasibility study to a C++ library test-suite for safety-critical applications (C++SAFE)

Amsterdam based Solid Sands is the leading provider of C and C++ compiler qualification technology in Europe, North-America and Asia. Its mission is to improve the quality of C and C++ compilers and their safe and secure use by providing the SuperTest compiler validation suite. Next to a tool for compiler validation, SuperTest can also be used for standard C library qualification. However, at the moment it cannot test and qualify C++ library code. Since C++ is now widely used in the development of software for embedded systems and safety-critical systems, it is important for Solid Sands to develop a test-suite for the validation and qualification of C++ standard library code. With this feasibility study, Solid Sands wants to examine the technical and economic feasibility of such a test-suite for C++ standard library code.? ? The evaluation of this feasibility project will be used to:? - Provide more insight into the risks and opportunities of the pre-commercial R&D phase.? - Improve and expand the current business models.? - Support a GO/NoGO decision to invest in the development of the technology platform for the C++ standard library test-suite and the implementation of the relating business model.? ? This technical feasibility study starts on 17 April 2018 and lasts until 31 December 2018. The project costs will amount up to 67.000 EUR, based upon:? - 52.000 EUR R&D man-hours? - 15.000 EUR third party costs? Hence, a MIT contribution of 25.000 EUR is requested.