posted by organizer: overture2019 || 1799 views || tracked by 3 users: [display]

Overture 2019 : The 17th Overture Workshop on VDM

FacebookTwitterLinkedInGoogle

Link: http://overturetool.org/workshops/17th-overture-workshop.html
 
When Oct 8, 2019 - Oct 8, 2019
Where Porto, Portugal
Abstract Registration Due Jun 9, 2019
Submission Deadline Jun 16, 2019
Notification Due Aug 15, 2019
Final Version Due Aug 27, 2019
Categories    formal methods   software   modelling   MBSE
 

Call For Papers

The 17th Overture Workshop will be held on 08 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019).

The 17th Overture Workshop is the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the best established formal methods for systems development. A lively community of researchers and practitioners in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, Crescendo, Symphony, and the INTO-CPS chain). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking.

Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at http://www.overturetool.org/.

Location: Alfandega Porto Congress Centre, Portugal See http://formalmethods2019.inesctec.pt/?page_id=140

Submission
Submission of abstracts and papers is through EasyChair: https://easychair.org/conferences/?conf=ovt17.

Important Dates
Abstracts: Tuesday 9th July
Full Papers: Tuesday 16th July
Notifications: Thursday 15th August
Camera ready version of papers: Tuesday 27th August
Pre-proceedings due: Monday 2nd September
Workshop: Tuesday, 8th October

===============
CALL FOR PAPERS
===============
Our workshop provides a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms including extensions for distributed VDM and real-time systems. We strongly welcome contributions on the development of tools for, as well as developments in, foundations and reports of practical experience. Each paper will be peer-reviewed by at least three members of the PC, must use the Springer LNCS format, and should not exceed 15 pages in length.

Accepted papers will be published in pre-proceedings as a Newcastle University Technical Report. Revised, selected papers will be included in a LNCS post-proceedings for FM workshops, as part of Springer’s Lecture Notes in Computer Science.

The scope of the workshop includes, but is not restricted to:

Reports of applications of VDM technology, especially reports of industrial use.
Papers describing requirements, designs, implementations and case studies of support tools for VDM, whether or not implemented on the Overture platform.
Papers on the foundations and methodology associated with VDM and its extensions, including the description of real-time, cyber-physical systems and systems-of-systems.
Papers combining VDM with other notations and tools. Position papers on VDM and its promotion in industry practice.
Papers on extensions of Overture, including INTO-CPS and ViennaTalk.

Organisers
Luis Diogo Couto, United Technologies Research Center, Ireland (CoutoLD@utrc.utc.com)
Carl Gamble, Newcastle University, United Kingdom (Carl.Gamble@newcastle.ac.uk)

Program Committee (Confirmed)
N. Battle, Newcastle University, UK
L. Freitas, Newcastle University, UK
J. Fitzgerald, Newcastle University, UK
F. Ishikawa, NII, Japan
P.G. Larsen, Aarhus University, Denmark
P. Masci, National Institute of Aerospace (NIA), USA
Ken Pierce, Newcastle University, UK
P.W.V. Tran-Jørgensen, Aarhus University, Denmark

Related Resources

OVT 2021   19th Overture Workshop
IJCCMS 2021   International Journal of Chaos, Control, Modelling and Simulation
CGIIT 2022   The 6th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2022)
CEESD 2021   6th International Conference on Environmental Engineering and Sustainable Development (CEESD 2021)
IJESA 2021   International Journal of Embedded Systems and Applications
OSMSES 2022   1st International Workshop on Open Source Modelling and Simulation of Energy Systems
SfP 2021   Software for the Past (SfP 2021): 2nd Workshop on Digital Technologies to Study the Past and Present
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
VaMoS 2022   16th International Working Conference on Variability Modelling of Software-Intensive Systems
SAIS 2022   24th annual Meeting of the Southern Association for Information Systems