I am familiar with ESL but not aware of any trading software projects underway at present. They do however have the resources and experience in my opinion to be a player in the market. Here's a bit more info on the company:
"Founded in August 2005, ESL (Engineering Software Lab Ltd) is an Israel-based technical software reseller and professional services company focused on Source Code Analysis, Security, Software Engineering and Development Components. We offer end-to-end solutions that include software, project and consulting services, integration and implementation services, and training. A Parasoft Software Elite Partner, ESL resells and offers certified consulting services for Parasoft's Automatic Error Prevention (AEP) product lines. In addition, ESL is an authorized Parasoft Support Partner, providing responsive, local software support for Parasoft's AEP solutions. ESL is also a certified reseller for Wolfram Research's Mathematica product line.
In addition to partnering with Parasoft Software and Wolfram Research, ESL has established strategic vendor partnerships with various other Software vendors, among them Cenzic,(our solution for Web Applications Security) Objective Systems, SubMain, TeamF1, Armorize (see full vendors list here), and interoperate to provide support for the entire application development lifecycle. ESL also has R&D department that develops and markets technologies that are complementary to its vendor products.
ESL is maintaining and supporting deployment of Open Source products in its areas of expertise, typical example is the Frama C project.
ESL's executive team has a wealth of combined industry knowledge, making the company a dominant player in the Israeli enterprise software quality and development markets. Our team has acquired extensive experience by helping Israeli companies and clients worldwide integrate product development processes departmentally across the enterprise.
At ESL, our team is committed to providing full lifecycle support for developing, testing and delivering market-driven products. From capturing and validating requirements to product testing to ensure that requirements have been met, ESL's focus is on helping customers manage and deliver the highest value products possible."