Having trouble reading this press release? Click here to read this in your browser. | ||||||
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 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 ASDCreating 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 Enrollment is open. Feel free to contact us for more details or tailor made training needs. For more information?For more information about Verum and the ASD:Suite, please feel free to contact us. Pass on the news 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. |
||||||
Verum Software Tools BV, Laan van Diepenvoorde 6, 5582 LA, Waalre, The Netherlands |
||||||
|