Wednesday, October 24

 

9:00 - 11:00 Session 5: Model-Based Systems Engineering

• Model-driven migration: a case study, Patrick Fraysse − Crédit Agricole (F)
• A strategy for introducing MBSE, Miguel Angel Mozas Pajares, Carlos Fernandez de la Hoz − Airbus Military (E), and Pablo Lopez Ayllon − Cassidian (E)
• System engineering using a model-approach in railways, Said El Fassi, Stéphane Callet, and Hervé Fedeler − SNCF (F)
• Designing Web model-driven applications, Christophe Keromen− 4D (F)

9:00 - 10:30 Session 6: Requirements & Natural Language engineering

• LEXIOR: A lexical approach for improvement of requirements, Richard Szczepaniak and Frédéric Gil − Cortim (F)
• Using statement-level templates to improve the quality of requirements, Jeremy Dick − Integrate Systems Engineering (GB) and Juan Llorens − Universidad Carlos III de Madrid (E)
• The Requirement Quality Suite, Démo, Jose Miguel Fuentes − The REUSE Company (E)
• Fuzzy semantics and its roles in requirements engineering for aircraft systems, Priya Alexander − EADS Innovation Works (F)
• Requirements specification and analysis with DODT, Stefan Farfeleder − TU Wien (A), Klaus Hörmaier − Infineon (A), Andreas Krall − TU Wien (A), Herbert Zojer and Alois Rainer − Infineon (A)
• Requirement engineering as a stepwise process of information merging, Horst Kandutsch, Johann Kuschnig, Manuel Warum − LIFE (A), Günther Fliedl, and Christian Winkler − AAU (A)
• Requirement engineering as a stepwise process of information merging, Tool demos: LICORA and AVANGUIDE, Horst Kandutsch, Johann Kuschnig, Manuel Warum − LIFE (A), Günther Fliedl, and Christian Winkler− AAU (A)
• Eliminate and automate: How to save time and effort when developing requirements, Colin Hood − Colin Hood Systems Engineering Ltd (GB)
• Intelligent system design tool: A comprehensive PDM/PLM tool, Demo, Vikas Shukla − LAAS & INSA (F) and Michel Malbert − Sigmaplus (F)

9:00 - 10:30 Workshop STV'12 : Model-based software security testing

For more informations, click here

11:00 – 11:30 Break

10:30 – 11:00 Break

11:30 - 13:00 Workshop 2

Model-driven collaborative development: The GALAXY experience
Yves Bernard − Airbus (F), Bernard Coulette − Université de Toulouse (F) et al. to be announced

11:00 - 12:30 Session 6 - contn’d

• LEXIOR: A lexical approach for improvement of requirements, Richard Szczepaniak and Frédéric Gil − Cortim (F)
• Using statement-level templates to improve the quality of requirements, Jeremy Dick − Integrate Systems Engineering (GB) and Juan Llorens − Universidad Carlos III de Madrid (E)
• The Requirement Quality Suite, Démo, Jose Miguel Fuentes − The REUSE Company (E)
• Fuzzy semantics and its roles in requirements engineering for aircraft systems, Priya Alexander − EADS Innovation Works (F)
• Requirements specification and analysis with DODT, Stefan Farfeleder − TU Wien (A), Klaus Hörmaier − Infineon (A), Andreas Krall − TU Wien (A), Herbert Zojer and Alois Rainer − Infineon (A)
• Requirement engineering as a stepwise process of information merging, Horst Kandutsch, Johann Kuschnig, Manuel Warum − LIFE (A), Günther Fliedl, and Christian Winkler − AAU (A)
• Requirement engineering as a stepwise process of information merging, Tool demos: LICORA and AVANGUIDE, Horst Kandutsch, Johann Kuschnig, Manuel Warum − LIFE (A), Günther Fliedl, and Christian Winkler− AAU (A)
• Eliminate and automate: How to save time and effort when developing requirements, Colin Hood − Colin Hood Systems Engineering Ltd (GB)
• Intelligent system design tool: A comprehensive PDM/PLM tool, Demo, Vikas Shukla − LAAS & INSA (F) and Michel Malbert − Sigmaplus (F)

11:00 - 12:30: Workshop STV'12 - contn’d

For more informations, click here
 

13:00 – 14:00 Lunch

12:30 – 14:00 Lunch

14:00 - 15:30 Session 7 Systems engineering

• A systems engineering based design infrastructure for distributed control and building performance simulations, Azzedine Yahiaoui − TU Eindhoven (NL) and Abd-El-Kader − LAAS-CNRS (F)
• Definition, execution and enforcement of standards compliant engineering processes: Concept and case studies, Erich Meier − Method Park (D)
• Empowering graph model of game theory for system design, Vikas Shukla, Guillaume Auriol, Claude Baron, and Hamid Demmou − LAAS & INSA (F)
• Integrating system and software engineering activities, Thierry Le Sergent, Alain Le Guennec, Luc Coyette, François Xavier Dormoy et Bernard Dion − Esterel Technologies (F)

14:00 - 15:30 Session 8 Requirements engineering

• Automatic generation of user role profiles for optimized enterprise search, Matthias Reichhold, Jörg Kerschbaumer, Günther Fliedl, and Christian Winkler − Alpen Adria Universität Klagenfurt (A)
• Information system modeling: an implemented process to system V & V, Philippe Larvet and Michel Lanque − Consultants (F)
 

14:00 - 15:30 Workshop STV'12 - contn’d

For more informations, click here

15:30 – 16:00 Break

16:00 - 17:00 Session 7 - contn’d

