Development tools

Specializing in Secure systems

The experts in the field of developing defect free code will reveal several methods that assist in the process.

Presentations will be made by:

Esterel –Scade Julien LOYER

“The next generation of Embedded Software Development Factory”

When developing embedded applications following the traditional process, projects managers and teams face issues with:

a.        Communication between Systems and Software teams
b.        Code Quality
c.        Maintainability
d.        Specification enhancement
e.        Team turnover and Competence Capitalization
f.        Modularity of team members
g.        Late bug discovery
h.        Cost of V&V and IT protection

Esterel SCADE model based design environment proposes solutions to these issues through the full life-cycle:

The SCADE product family helps real-time embedded system and software engineers address specification quality and accuracy by providing formal, deterministic, and verifiable specifications.  The formal graphical model is proposed as the common reference to bridge the gap systems and software teams. Requirements are easily traced into and throughout the design process, and design documentation is always accurate and up to date.   SCADE reduces the cost of implementation and verification by providing both static and dynamic analysis at the model level, enabling design flaws to be caught early in the development process when they are less costly to fix.  Furthermore, automatic, certified code generation technology virtually eliminates low-level testing, therefore saving time and money in the verification process.

Julien LOYER graduated in 2005 from the ENIB (National Engineering School of Brest) with a speciality in Industrial Computer Science. He then studied HMI modelisation tools with autocode generation at Thales Avionics. He joined Esterel Technologies in 2006, where he is establishing/customizing SCADE factory for prospects/customers.

Parasoft Wiktor Grodowski

“Multiple Error Detection Techniques in Embedded Software Development”

As in every other aspect of our life, there is no one silver bullet for
finding and fixing each and every defect in the embedded software. But over the years several techniques has been developed for this very purpose. The best results can be achieved by using all of them together, this however takes time and effort.

In this seminar we will demonstrate how c++test can assist in defects detection in the embedded software, by automating following techniques:

-       Code structure analysis

-       Runtime memory monitoring while executing on target

-       Flow based static analysis

-       Unit testing

Each of above techniques provides maximum benefits for a certain type of defects and in certain conditions. C++test, the most comprehensive
embedded C/C++ quality tool, gives you power to easily use them all together.

Wiktor Grodowski is a technical consultant with Parasoft Corporation. He  has also been involved in the development of C++test, Parasoft's  automated code analysis and unit testing tool, for Windows Mobile platforms. Wiktor is working for Parasoft since 2005 and holds MSc in Computer Engineering.