Automated reasoning cuts the cost of developing critical embedded software

Software tools company Escher Technologies Ltd. today announces that General Dynamics UK Ltd. will use Escher Technologies' flagship product Perfect Developer to specify and design a safety-critical airborne stores management system.

Guy Mason, Senior Software Engineer at General Dynamics UK Ltd, said “Our need is to meet the requirements of defence standard 00-55 to Safety Integrity Level 4. Escher Technologies software met our requirements best. We were especially impressed by the automation of verification proofs, which will substantially reduce our costs, and by the level of support provided by Escher Technologies.”

David Crocker, CEO of Escher Technologies, commented “We are very proud to be able to help an organization of the standing of General Dynamics UK Ltd. 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 General Dynamics UK

General Dynamics United Kingdom Limited, a wholly owned subsidiary of General Dynamics (NYSE: GD), is a leading player in the UK's knowledge economy and industrial base. Established in the United Kingdom for over 40 years, it employs around 1,600 people at 10 UK and international facilities. A prime contractor and complex systems integrator, working in partnership with the Ministry of Defence (MoD) and other allies, growing key intellectual property, skills and capabilities in its UK research facilities and workforce, whilst harnessing world-leading technology. General Dynamics UK led a key MoD Defence Technology Centre research consortium and, together with a growing C4I export programme, plays a central role manufacturing and developing technology to deliver network enabled capability and ISTAR in the battlespace.

The Company is widely recognised as a leading contender to supply and integrate the next generation of Armoured Fighting Vehicles for the British Army. For further information visit www.generaldynamics.uk.com.

General Dynamics, headquartered in Falls Church, Va., employs approximately 92,300 people worldwide. The company is a market leader in business aviation; land and expeditionary combat systems, armaments and munitions; shipbuilding and marine systems; and information systems and technologies. More information about General Dynamics is available online at www.gd.com.

Defence Matters

General Dynamics United Kingdom Limited is proud to support Defence Matters, a campaign by the UK defence industry to raise awareness and understanding of the industry's work. The UK defence industry is proud to support our Armed Forces. We develop and manufacture the equipment that they use, maintain facilities and equipment and deliver pre-deployment training, with some industry personnel on the frontline working alongside our troops, maintaining and operating equipment. The industry also provides over 300,000 high-value engineering and manufacturing jobs, many of which are in the regions with the highest unemployment levels. To find out more about Defence Matters go to www.defencematters.co.uk.

Contact information:

David Crocker, Escher Technologies Ltd, Mallard House, Hillside Road, Ash Vale, Aldershot GU12 5BJ, United Kingdom
Tel. +44 (0) 20 8144 3265
Email us here!

Andrew Boyle, General Dynamics UK Ltd.
Tel: +44 (0) 20 7932 3445
andrew.boyle@generaldynamics.uk.com