[robotics-worldwide] [meetings] Extended Deadline - CFP: FMMDE 2015 - International Workshop on Formal Methods and Model-Driven Engineering in Robotics

Arun Kumar Ramaswamy arun-kumar.ramaswamy at ensta-paristech.fr
Mon Mar 16 03:38:07 PDT 2015

CALL FOR PAPERS - Deadline Extended
International Workshop on Formal Methods and Model-Driven Engineering in Robotics (FMMDE 2015)
at the 20th International Symposium on Formal Methods (FM 2015)
June 22, 2015 Oslo Norway
Workshop website: www.ensta-paristech.fr/~ramaswamy/FMMDE2015

Important Dates
Submission deadline: 31/03/2015 (Extended)
Notification of acceptance: 20/04/2015
Workshop: 22/06/2015

The application of Model-Driven Software Development (MDSD) approaches is increasingly getting popular and accepted in the field of robotics research. Currently, MDSD and Formal Methods are progressing as two different axes of research in robotics. MDSD concentrates more on meta-modeling, separations of concerns, model transformations, and code generation. While, formal methods depends on rigorous mathematical techniques for specification, analysis, and proof that result in correct robotic systems. However, there are several barriers that exists in these techniques that refrains the majority from adopting them.  The modeling techniques in robotics concentrates more on meta-model based specification and platform-specific code generation, but in reality, it is not effective in facilitating system analysis, reasoning, and formal verification. Hence, the MDSD research in robotics should be more aligned with the primary goal of creating quality software for robotic systems. In addition, MDSD can promote formal methods adoption by increasing the abstraction level and by providing tools for formal verification for modeling artifacts. 

Submissions should not exceed 15 pages for full papers and 8 pages for short papers formatted according to the Springer LNCS style, and should be submitted as Portable Document Format (PDF) files using the Easychair submission site: https://easychair.org/conferences/?conf=fmmde2015. Contributions will be reviewed by the PC for quality and relevance to the workshop's theme. Submission of preliminary results would also be considered. Please refer to the workshop website for publication details.

This workshop aims to stimulate discussion in the area of Formal Methods and MDSD focusing on the following topics (but not limited to):

* Application of Model-Driven Engineering in Robotics
* Formal Verification of Robotics and Autonomous Systems
* Modeling Non-Functional Properties 
* QoS Specification and Analysis
* Reliability and Validation
* Languages and Tools for MDE in Autonomous Systems
* Composability challenges in component based robotic software frameworks.
* Compliance to Standards and Safety Constraints

Submission System:
Submissions are handled via EasyChair:

Technical Program Committee
Saadia Dhouib, CEA, France  
Davide Brugali, University of Bergamo, Italy 
Saad Mubeen, Malardalen University, Sweden 
Jan O. Ringert, Tel Aviv University, Israel
Séverine Sentilles, Malardalen University, Sweden
Kamel Barkaoui, CNAM, France

Workshop Organisers
Arunkumar Ramaswamy, Vedecom Institute, France; ENSTA-ParisTech, France
Bruno Monsuez, ENSTA-ParisTech, France
Adriana Tapus, ENSTA-ParisTech, France

Contact: arun-kumar.ramaswamy [at] ensta-paristech.fr

More information about the robotics-worldwide mailing list