Deploy

Industrial deployment of system engineering methods providing high dependability and productivity

 

Exploitation and Dissemination

Leader : Thierry Lecomte (thierry.lecomte@clearsy.com)

Strategy

During the lifetime of the project (4 years), exploitation and dissemination activities are of paramount importance to ensure a successful deployment of the Rodin platform in the industry and the academic world. DEPLOY organizes:

  • DEPLOY events: Focused Industry Days, DEPLOY Workshops, Public Exhibitions
  • DEPLOY Interest Group
  • Electronic Dissemination
  • Collaboration with ICT SSAI&E projects
  • Platform Exploitation

For any matter, please contact the exploitation and dissemination leader

 

Exploitation and dissemination in practice

Focused Industry Days

These events will be organized between year 2 and year 4 of the project, by Bosch, Siemens, Space Systems Finland, SAP and Nokia, and will take place at one of their locations. These events will be announced six months in advance, in the newsletter and in the DEPLOY Interest Group mailing list. The program of these one-day events will be centered on the practical application of Rodin to a specific domain (automotive, transportation, space, business information, pervasive telecoms). Audience from the domain is expected to these events.

 

 

You May

Attend

If you are interested in seeing  formal methods in action on industry-strenght case-studies

Contribute

If you have some interest in the application domain and would like to share feedback/expectation/experience.

Workshops

Two workshops will be organized during year 2 and 4, in association with International Conferences. The target conferences have not yet been selected. These workshops will be the occasion for the project to present current results, and for external stakeholders to get information of DEPLOY and to share experience. These workshops as well as the associated calls for papers, will announced six months in advance, in the newsletter and in the DEPLOY Interest Group mailing list. Large scope industry and academic audience is expected to these events.

 

You May

Attend

If you have some interest in or are curious about formal methods.

Contribute

If you have some experience with the Rodin platform and would like to share feedback/expectation/experience.

Public Exhibitions

The Rodin platform is going to be presented and demonstrated at several occasions (conferences, workshops, summer school, etc). These occasions are as far as possible announced in advance in the “News & events” section of this site.

 

 

You May

Attend

If you have some interest in formal methods,

If you would like to have a live presentation of its capabilities,

If you want to have a dedicated presentation or direct answers to your questions

Download

the papers stored on Publications

Deploy Interest Group

This group (DIG) is composed of companies/universities/individual interested in the DEPLOY objectives and results. The DIG has a privileged access to information (bi-annual newsletter, dedicated hands-on sessions, etc).

Special attention is given to DIG: dedicated means are allocated to help DIG members getting educated / gaining experience with the Rodin tools.

