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
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.
David Crocker, Escher Technologies Ltd, Mallard House, Hillside Road, Ash Vale, Aldershot GU12 5BJ, United Kingdom
Tel. +44 (0) 20 8144 3265
Douglas Eadie, BitWise Ltd.
Tel: +44 (0) 1383 625151