posted by user: xgeorgio || 2951 views || tracked by 6 users: [display]

MVV 2011 : Workshop on Model-Based Verification and Validation

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/site/ssirimvv2011
 
When Jun 27, 2011 - Jun 29, 2011
Where Jeju Island, Korea
Submission Deadline Feb 20, 2011
Notification Due Mar 10, 2011
Final Version Due Apr 1, 2011
 

Call For Papers

-----------------------------------------------
Workshop on
Model-Based Verification & Validation
From Research to Practice
(Jeju Island, Korea, 27-29 June, 2011)
https://sites.google.com/site/ssirimvv2011/home

3rd Workshop in conjunction with SSIRI 2011
http://paris.utdallas.edu/ssiri11/
-----------------------------------------------

===============
CALL FOR PAPERS
===============

Goals and Description
---------------------
The 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. One 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 methods 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 deliver important analytical techniques for quality assurance. In model-based V&V, the software under consideration is analysed 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 which are associated with such techniques as, for instance, formal verification, control and data flow analysis, test case generation, and model checking.

The successful 1st and 2nd MVV workshops hold in conjunction with SSIRI showed the tight links between the model based V&V and general issues of Secure Software Integration and Reliability Improvement and indicated great interest to the workshop themes among the conference participants. The 3rd MVV workshop will continue this fruitful collaboration between MVV and SSIRI, aiming at giving researchers and practitioners in the area a platform to present their results and experience to a broader audience.


Topics of Interest
------------------
Topics 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
---------------
February 20, 2011 submission deadline
March 10, 2011 notification date
April 1, 2011 camera-ready
June 27-29 MVV 2011 workshop (1-day workshop during the main conference)


Format and Proceedings
----------------------
Submit original papers (not published or submitted elsewhere) with a maximum of eight pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The format of your submission must follow the IEEE conference proceedings format:

http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Please submit your paper at

https://www.softconf.com/b/mvv2011

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


Organizers (in alphabetical order)
----------------------------------

Michael Linschulte (linschulte@adt.upb.de)
University of Paderborn, Germany

Tugkan Tuglular (tugkantuglular@iyte.edu.tr)
Izmir Institute of Technology, Turkey


Web-Site
--------
For more information on MVV2011 please follow:
https://sites.google.com/site/ssirimvv2011/home

Related Resources

JRMV 2024   The Journal of Risk Model Validation Call for Papers
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
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
SPIN 2024   30th International Symposium on Model Checking Software
CIPHERSS 2024   1st Workshop on Critical Infrastructure PHysical-cybER Safety and Security