Current DEPLOY Interest Group members are:

  • Marc Benveniste (STMicroelectronics - France)
  • Ian Oliver (Nokia - Finland)
  • O. Sami Saydjari (Cyber Defense Agency)
  • Ken Robinson (University of South Wales - Australia)
  • Juan Bicarregui (Formal Method Europe - United Kingdom)
  • Aryldo G. Russo Jr. (Acesso e Segrurança - Brazil)
  • John Brightman (AT ENGINE CONTROLS)
  • Vecheslav Kharchenko (National Aerospace University - Ukraine)
  • Jean Mermet (Keesda - France)
  • Viktor Mashkov (University J.E.Purkyne - Czech Republic)
  • Colin O'Halloran (Qinetiq - UK)
  • Andreas Enbacka (Embedo Oy - Finland)
  • Gao Hongjiang (Xi'an Jitotong University, China)
  • Maria Teresa Llano Rodriguez (Heriot-Watt University, UK)
  • Hironobu Kuruma (National Institute of Informatics, Japan)
  • Hrvoje Belani (University of Zagreb, Croatia)
  • Camilo Rueda (Universidad Javeriana-Cali, Colombia)
  • Paul Simon (Individual - France)
  • Bruno Gomes (Federal University of Rio Grande do Norte, Brazil)
  • Gudmund Grov (Heriot-Watt University - United Kingdom)
  • Simon Hudon (ETH Zürich - Suisse)
  • Xinben Li (Zhejiang Wanli Univ. - China)
  • Bo Liu (University of Southampton - UK)
  • M. Sushil - Lecturer
  • Merwyn Monteiro (University of New South Wale - Australia)
  • Rod Chapman (Praxis - UK)
  • Marcel Verhoef (Chess - NL)
  • Divakar Yadav (U P Technical University - India)
  • Ait-Sadoune (LISI/ENSMA - France)
  • Kenyu Yamada
  • Ruchika - Lecturer
  • Stéphane Badreau (Capgemini - France)
  • Denis Grotsev (Kazakh National University - Kazakhstan)
  • Abderrahman Matoussi (LACL Paris 12 - France)
  • Dave Nuttall (MBDA Systems)
  • Atif Mashkoor (Nancy University - France)
  • Luke Wildman (WRSA, RAMS - Australia)
  • Stephen Wright (University of Bristol - UK)
  • Mahdi El Masaoudi (Sherbrooke University - Canada)
  • Frederic Gervais (Université Paris-Est - Paris)
  • Benjamin Aziz (STFC Rutherford Appleton Laboratory - UK)
  • Peter H. Schmitt (KIT - Germany)
  • Arun Kumar Singh (Uttar Pradesh Technical University - India)
  • Bulent Gumus (TOBB ETU - Turkey)
  • Martin de Groot (CSIRO - Australia)
  • Jonathan Ostroff (York University - Canada)
  • M. Rakesh (Waterford - Ireland)
  • Barrie Horton (UK)
  • Hideyuki Kikuchi (Fujitsu laboratory - Japan)
  • Baran Izmir (UNSW - Australia)
  • Li Qi-nan
  • Yoshiki Sato (Oracle - Japan)
  • Nadi (Professional Engineering)
  • Fabien Belmonte (Alstom Transport)
  • Alexei Polkhanov
  • Guy Vidal-Naquet (Supélec)
  • Ognian Pishev (Ocean Informatics)
  • Ogawa Kiyoshi (NMIRI)
  • Thomas McShane (Creighton University)
  • Ta Weina (East China Normal University - China)
  • Tsutomu Kobayashi(University of Tokyo - Japan)
  • Mierla Laurentiu Marian
  • Sudakshina Bhatacharya
  • Raveendra Kumar
  • Moldoveanu Emil (University of Pitesti)
  • Seyha Sok
  • Fenggang Shi (Thalès)
  • Williamzou (Beihang University)
  • Rodin Tools Ltd
 

You May

Join

The group. A simple (electronic) letter of intent is sufficient. Joining the DIG is free of charge

Provide

Feedback on the platform and related plug-ins, by using it and sharing your experience/expectation

Provide

Complementary case-studies/examples covering similar/new application domains

Attend

Dedicated training/hands-on sessions, organized specifically for the DEPLOY Interest Group upon request

Electronic Dissemination

All materials related to DEPLOY and the Rodin platform are made electronically available:

  • Platform and plug-ins source code
  • Project deliverables, papers, manuals
  • Teaching material
  • Models(including case-study description)

 Moreover stakeholders are invited to contribute to the DEPLOY repository.

 

You May

Download

Resources (papers, models, teaching material, DEPLOY deliverable, etc) freely available on the repository

Upload

Any of your contribution (case study + models, teaching material, papers) that  would be freely available

Receive

The DEPLOY newsletter every 6 months

Download

The platform and some related plug-ins

Collaboration with ICT & E projects

DEPLOY sets up co-operation activities with other ICT project under the WP2007/2008 objective “Service and Software Architectures, Infrastructure and Engineering”, in order to exploit synergies between other projects and to increase the impact of the ICT initiative.

DEPLOY has created a Discussion Group on “Formal Methods for SOA and Internet of the Future”.

 

You May

Contribute

To the Discussion Group on “Formal Methods for SOA and Internet of the Future”

 

Platform Exploitation

A coordination structure has been created to drive the development done around the platform.

 

You May

Join

The group. A simple (electronic) letter of intent is sufficient.

Provide

Feedback on the platform and related plug-ins, by using it and sharing your experience/expectation.

Attend

Dedicated developers sessions, organized specifically for the DEPLOY Interest Group.

Contribute

To the platform/plug-ins by joining the open-development team.

Participate

To the research effort

 

Deploy-Project - All right reserved