Secondary Tools Analyses

According to the DoW of WP7, task T7.2, a second phase of means and tools evaluation is starting now. This phase concerns means and tools to complete the primary tool chain.

See the slides and minutes of Paris meeting

Planning

Date	Subject	State	Comment
10-05-2013	Start of benchmark of secondary tools	Done	volunteers are still welcomed
04-07-2013	Session on secondary tools	Done	Presentation of the activities of T7.2
26-09-2013	Start of Thursady telco meetings	Done
07-10-2013	Progress Meeting in Braunschweig	Done
18-10-2013	End of contributions and review on criteria for management tools	Done
22-10-2013	Final version of criteria for management tools	Done
31-10-2013	End of contributions and review on criteria for VnV, safety and transformation tools	Done
08-11-2013	Final version of criteria for VnV, safety and transformation tools	Done
22-11-2013	Final version of assessment for management tools	Done
15-11-2013	End of proposition of new candidates	Done
29-11-2013	Final version of O7.2.1 "Evaluation of tools and methods against the WP2 requirements and task 1 choices" for management tools	Done
29-11-2013	Final version of assessment for VnV, safety and transformation tools	Done
06-12-2013	Final version of O7.2.1 "Evaluation of tools and methods against the WP2 requirements and task 1 choices" for VnV, safety and transformation tools	Done
20-12-2013	D7.2 "Report on all aspects of secondary tooling"	Done	Deliverable for the whole task - Preliminary version
14-01-2014	O7.2.2 "Decision on the supporting tools choice(s)		Decision meeting to analyse the results and decide the chosen approaches
14-02-2014	D7.2 "Report on all aspects of secondary tooling"		Final version

Agenda for Telco presentation

A weekly telco session will be organized each Thursday morning at 10:30, to allow presentation of the candidates. A 20 minutes session is proposed for each candidate. ( telco id :https://global.gotomeeting.com/join/298471213)

Please to fill the following table to choose a session (3rd of October is a German national holiday).

Ref	Date	Subject	Speaker	Categories (VnV, Safety, Management, Transformation)
a	26/09/2013 10:30	ProR (Requirements, Traceability)	Michael Jastram	Management
b	17/10/2013 10:30	CPN Tools	Stefan Rieger (TWT)	VnV
c	17/10/2013 11:00	Frama-C	Virgile Prevosto (CEA)	VnV
d	24/10/2013 10:30	Fiacre and Tina	Silvano Dal Zilio (LAAS)	VnV
e	24/10/2013 11:00	RT-Tester	Uni Bremen	V&V
f	07/11/2013 10:30	EMF & EMF Client Platform	Jonas Helming (EclipseSource)	Management
g	07/11/2013 11:00	EMFStore	Jonas Helming (EclipseSource)	Management
h	14/11/2013 10:30	GSN Safety Case Modelling	Jan Welte (TU-BS)	Safety
i	14/11/2013 11:00	All4tec Safety Architect	Cyril Cornu (All4tec)	Safety
l	28/11/2013 10:30	Diversity	Christophe Gaston - Mathilde Arnaud (CEA LIST)	VnV
n	05/12/2013 10:30	Classical B	MariellePetitDoche (Systerel)	VnV, Transformation
o	05/12/2013 11:00	EventB	MariellePetitDoche (Systerel)	VnV, Safety
p	19/12/2013 10:30	ReqCity	Raphaël Faudou	Management

Repository for the slides: https://github.com/openETCS/model-evaluation/tree/master/Telco_Secondary_slides

Activities covered by secondary means and tools

Verification and validation

Owner: Marielle (while on vacation: Marc)

• Static Analysis
• Test Case handling
• Testing
• Simulation
• Formal proof
• Model checking/ Contract based Analysis
• Documentation

see Verification and validation page

Model transformation and code generation

Owner: Alexander Stante (we still look for a deputy, as Alexander won't be able to start before beginning of September)

see model transformation and code generation page

Data and requirements management

Owner: Baseliyos

• Editing
• Traceability
• storage

see data, function and requirement management

Safety activities

Owner: TBD

• Hazard/Risk Analysis
• Hazard Management
• Safety Case Management
• Documentation management

see Safety activities supports page

Others

Which other activities can be proposed (DoW § 2.1) ?

• System analyses support : how to deal efficiently with the amount of information (usually in informal document) concerning system description ?

Assesment

Please to fill the following table if you are volunteer to assess an approach.

Contact	Formalism / Tool	Categories (VnV, Safety, Management, Transformation)	Assessor 1	Assessor 2	State
Uwe Steinke (SIEMENS)	SCADE Suite	VnV, Transformation, Management	Marielle
Matthias Güdemann (Systerel)	Rodin + pluggins (ProR, ProB, SMT solvers, IUML,...)	VnV, Transformation, Management, Safety
Jan Welte (TU-BS)	CPN-Tools & SPENAT	VnV, Safety			( Stefan Rieger (TWT) as optionnal assessor)
Jan Welte (TU-BS)	Goal Structuring Notation (GSN)	Management, Safety
Alexandre Ginisty (All4tec)	MaTeLo (Model Based Testing tool based on Markov Chains)	VnV, Management	Silvano Dal Zilio (LAAS-CNRS)
Marielle Petit-Doche (Systerel)	AtelierB	VnV
Stefan Rieger (TWT)	UPPAAL	VnV
Stefan Rieger (TWT)	System C	VnV
Cécile Braunstein (Uni. Bremen)	[RT-tester] (https://github.com/openETCS/model-evaluation/wiki/RT-Tester-description)	VnV	Roberto Kretschmer (TWT)
Silvano Dal Zilio (LAAS-CNRS)	Fiacre and Tina, model-checking toolbox for Time Petri Nets	VnV	Stefan Rieger (TWT)
Virgile Prevosto (CEA LIST)	Frama-C	VnV	David Mentré (MERCE)
Christophe Gaston (CEA LIST)	Diversity	VnV
Jonas Helming (EclipseSource)	Xtend	Transformation		Cécile Braunstein (Uni. Bremen)
Stefan Rieger (TWT)	Acceleo	Transformation	Cécile Braunstein (Uni. Bremen)
Christophe Ponsard (Alstom)	ATL	Transformation
Christophe Ponsard (Alstom)	QVTo/SmartQVT	Transformation
Michael Jastram (Formal Mind)	Eclipse ProR	Management	Bernd Hekele (DB)	C. Ponsard (Alstom)
Jonas Helming (EclipseSource)	Eclipse EMFStore	Management	Bernd Hekele (DB)	Michael Jastram
Jonas Helming (EclipseSource)	Eclipse EMF Client Platform	Management	Bernd Hekele (DB)	Michael Jastram
Cyril Cornu (All4tec)	Safety Architect (System Safety Analysis tool)	Safety	Jan Welte (TU-BS)	Merlin Pokam (AEbt)