BitWise increase their use of formal methods to develop critical embedded software

Software tools company Escher Technologies Ltd. today announces that BitWise Ltd. will use Escher Technologies' flagship product Perfect Developer to specify and design their most safety-critical systems e.g. IEC61508 SIL4.

BitWise business is to assist product development R&D. The majority of BitWise business is safety critical or high reliability software, for example medical device software. Douglas Eadie, BitWise, commented “Escher Technologies software follows a very pragmatic methodology to provide proven software. We were impressed by the automation and ease of adoption of the verification proofs. Ensuring the quality of design and architecture is key. If companies accurately costed quality issues and product launch delays, their whole approach to R&D would change.”

David Crocker, CEO of Escher Technologies, commented “We are very proud to be able to help an organization of the calibre of BitWise Group. Through our work with them, we look forward to further development of our range of software verification products to our mutual advantage.”

About Perfect Developer
Perfect Developer is a tool for developing formal functional specifications of systems and refining them to software implementations. It produces mathematical proofs to show that the specifications are self-consistent and that the implementations behave in accordance with them.

About Escher Technologies
Escher Technologies Limited was founded in 1995 to research and develop leading-edge software development technology, emphasizing the use of precise specifications, automated reasoning and code generation.

Through close contact with academic organizations and involvement of our staff in workshops and conferences, we are able to apply the latest developments in automated reasoning technology to our products, thereby helping to reduce the cost of developing critical software.

About BitWise Group
Founded in 1987, with locations across Northern Europe, BitWise provides professional systems and software services to a European and US client-base. The company offers a range of consultancy, design, implementation, verification and validation services to clients operating in a range of sectors with a demand for high quality and reliability, for example: medical, defence, high integrity communications, financial transactions and safety critical automotive control.

www.bitwisegroup.com

Contact information:
David Crocker, Escher Technologies Ltd, Mallard House, Hillside Road, Ash Vale, Aldershot GU12 5BJ, United Kingdom
Tel. +44 (0) 20 8144 3265
http://www.eschertech.com/contact/index.php

Douglas Eadie, BitWise Ltd.
Tel: +44 (0) 1383 625151
http://www.bitwisegroup.com/contact.htm