Banner
Home      Log In      Contacts      FAQs      INSTICC Portal
 
Documents
Special Session
International Special Session on
domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2017

20 February, 2017 - Porto, Portugal

Within the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2017


CO-CHAIRS

Antonello Calabrò
Software Engineering and Dependable Computing, Istituto di Scienza e Tecnologie dell'Informazione "A.Faedo"
Italy
 
Brief Bio
Antonello Calabrò graduated in computer science engineering. He is a Researcher with ISTI-CNR. He has participated in different roles for ISTI-CNR to several national and international EU projects and actively participated in more than 15 national and international projects. His research activities are focused on the design and development of smart monitoring infrastructure, responsive and adaptable complex event processing, and cybersecurity assessment. His research activities have been applied to several application domains, such as smart environments, SoSs, the IoT, vehicular networks, emerging technologies, and UAVs
Francesca Lonetti
National Research Council (CNR) Pisa
Italy
 
Brief Bio
Francesca Lonetti is a researcher at CNR-ISTI, Italy. Her current research focuses on monitoring and testing of software systems. In particular, she is interested in: model-based monitoring approaches; testing of security systems (access control and usage control systems); methodologies and tools for robustness testing of web services, and business process modeling and assessment. Her expertise on these research topics has been applied in the context of several national and European research projects including LearnPAd, CHOReOS, TAS3, NESSoS, CONNECT, D-ASAP. She currently serves as member of the Editorial Board of International Journal of Communication Networks and Information Security (IJCNIS). She is and has been part of the program committee of several international conferences and workshops in the field, such as ICST, MODELSWARD, AST, QUATIC, ENASE. She has been publications chair of ICST 2012 and proceedings co-chair of ICSE 2015. She is co-chair of the 11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016).
Eda Marchetti
ISTI-CNR
Italy
 
Brief Bio
Eda Marchetti is a researcher at CNR-ISTI. She graduated summa cum laude in Computer Science from the University of Pisa (1997) and got a PhD from the same University (2003). Her research activity focuses on software testing in general and in particular on the introduction of novel methodologies for testing emerging software technologies. Her research topics include: security testing, testing of access control systems, model-based testing, SOA and component based testing, requirement management and assessment, monitoring business process, testing process management and scheduling, structural testing, interoperability testing, domain specific testing, product certification and assessment. She has been the responsible for ISTI-CNR of several national and international EU projects and she actively participated to more than 15 national and international projects.

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 specific needs and use domain knowledge to adapt well-known model-based approaches for verification and validation. It is generally agreed that the use of domain specific solutions is cost effective and can offer vast improvements in assessment of final software product.
The special session is held at MODELSWARD 2017 and continues the successful tradition of the first edition of Amaretto in the investigation of different aspects and domain specific solutions for model-based verification and validation. This workshop provides a forum for academia, industry, and research and development communities to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions.

Topics:
V&V solutions for specific domain
Domain specific testing strategies
Safety and Security V&V
Model-based security assessment
Requirements elicitation and modeling
Methodological approaches for V&V
Generation of domain-specific V&V frameworks
Model-driven test suite generation
Domain specific V&V tools
Customization of V&V methodologies to specific domain
V&V approaches at design level
Simulation and monitoring for specific application domain
Business process modeling and assessment
Certification and assessment of software products
In-house vs. third party V&V solutions

Empirical studies and industrial experiences
Identification of problems and visions of the future
Welcome domains of application include, but are 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
•Media and Audio-Visual

IMPORTANT DATES

Paper Submission: November 22, 2016 (expired)
Authors Notification: December 23, 2016 (expired)
Camera Ready and Registration: January 5, 2017 (expired)

WORKSHOP PROGRAM COMMITTEE

Marco Autili, University of L'Aquila, Italy
Cesare Bartolini, Université du Luxembourg, Luxembourg
Antonia Bertolino, Italian National Research Council - CNR, Italy
Emanuela Cartaxo, Federal University of Campina Grande, Brazil
Ana Cavalli, TELECOM SudParis, France
Antinisca Di Marco, University of L'Aquila, Italy
Angelo Gargantini, University of Bergamo, Italy
Paul Grace, University of Southampton, United Kingdom
Knut Hinkelmann, FHNW University of Applied Sciences and Arts Northwestern Switzerland, Switzerland
Sylvia Ilieva, Sofia University "St. Kliment Ohridski", Bulgaria
Maria Jose Escalona, University of Seville, Spain
Leonardo Mariani, University of Milano Bicocca, Italy
Ilaria Matteucci, Istituto di Informatica e Telematica, CNR, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Ana R. Paiva, Faculty of Engineering of the University of Porto, Portugal
Ioannis Parissis, Grenoble INP LCIS, F-26902 Valence, France
Patrizio Pelliccione, Chalmers University of Technology | University of Gothenburg, Sweden
Sasikumar Punnekkat, Malardalen University, Sweden & BITS-Pilani, Goa, India, Sweden
Antonino Sabetta, Independent Researcher, France
Gayane Sedrakyan, Katholieke Universiteit Leuven, Belgium
Paola Spoletini, Kennesaw State University, United States
Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Yves L. Traon, University of Luxembourg, Luxembourg

PAPER SUBMISSION

Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.

PUBLICATIONS

After thorough reviewing by the workshop program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital 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).

SECRETARIAT CONTACTS

MODELSWARD Workshops - AMARETTO 2017
e-mail: modelsward.secretariat@insticc.org
footer