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 Segrurana - 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 Zrich - 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
- Stphane 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 (Suplec)
- 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 (Thals)
- 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.
- 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
- 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
|
|
|
