Having trouble reading this press release? Click here to read this in your browser.
Press Release Verum
 

Next Generation ASD Prototype Available

Verum 2.0 has been founded on a fresh vision for ASD. We will provide software engineers with the tools to reason about (any part of) a software controlled system without having to execute it, enabling engineers to build software that they can trust, based on evidence.

Since the beginning of this year the Verum team has been working on a new generation of ASD tools that will realise this ambition. The core of the toolset is a new ASD Modelling Language (ASDML) that will provide a rich and flexible set of semantics for designing software controlled systems. While preserving ASD’s existing ability to verify a range of design properties, our new product will support multi-component design simulation, new component and system architecture views and plugins for Eclipse and Visual Studio.

The syntax and semantics of ASDML will be made open, providing customers with the ability to translate ASDML designs into other formats or even generate ASDML models from their own DSLs. Verum will provide a tool to convert ASD:Suite models into ASDML, ensuring that existing customers can upgrade to our new product with maximum ease and efficiency.

On the 17th July at 15:30, Verum will present the first fully functional (although not feature complete) prototype of our new toolset. This prototype will support the conversion of ASD:Suite models to ASDML, editing of ASDML models, simulation of single component behaviour, design verification and code generation to C++. A web-browser based version of the prototype will be available to a select audience on Verum’s co-development community website.

If you are interested in learning more about the new ASD, would like to attend the presentation of our toolset prototype or wish to join our co-development community, call or email us at the usual coordinates.

TU/e & Verum Win Tetracom Project Funding

The Eindhoven region is bursting with innovative software engineering technology, ranging from the applied research performed by the TNO ESI through to the theorectical work done by the TU/e's Department of Computing. The result is a plethora of tools and technologies that potentially have considerable value to industry.

Verum is in the fortunate position of potentially gaining access to some of this technology. The TU/e and Verum have recently won Tetracom funding for a project that will investigate connecting Verum's new ASDML to the TU/e's mCRL2 process algebra and model checking toolset. A successful result will eventually mean that Verum will be able to expand the range and types of verification that can be performed on ASDML models, bringing additional value to its customers.

The project is due to start in September and is expected to deliver its first results within 6 months.

New Investor and Management Team Member

Frank We are pleased to announce that serial entrepreneur and investor, Frank Verschoor, has become both an investor in and executive board member of Verum Software Tools BV. Frank has a long track record in building and financing successful international software and internet companies. Frank shares the Verum 2.0 team’s belief that there is a better way of developing high tech software and recognizes the value of the ASD product range. 

Frank will have an active role in Verum, taking responsibility for Business Development and will work closely with CEO, Robert Howe, on rolling the ASD:Suite out to a broader market. “Frank’s experience and fresh perspective is already helping us to sharpen our approach to the market”, says Howe. “His value based approach ensures that the end user remains central to our thinking about ASD and keeps the team grounded in the needs of the customer.”

     
   

Co-creating ASD

Creating a new generation ASD toolset is not something that we are doing in isolation. We are fortunate enough to have ongoing cooperation from our core customers ASML, Philips, FEI and Sioux. Their attention is ensuring that the value of ASD to customers is kept at the heart of the new product and illustrates the potential for co-creation that exists in this region.

Imagining...

These are exciting times with lots of new develop-ments both inside and outside Verum. We decided it would be fun to write about some of it. So we've created a new blog where we can dream about the future, contemplate the current and ponder the past. Check it out here.

ASD Training

The dates are set for the starting ASD and mastering ASD courses.

Enrollment is open. Feel free to contact us for more details or tailor made training needs.

Starting ASD
September 16-17
October 14-15

For more information?

For more information about Verum and the ASD:Suite, please feel free to contact us.

Tel: +31 40 235 9090
Email: Communications

Pass on the news

Like on Facebook Facebook Like Button

Share on twitter Tweet Button

The ASD:Suite

The ASD:Suite is a unique software engineering platform, incorporating a fully integrated model driven design, automated mathematical verification and code generation. It enables software engineers to build industrial strength software while delivering a net 30%-60% improvement in productivity and a corresponding decrease in time to market.

 
         
   


Just like you, we do not like to receive unsollicited emails. You received this email because you are a valued contact. If you do not wish to receive any further emails from us simply unsubscribe here and you will be removed from our mailing list.