posted by user: shouyu || 2584 views || tracked by 3 users: [display]

MVV 2018 : IEEE International Workshop on Model-Based Verification & Validation

FacebookTwitterLinkedInGoogle

Link: http://paris.utdallas.edu/mvv18/
 
When Jul 16, 2018 - Jul 20, 2018
Where Lisbon, Portugal
Submission Deadline Apr 15, 2018
Notification Due May 15, 2018
Final Version Due Jun 1, 2018
Categories    software quality   model-based verification   model-based vlidation   software testing
 

Call For Papers

M o d e l - B a s e d V e r i f i c a t i o n & V a l i d a t i o n
From Research to Practice
Workshop in conjunction with the QRS Conference

Goals and Description

Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly be found within the individual projects. Often, known techniques of quality assurance are not well understood and properly used due to deadline and budget restrictions. However, another reason is also the lack of techniques for quality assurance for specific types of software and software developed according to specific programming and modeling techniques.

Many ad-hoc security specifications, models, and protocols, which were implemented in software components in the past, turned out to be vulnerable to some extent. Formal verification and validation methodologies have the potential to increase user confidence in software artifacts. Therefore, theoretical foundations for security assurance should be investigated to discover new methods that will bring high certainty to the trustworthiness of software entities.

Verification and validation (V&V) methods, especially testing, deliver important analytical techniques for quality assurance. In model-based V&V, the software under consideration is considered by means of a model that focuses on certain aspects, often on the behavior of the software. Models frequently used are finite state machines and flow graphs. Testing techniques based on such models are, for instance, formal verification, control and data flow analysis, test case generation, and model checking.

This workshop aims at giving researchers and practitioners a platform to present their results and experience to a broader audience.

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

• Formal methods and theories in model-based V&V
• Simulation by models, forecasts of behavior and properties by models
• Models and modeling notations for programming and V&V
• Tools for model-based V&V
• Model-based security evaluation
• V&V of security specifications, models, and protocols
• Theoretical foundations of security analysis and design
• Formal models for security testing
• Testing with software usage models
• Test case generation based on formal and semi-formal models
• Test coverage metrics and criteria for model-based testing
• Models as test oracles, test validation with models
• Application of model checking in testing
• Model-based V&V of reactive and object-oriented systems
• Model-based verification and validation of tests
• Experience reports and requirements from model-based V&V and model-based development in practice

Important dates

April 15, 2018: submission deadline
May 15, 2018: notification date
June 1, 2018: camera-ready

Workshop Proceedings, Paper Presentation

Accepted submissions will be published by IEEE Press and available in the IEEE digital library. For this, one of the authors needs to register and present the accepted submission. During the workshop, each paper will have a slot of 30 minutes, with 20-25 minutes presentation.

Organizers

Asst. Prof. Tugkan Tuglular
Dept. Of Computer Eng., Izmir Institute of Technology, 35430 Urla-Izmir, Turkey
Email: tugkantuglular@iyte.edu.tr, Tel: +90 (232) 750-7875, Fax: +90 (232) 750-7862

Prof. Fevzi Belli
Dept. Of Computer Eng., Izmir Institute of Technology, 35430 Urla-Izmir, Turkey
Email: fevzibelli@iyte.edu.tr, Tel: +90 (232) 750-7860, Fax: +90 (232) 750-7862

Programme Committee (tentative)
Tolga Ayav, Izmir Institute of Technology, Turkey
Christof J. Budnik, Siemens Corporate Research, Princeton
Onur Demirors, Izmir Institute of Technology, Turkey
Ali Dogru, Middle East Technical University, Turkey
Dimitris Dranidis, CITY College, Greece
Reiner Dumke, Magdeburg University, Germany
Murat Erten, Izmir Institute of Technology, Turkey
Karl-Erwin Grosspietsch, Institute for Dependability and Reuse, Germany
Volker Gruhn, Universität Duisburg-Essen, Germany
Nevin Guler, Mugla University, Turkey
Rajesh Subramanyan, Siemens Healthineers, USA
Mario Winter, Hochschule Köln, Germany
Husnu Yenigun, Sabanci University, Turkey
Cemal Yilmaz, Sabanci University, Turkey

Related Resources

IEEE AIxVR 2024   IEEE International Conference on Artificial Intelligence & extended and Virtual Reality
JRMV 2024   The Journal of Risk Model Validation Call for Papers
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
IEEE CCNC 2025   IEEE Consumer Communications & Networking Conference
FAACS 2024   The 8th International Workshop on Formal Approaches for Advanced Computing Systems
LOPSTR 2024   LOPSTR 2024 -- Preliminary Call for Papers
VERDI 2024   2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
ICST 2024   International Conference on Software Testing, Verification, and Validation
MoDRE 2024   Workshop on Model-Driven Requirements Engineering (MoDRE) at RE'24
Electronics : Special Issue 2024   Combining Model-Based and Data-Driven Methods in Human–Computer Interaction