• A systems engineering based design infrastructure for distributed control and building performance simulations, Azzedine Yahiaoui − TU Eindhoven (NL) and Abd-El-Kader − LAAS-CNRS (F)
• Definition, execution and enforcement of standards compliant engineering processes: Concept and case studies, Erich Meier − Method Park (D)
• Empowering graph model of game theory for system design, Vikas Shukla, Guillaume Auriol, Claude Baron, and Hamid Demmou − LAAS & INSA (F)
• Integrating system and software engineering activities, Thierry Le Sergent, Alain Le Guennec, Luc Coyette, François Xavier Dormoy et Bernard Dion − Esterel Technologies (F)

16:00 - 17:00 (demos)

16:00 - 17:00 Workshop STV'12 contn’d

For more informations, click here

17:00 - 18:00 Invited lecture

Patrick Albert - IBM (F): The triple point of business software: BRMS

 

Thursday, October 25

9.00 - 10.30, Session 9 : Quality & Performances

• Why assessing the technical debt principal sum does not matter Philippe-Emmanuel Douziech − CAST Software (F)
• HyperSTE: The road to content quality, Berry Braster − Tedopres International (NL)
• Applying the ISO 25000 model: a new view upon software quality, Jan van Oort − Anecon (A)
• SQuORE: A new approach to software project quality measurement, Boris Baldassari − SQuORING Technologies (F)
• Causes for controlling the consistency of the evolution of database systems, Hendrik Decker − UPV (E)
• Optimizing the efficiency of manual parallelization, Constantin Christmann − Universität Stuttgart (D), Jürgen Falkner, and Anette Weisbecker − Fraunhofer IAO (D)
• SQUORE: A new approach to software project quality measurement, Tool demo, Boris Baldassari − Squoring (F)

9.00 - 10.30, Session 10: The CONNEXION Cluster

• Overview
• Control/command in critical industrial processes
• Knowledge and advanced services for e-monitoring
• Plasticity of man-machine interfaces
• Intelligent services orchestration through an object bus
• Integrating infrastructures of wireless networks of sensors/effectors
• Demonstrations
For more informations, click here

9.00 - 10.30, Tutorial 2 : Cloud computing

Is cloud computing bringing complexity or simplicity?
Hervé Crespel − X4it (F) and Joseph K. DeRosa − Consultant (USA)

10.30 – 11:00 Break

11.00 - 12.30 Session 9 - contn’d

• Why assessing the technical debt principal sum does not matter Philippe-Emmanuel Douziech − CAST Software (F)
• HyperSTE: The road to content quality, Berry Braster − Tedopres International (NL)
• Applying the ISO 25000 model: a new view upon software quality, Jan van Oort − Anecon (A)
• SQuORE: A new approach to software project quality measurement, Boris Baldassari − SQuORING Technologies (F)
• Causes for controlling the consistency of the evolution of database systems, Hendrik Decker − UPV (E)
• Optimizing the efficiency of manual parallelization, Constantin Christmann − Universität Stuttgart (D), Jürgen Falkner, and Anette Weisbecker − Fraunhofer IAO (D)
• SQUORE: A new approach to software project quality measurement, Tool demo, Boris Baldassari − Squoring (F)

11.00 - 12.30 The CONNEXION Cluster contn’d

• Overview
• Control/command in critical industrial processes
• Knowledge and advanced services for e-monitoring
• Plasticity of man-machine interfaces
• Intelligent services orchestration through an object bus
• Integrating infrastructures of wireless networks of sensors/effectors
• Demonstrations
For more informations, click here

11.00 - 12.30 Tutorial 2 - contn’d

Is cloud computing bringing complexity or simplicity?
Hervé Crespel − X4it (F) and Joseph K. DeRosa − Consultant (USA)

12.30 – 14:00 Lunch

14.00 - 15.30 Session 11 Testing

• The ATOM method: Writing and maintaining non-regression test scripts by functional teams , Masiré Fofana− ACIAL (F)
• Testing inexecutable conditions on input pointers in C program with SANTE, Omar Chebaro − ASCOLA (EMN-INRIA, LINA) (F), Mickaël Delahaye − Université Joseph Fourier (F), and Nikolay Kosmatov − CEA (F)
• MATELO, Anthony Faucogney − All4tec (F)
TBC

14.00 - 15.30 The CONNEXION Cluster - Tool Demos

• Overview
• Control/command in critical industrial processes
• Knowledge and advanced services for e-monitoring
• Plasticity of man-machine interfaces
• Intelligent services orchestration through an object bus
• Integrating infrastructures of wireless networks of sensors/effectors
• Demonstrations
For more informations, click here

14.00 - 15.30 Tutorial 2 - contn’d

Is cloud computing bringing complexity or simplicity?
Hervé Crespel − X4it (F) and Joseph K. DeRosa − Consultant (USA)

15.30 – 16.00 Break

16.00 - 17.30 Session 11 Testing - contn’d

• The ATOM method: Writing and maintaining non-regression test scripts by functional teams , Masiré Fofana− ACIAL (F)
• Testing inexecutable conditions on input pointers in C program with SANTE, Omar Chebaro − ASCOLA (EMN-INRIA, LINA) (F), Mickaël Delahaye − Université Joseph Fourier (F), and Nikolay Kosmatov − CEA (F)
• MATELO, Anthony Faucogney − All4tec (F)
TBC

16.00 - 17.30,

16.00 - 17.30 Tutorial 2 - contn’d

Is cloud computing bringing complexity or simplicity?
Hervé Crespel − X4it (F) and Joseph K. DeRosa − Consultant (USA)

17.00 - 17:30 Invited lectures