WP5: Eclipse Qualification Process Support

Intent

Based on the requirements of ISO26262 for the development of safety-critical applications in vehicles, a qualification / classification of tools, which are used in the development process, will be required.
WP5 has set itself the goal to work on this topic for Eclipse Plugins, which are used in this context.
Taking into consideration several standards (ISO, EN, DO, IEC) we want to elaborate a guideline for Eclipse Plugin developers / validators, which is conform to ISO26262 and DO-330. Furthermore we want to provide an Eclipse Tool Qualification Kit.

Meetings and Activities

Kick off Meeting 07.03.2012. The meeting protocol can be found here [1]

In WP5.1 we decided to use the DO-330 as basis for qualification of Eclipse-based tools, since
it fits to the ISO 26262 but also to other standards like the DO-178C,..
We are checking especially if the ISO 26262 requires less than DO-330.

We propose to extend the Eclipse plugin mechanism to additional data that contains
all required information for qualification of the plugin.
By building a formal (EMF) model for this data we can automate many steps during
the development and qualification process like: Determination of the tool confidence level,
determination of the qualification state, verification of syntactical consistency and completeness
and generation of requried documents from the requirements specification until the test report with
MC/DC coverage of the code.
Furthermore we create generic documents that ensure the DO-330 compliance of the process
Like "How-To Qualify Eclipse-Based Tools", "Tool Development Plan", "Tool Verification Plan",...

The concept has been elaborated within several steps and covers now all aspects of the DO-330.
Since the presentations are extended, it suffices to read the latest.

Is ready now with a complete coverage of DO-330. It can be used for demonstration and will be improved.
It is waiting for an offical DO-330 compliance review before it shall be used in official projects.
For ISO 26262 either a separate compliance tracing and review would be necessary, or an agreement
on the mapping of TCL and ASIL to TQLs.

We (Validas, BMW-CarIT) are currently working on the demonstration.
Others can yoin if they are interested in contributing and willing to spend and document some effort.

The demonstration shall develop a transition criteria checker tool for the DO-330 to determine
the qualification state of a tool based on the DO-330 qualification model of the concept.
The plan with functions, milestones etc. can be found at http://wiki.eclipse.org/images/0/08/Demonstrator.pdf

We will synchronize within the WP5 telcos on next steps and report progress (effort & milestones).