Conference to discuss Verification Tools and Techniques for Embedded Software

Specialist technology company LDRA have announced that they will be presenting at The UK Device Developer's Conference, taking place May 2013.

Entitled "Verification Techniques that Improve Code Quality, Developer Productivity and Enable Certification/Qualification", this presentation will explore how conflicting demands for productivity and quality in safety- and security-critical software development environments have driven software development teams to look for automated solutions in the areas of requirements engineering, model-based design, code generation, and system/software verification.

“These technologies are key to ensuring productivity and quality in environments that enforce both overall safety- and security-related processes and compliance to standards such as DO-178B/C in aerospace, IEC 61508 in industrial applications, ISO 26262 in automotive, IEC 62304 for medical device software, and EN 50128 for rail transportation,” said Ian Hennell, Operation Director at LDRA Ltd.

For forty years LDRA has provided automated analysis and testing tools for software applications on which people's lives depend. Blue chip companies in the aerospace, defence, nuclear, industrial, railway, medical and automotive sectors use LDRA tools to test their applications to safety-critical standards.

"In this presentation, we will review verification criteria for both hand-written and automatically generated embedded code," said Ian. "We will discuss target verification tools, techniques, and services for languages ranging from C/C++, Java, Ada and Assembler that ensure embedded code matches the design and satisfies requirements, even in highly iterative or agile development environments.  We will also discuss integration with complementary tools such as MathWorks MATLAB/Simulink, Esterel SCADE and IBM Rational Rhapsody, showing how these tools and techniques can streamline the development process to enhance both developer productivity and the quality of the resultant code."

The Device Developers' Conference is an event for engineers and software developers working in the field of intelligent systems and devices.  The aim of the event is to provide a productive forum whereby engineers can meet with key industry experts and design tool and hardware vendors, as well as undertaking half-day workshops that offer new skills and knowledge and attending key technology presentations.

"This presentation is a great fit for this event,” said Richard Blackburn, Event Organiser. “Code quality and verification is increasingly an important factor in the development of intelligent systems and devices and LDRA is very much a leader in this field. I feel sure that many engineers will be pleased to have the opportunity to gain from their extensive experience in this field.”

Other companies attending this event and presenting include single board computer manufacturer Blue Chip Technology, embedded systems development consultants Pebble Bay and German debug tool company Lauterbach. Topics will range from the 'Management of Linux code for Commercial Projects' to 'An Engineer's Guide to Off The Shelf Hardware'.

Attendance at the Device Developers' Conference is free to engineers and project managers working in the technology sector, although the half-day workshops will be subject to a small charge.

About The Device Developers’ Conference

The Device Developers’ Conference is planned to be an annual UK event for the developers of intelligent systems and devices. The 2013 event will take place in May, in Cambridge, Bristol and Manchester.

The objective is to provide an event that provides engineers with an opportunity to learn about the latest tools, technologies and techniques for the successful development of leading edge electronic products and systems.

Sponsored by a broad range of industry vendors, the exhibition and conference is free to engineers and project managers working in the technology sector.

For more information visit: http://www.device-developer-conference.co.uk

Contact: Richard Blackburn
E-mail: richardb(at)energi-tech.co.uk
Tel: 01603 439569

About LDRA

For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States and an extensive distributor network. For more information on the LDRA tool suite, please visit: www.ldra.com.

Please send reader enquiries to:

Mark James
Email: [email protected]