 Verum ConsultantsCompany Description:Guy Broadfoot and Robert Howe founded Verum Consultants in 2003. They specialise in the mathematical design and verification of complex software for the OEM, automotive, medical and telecoms markets.Through their experience with world class software development organisations, Broadfoot and Howe observed that many were becoming increasingly dependent on the success of complex software systems. Crucially, the performance and reliability of these systems impacted their financial performance. They also saw that predictability in software development remained the biggest challenge for these organisations despite them having invested substantial resources in software development process improvements and testing centric quality strategies. With the industry shift towards the use of complex embedded software in concurrent, control and state machine applications increasing the need for predictable and verifiably correct solutions, Broadfoot and Howe came to the conclusion that the answer didn´t lie entirely in the area of process or testing. Something else was missing. What Broadfoot and Howe realised was that the success of business critical software relies on establishing that software designs are correct before implementation. Predictable and reliable software systems can only be achieved if designs are rigorously verified prior to implementation. Verum Consultants increase the predictability of the outcome of the software development process. By dynamically modelling and formally verifying designs for completeness and correctness, Verum´s consultants are able to produce rigorous implementation specifications for a wide variety of behaviourally complex software problems. Verum adds this element to a client´s own engineering process by working closely with the client´s software architects and designers. Together with the clients team, Verum´s consultants ensure that designs are stated in a way that lends them to formal modelling and verification. Following verification, the client usually implements the designs. Verum´s consultants return to verify that the implementation is a correct reflection of the design and to assist the client with statistical testing of the end software product. Because this technique is much like other mathematical verification methods, such as the finite element analysis used to verify structural designs, Verum´s approach allows for the most complex concurrency and control errors to be discovered early on. As a result, businesses are able to bring reliable products to market predictably and cost effectively. Worldwide Headquarters:
|