“Over the last decade high tech systems have become more powerful, but also increasingly complex from software point of view. Sioux excels in engineering control systems by mastering and applying technologies like Verum’s model-driven software engineering tools. For more than 5 years these tools have boosted our ability to create defect free software. It is absolutely true that there is an increased productivity, resulting in reduced development and maintenance costs and therefore more room for adding customer value”Michael van de Ven, Software Technology Specialist, Sioux Embedded Systems BV
“FEI designs, manufactures, and supports the broadest range of high-performance microscopy workflows that provide images and answers in the micro-, nano-, and picometer scales. For over 5 years we have been working with the first generation of Verum’s model-driven software engineering tools. Their fully integrated design, verification and code generation toolset has delivered major benefits for FEI in terms of finding errors early and delivering better software at a lower cost. We have been involved in the development of the second generation of their tools and we expect that the new modelling language will minimise the overhead we have encountered so far in terms of learning curve and system integration issues.”Martijn Kabel, R&D SW Manager, FEI Company
Become part of our community and get started today
Benefit from the experience and the expertise of our team and other
A Simple Example
Register now and we will send you a download link to a free fully featured evaluation version
Sign up now and benefit!
Dezyne Release 1 Free DownloadJuly 2, 2015
The Verum team is pleased to announce that Dezyne Release 1 is now available for you to download. Click on the link and download a free version of Dezyne for non-commercial use now!
Release 1 is the first commercially supported version of Dezyne. It includes the following key features:
Open Modelling Language. Dezyne is based upon an open, powerful text based design-modelling language that is easy for C, C++, C#, Java programmers to use and includes standard programming concepts such as: variables, assignments, functions, if-then-else statements, etc.
Simple Simulation. The Dezyne simulation engine enables you to explore your mental model of a design. Build and replay sequence traces. Step through your model statement by statement and follow all variable updates and state changes in detail. Confirm that your design is doing what you would expect.
Automated Formal Verification. At the touch of a button Dezyne’s powerful mathematical verification engine will figure out if there are any nasty problems in buried in your models, including design errors and concurrency problems. With Dezyne you eliminate interface errors, illegal behaviour, deadlocks, race conditions and more.
Graphical Views. Dezyne’s graphical views make communicating your design to the other guys simplicity itself. The views are continually projected directly from your models and include a state chart view, state table view, event table view, system architecture view and a sequence trace view. Make a snapshot of a view to include in your documentation.
Code Generation. With Dezyne you can generate code for most common languages and operating systems, including C, C++, C# or Java, targeted at Windows, OS X, iOS, Android, Green Hills Integrity or any Posix compliant OS. Integration with legacy software is straightforward and easy to learn.
Full Integration with the Eclipse IDE. Release 1 of Dezyne is fully integrated into Eclipse and runs on Windows, Linux and OS X. Dezyne comes with command line tooling enabling it to be seamlessly integrated with standard build environments.
And much, much more… Architectural specification, integrated help, info centre, built-in examples, ASD model converter, to name a few.
Get started with Dezyne now by downloading our free-to-use version.
Engineering tools for software controlled systems
Verum exists because our team, along with our customers, believes that there’s a better way to build software systems. We mean to provide software engineers with a range of tools that will free their creativity, liberating them from the constraints of conventional development methods and opening up a new, organised and fun way to create sophisticated software controlled systems.
Robert Howe founded Verum in 2004 with the belief that there was a better way to develop complex embedded software. Through the application of proven mathematical techniques, Verum has developed unique technology that is at the heart of our new generation of software design tools.
Verum has established reference customers for its technology which include leading companies such as Philips, ASML, FEI and Ericsson (to name a few). Through these projects we have demonstrated that our products deliver a net 30%-50% improvement in productivity and a corresponding decrease in time to market and software defects.
Results such as these have helped Verum’s customers to continue to innovate while driving quality improvements.
Based close to Eindhoven in The Netherlands, Verum maintains close ties with researchers of the Technical University of Eindhoven (TU/e) and of Oxford University in the UK.
ContactVerum Software Tools BV
Laan van Diepenvoorde 6, 5582 LA Waalre, The Netherlands
Company info: Tel: +31 40 235 9090
Tel: +31 40 235 9094
Become part of our community and get started todayBenefit from the experience and the expertise of our team and other