LynuxWorks, Inc, is contributing development resources from its LynuxWorks SARL, and its key LynxSecure technology to the Distributed MILS for Dependable Information and Communication Infrastructures (D-MILS) project, a European initiative funded by the European Commission that is being managed by The Open Group.

The LynxSecure separation kernel and embedded hypervisor has been chosen for the program, and LynuxWorks is undertaking further development of this technology to support the distributed needs of D-MILS.

In addition to the LynxSecure technology, LynuxWorks’ office in Paris, France is extending the technology and contributing to the development of a framework for the construction of complex and assured distributed critical systems.

D-MILS is coordinated by The Open Group and supported by the European Commission to extend the MILS architecture to distributed (“Cloud-based”) critical systems in aerospace, transportation, communications and other industries.

The project partners are investing more than €3.8 million (US$4.9 million) to develop a scalable architecture that automates the verification of critical distributed systems and substantially increases system dependability.

Other partners in the D-MILS consortium include:  Fondazione Bruno Kessler, Université Joseph Fourier, RWTH Aachen University, University of York, TTTech, Frequentis and fortiss.