Jump to Navigation


AMARETTO 2016 Workshop

Friday, February 19, 2016

The 1st domAin specific Model-based AppRoach to vErificaTion and validation (AMARETTO 2016) workshop, co-located with MODELSWARD 2016, will be held in Rome Italy, on 19 February 2016.


Recent years have witnessed the emergence of domain-specific model based approaches for verification and validations in software development. These approaches are tailored to the specific needs of the domain and use domain knowledge to adapt and customize well-known model based approaches for verification and validation. It is generally agreed that the use of domain-specific solutions are cost effective and can offer vast improvements in assessment of final software product.

The aim this workshop is to investigate different aspects and solutions for model based verification and validation applied into domain-specific environments. This workshop provides a forum for academia, industry, and the research and development community to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions in the area of domain-specific model based verification and validation.


The topics of interest to the workshop include, but are not limited to:

  • Business process modeling and assessment In-house vs. third party V&V solutions
  • Case studies Methodological approaches for V&V
  • Certification and Assessment Model based security assessment
  • Customization of generic V&V methodologies to specific domains
  • Model driven test suite generation
  • Domain specific testing strategies Requirements elicitation and modeling
  • Domain-specific V&V tools Safety and Security V&V
  • Empirical studies and industrial experiences
  • Simulation and monitoring inside specific application domain
  • Generation of domain-specific V&V frameworks V&V approaches inside model based design


Welcome domains of application are (but may not limited to):

  • Healthcare
  • Telecommunication and Networks
  • Cloud Computing and Web Services
  • Mobile Devices
  • Automotive and Transportation
  • Learning
  • Legal Smart Grid, Smart Cities, and Smart Spaces
  • Public Administration
  • Finance & Business Social Networks
  • Audio-Visual

Important dates

Submission: November 18, 2015

Authors Notification: December 7, 2015

Camera Ready and Registration: December 18, 2015