From research to industry
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation.
Discover the main research areas on which the CEA works.
Find the latest scientific and institutional news of the CEA.
The CEA publishes various scientific and technical periodicals and videos. Through them, you can discover the CEA’s major research topics and the latest technological innovations produced by its laboratories.
Innovation for industry | Software technologies
Dramatically faster, cheaper verification for guaranteed software reliability and robustness to cyberattacks.
TrustInSoft helps software developers achieve source code reliability and immunity to known types of cyberattacks, a unique offering available worldwide.
Using the Frama-C source code analyzer developed by CEA and Inria, TrustInSoft has developed a full suite of C & C++ software analysis tools and services. They provide mathematical evidence of their reliability (zero bugs) and immunity from known types of cyberattacks. These tools make software validation much, much simpler. Usually, software is validated by performing an array of test attacks, with no way to guarantee that all possible scenarios have been covered. TrustInSoft runs a single analysis and provides guarantees to its customers. In aeronautics industry use cases, software validation time and cost have been reduced by 75%.The startup holds a license to a CEA patent. Initially focused on critical applications (nuclear, aeronautics), it now focuses on the automotive and consumer electronics industries. It generates 70% of its revenue from exports, 50% from sales to customers in the United States.
TrustInSoft tools currently secure 57 million electronic devices, in energy, video games, and telecoms
Year founded: 2013Originating institute: CEA-List
CEA is a French government-funded technological research organisation in four main areas: low-carbon energies, defense and security, information technologies and health technologies. A prominent player in the European Research Area, it is involved in setting up collaborative projects with many partners around the world.