Product category:
Design and Development Software
News Release from: Verum
Edited by the Electronicstalk Editorial
Team on 16 November 2004
Dutch programme to focus on automotive
software
Verum Consultants is to sponsor research at the Technical University of Eindhoven to develop a rigorous methodology for the production of verifiable embedded software for automotive applications.
Verum Consultants is to sponsor a two-year research programme at the Technical University of Eindhoven to develop a rigorous methodology for the production of verifiable embedded software for automotive applications Verum will work with the Laboratory for Quality Software (LaQuSo) at the Technical University of Eindhoven and provide access to its ASD analytic software design technology for research purposes
This article was originally published on Electronicstalk on 17 Sep 2004 at 8.00am (UK)
Related stories
Quality crisis hits the embedded software industry
Increased reliance on embedded software in electronic products gives rise to three degrees of failure.
Analytical design speeds software development
The application of Analytical Software Design on behalf of Philips Applied Technologies has resulted in a 10x reduction in software defects in comparison with the traditional approach.
ASD enables complex software specifications to be described and verified mathematically prior to development.
The programme has been developed in response to the Society for Automotive Engineers draft standard published in May for the Architectural Analysis and Design Language (AADL).
AADL specifies standards for embedded hardware and software systems in cars.
LaQuSo will investigate the practical application of the draft AADL standard and determine its relevance to Verum's target customers in the automotive sector.
In addition, the programme will investigate the availability of analysis tools to support its application in practice and devise a methodology to integrate AADL into Verum's current ASD technology approach.
"The application of embedded software in automotives has come under close scrutiny in recent months, with several high profile software failures".
"The Verum sponsored programme will seek to develop a practical implementation of the Society for Automotive Engineers standard, where we can detect design errors as early as possible", said Prof Jan Friso Groote from LaQuSo, Technical University of Eindhoven.
"LaQuSo's philosophical approach to formal methods and software verification matches that of Verum".
"Combined with our work at the University of Oxford this research programme will go a long way to developing a rigorous methodology for software development for the automotive sector", said Robert Howe, Chief Executive, Verum Consultants.
Verum also sponsors a research programme at the Computing Laboratory at the University of Oxford into the application of formal methods in an industrial design environment.
• Verum: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
