posted by system || 695 views || tracked by 2 users: [display]

MVV 2009 : Model-Based Verification and Validation - From Research to Practice

FacebookTwitterLinkedInGoogle

Link: http://adt.uni-paderborn.de/aktuelles/news-unterseiten/mbvv09cfp.html
 
When Jul 8, 2009 - Jul 8, 2009
Where Shanghai, China
Submission Deadline Apr 20, 2009
Notification Due May 7, 2009
Final Version Due May 20, 2009
 

Call For Papers

Model-Based Verification & Validation - From Research to Practice
(http://adt.uni-paderborn.de/aktuelles/news-unterseiten/mbvv09cfp.html)

The 1st Workshop in conjunction with SSIRI 2009 (http://paris.utdallas.edu/ssiri09)
(The 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement)


Background
----------

Costs entailed by software failures demonstrate that, even after decades of research, the systematic development of software of a certain quality is still a challenge. A reason for this can certainly be found within the individual projects. Often, known techniques of quality assurance are not well understood or properly used due to deadline and budget restrictions. However, another reason is 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 include formal verification, control and data flow analysis, test case generation, and model checking.

This workshop will give researchers and practitioners a platform for presenting 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 20: Submission deadline
May 7: Notification date
May 20: Camera-ready


Submission, Workshop Proceedings, Paper Presentation
----------------------------------------------------

Submit original papers (not published or submitted elsewhere) with a maximum of ten pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 8 keywords. The format of your submission must follow the IEEE conference proceedings format (http://www.computer.org/portal/pages/cscps/cps/cps_forms.html). Please submit your paper at http://paris.utdallas.edu/ssiri09/start/www/WorkshopPapers/.
Accepted submissions will be published by IEEE Press and available in the IEEE digital library. One of the authors needs to register and present the accepted submission. Each paper has 30 minutes, with 20-25 minute presentation.


Organizers
----------

Fevzi Belli, Axel Hollmann (belli[a~t]upb.de, hollmann[a~t]adt.upb.de), University of Paderborn, Germany
Tugkan Tuglular (tugkantuglular[a~t]iyte.edu.tr), Izmir Institute of Technology, 35430 Urla-Izmir, Turkey

Program Committee (to be announced)

Related Resources

MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
APLAS 2018   16th Asian Symposium on Programming Languages and Systems
SPIN 2018   25th International Symposium on Model Checking of Software
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
MoDRE 2018   8th Int. Workshop on Model-Driven Requirements Engineering (MoDRE)
ISOLA 2018   8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
CyPhy 2018   Workshop on Model-Based Design of Cyber Physical Systems
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
VVASS 2018   IEEE International Workshop on Verification and Validation of Adaptive Software Systems