FEI expands the use of Verum's ASD:Suite into more parts of its electron microscopes software stack

Verum Software Technologies B.V. (Waalre) announced today that FEI is expanding its use of Verum's ASD:Suite into more parts of its electron microscopes’ software stack. FEI started using Verum's patented Analytical Software Design (ASD) automation tooling in 2009 to model, verifying and automatically generating software for the vacuum systems within its electron microscopes.

Verum will support FEI in expanding the use of ASD:Suite beyond the initial pilot concluded last year. Besides using the ASD:Suite themselves, FEI is also requiring several of its European embedded software subcontractors to also use the ASD:Suite.

The motivation of FEI to use formal methods tooling, such as the ASD:Suite, stems from the company's commitment to continuously improve product quality while pushing the limits of innovation. Customers benefit by increased reliability, uptime, and enhanced user satisfaction.

"Verum's ASD:Suite will enable FEI to build software components that have minimal to zero software defects. In addition, by aligning with our software supply chain partners who also use the ASD:Suite, we can expect that the software we receive from them is also of high quality. This means that the software is precise, complete, correct, and even traceable. The pilot project we ran last year proved these facts and showed that using the ASD:Suite increased our overall productivity", said Dirk-Jan Swagerman, director of software engineering of FEI Europe.

"FEI is one of the leading innovators in the field of electron microscopy worldwide. To maintain this edge, Verum is committed in supporting FEI in rolling out the ASD:Suite for use in its electron microscopes. Verum's ASD:Suite will assist FEI in implementing a model-driven environment within its software engineering department that is scalable, encourages reuse, and produces software verified to be virtually defect free", said Robert Howe, C.E.O. of Verum.