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
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
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
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
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