posted by user: nicoplat || 16105 views || tracked by 1 users: [display]

Overture workshop 2016 : Overture workshop

FacebookTwitterLinkedInGoogle

Link: http://overturetool.org/workshops/14th-Overture-Workshop.html
 
When Nov 7, 2016 - Nov 7, 2016
Where Cyprus, Greece
Submission Deadline Sep 1, 2016
Notification Due Oct 1, 2016
Final Version Due Nov 1, 2016
Categories    VDM   formal modelling   cyber-physical systems   software development
 

Call For Papers

CALL FOR PAPERS: The 14th Overture Workshop
to be held on 7 November 2016
co-located with The Formal Methods Europe Symposium 2016 in Cyprus, Greece
http://overturetool.org/workshops/14th-Overture-Workshop.html

INTRODUCTION
This workshop is of interest to those working in the filed of Cyber-Physical
systems and/or formal modelling. It is the 14th in a series of workshops on
the Vienna Development Method (VDM) seen in the open-source Overture setting.
Although VDM is one of the oldest formal methods to have enjoyed a level of
industry use, it nevertheless has a lively and youthful research community,
which has grown up around the development of the Overture open tools platform.
On top of the Overture platform the Crescendo and Symphony tools from
respectively the DESTECS and COMPASS projects. Currently the Overture tools
are being further extended inside the INTO-CPS project (see
http://into-cps.au.dk/) as well as in the TEMPO experiment (see
http://tempoproject.eu/) supported by the CPSE-Labs project (see
http://www.cpse-labs.eu/). The platform provides a vehicle for activity in
modelling and analysis technology including static analysis, interpreters,
test generation and execution support and model checking. The growth of this
community has been greatly assisted by the Overture workshop series.

The workshop aims to provide 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 and real-time
systems. We strongly welcome contributions on the development of tools for
VDM, cyber physical systems, as well as developments in foundations and
reports of practical experience. The page limit is 15 pages.

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 open tools
platform.
* Papers on the foundations and methodology associated with VDM and its
extensions, including the description of real-time and distributed 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 Crescendo, Symphony and VDMPad.

SUBMISSIONS are limited to 15 pages. Accepted papers will be published as a
technical report from Aarhus University. Submissions must be unpublished
original work and should not be under review or submitted elsewhere while
being under consideration. PC members will review all submissions. Papers will
be judged on the basis of their clarity, relevance, originality, and
contribution to the field. Submissions must be in English and in PDF format
through online upload to the workshop submission website at the following URL:
https://www.easychair.org/conferences/?conf=overture14.

IMPORTANT DATES are:
* 1 September 2016: submission deadline for workshop papers
* 1 October 2015: notification to workshop paper authors
* 1 November 2015: final version of workshop papers due

OC/PC CHAIRS are Nico Plat (Thanos, The Netherlands) and Peter Gorm Larsen
(Aarhus University, Denmark). We can be reached via e-mail at
workshop-oc@overturetool.org. If you intend to submit a paper you are invited
to inform us in advance.

The PROGRAM COMMITTEE consists of:
* Keijiro Araki, Kyushu University, Japan
* Victor Bandur, Aarhus University, Denmark
* Nick Battle, Fujitsu, UK
* John Fitzgerald, Newcastle University, UK
* FuyukiF Ishikawa, NII, Japan
* TomohiroT Oda, Software Research Associates, Inc., Japan
* Jose Oliveira, Minho University, Portugal
* Marcel Verhoef, European Space Agency, Netherlands
* Sune Wolff, Terma, Denmark

Related Resources

APCCAS--IEEE, Ei and Scopus 2018   IEEE--2018 14th Asia Pacific Conference on Circuits and Systems (APCCAS 2018)--Ei Compendex and Scopus
[CFP] IEEE IoT Journal Special Issue 2018   [CFP] IEEE IoT Journal - Special Issue on Reliable and Resilient Cyber-Physical Systems
CPS-SPC 2018   CPS-SPC 2018 : ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC)
IOT 2018   Internet of Things workshop
RESACS 2018   Fourth International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber-Physical Systems
Codemotion Berlin 2018   5th Codemotion Berlin Tech Conference
Codemotion Milan 2018   6th Codemotion Milan Tech Conference
QuASD 2018   2nd International Workshop on Managing Quality in Agile and Rapid Software Development Processes
PrimeAsia--IEEE, Ei and Scopus 2018   2018 IEEE Asia Pacific Conference on Postgraduate Research in Microelectronics and Electronics (PrimeAsia 2018)--Ei Compendex and Scopus
ICAEE--EI, Scopus 2018   2018 the 5th International Conference on Advances in Electronics Engineering (ICAEE 2018)--EI Compendex, Scopus