1st domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016) workshop co-located with MODELSWARD 2016
19 February, 2016 – Rome (Italy)
http://amaretto2016.isti.cnr.it
================================================================================
=================
Scope
=================
Recent years have witnessed the emergence of domain-specific model based approaches for
verification and validation 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 of 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.
TOPICS OF INTEREST
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 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
Instructions for preparing the manuscript (in Word and Latex formats) are available at:
http://www.modelsward.org/GuidelinesTemplates.aspx#paper_templates
Please also check the Guidelines and Templates at:
http://www.modelsward.org/GuidelinesTemplates.aspx
Papers should be submitted electronically via the web-based submission system
at: http://www.insticc.org/Primoris
All accepted papers will be published in a special section of the conference proceedings book –
under an ISBN reference and on CD-ROM support.
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library
(http://www.scitepress.org/DigitalLibrary/).
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI
(Digital Object Identifier).
Important dates
November 25, 2015 (EXTENDED)
Authors Notification December 7, 2015
Camera Ready and Registration December 18, 2015
Workshop Co-Chairs
Antonello Calabrò, ISTI-CNR, Italy
Francesca Lonetti, ISTI-CNR, Italy
Eda Marchetti, ISTI-CNR, Italy
Program Committee
Marco Autili, University of L’Aquila, Italy
Matthias Büchler, Technical University Munich, Germany
Ana Cavalli, Institut National des Telecommunications, France
María José Escalona, ETS Ingeniería Informática, Spain
João Carlos Pascoal Faria, University of Porto, Portugal
Angelo Gargantini, University of Bergamo, Italy
Paul Grace, University of Southampton, UK
Sylvia Christova Ilieva, Sofia University, Bulgaria
Leonardo Mariani, University of Milano Bicocca, Italy
Paolo Masci, Queen Mary University of London, UK
Raffaela Mirandola, Politecnico di Milano, Italy
Paolo Mori, IIT-CNR, Italy
Tejeddine Mouelhi, itrust consulting, Luxembourg
Ana Cristina Paiva, University of Porto, Portugal
Ioannis Parissis, Grenoble INP-Esisar, France
Patrizio Pelliccione, Chalmers University of Technology and University of Gothenburg, Sweden
Sasikumar Punnekkat, Malardalen University, Sweden
Antonino Sabetta, SAP Labs, France
Maurice H. ter Beek, ISTI-CNR, Italy
Sira Vegas, Universidad Politecnica de Madrid, Spain