posted by organizer: petertj || 1226 views || tracked by 4 users: [display]

The 15th Overture Workshop 2017 : The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering

FacebookTwitterLinkedInGoogle

Link: http://overturetool.org/workshops/15th-Overture-Workshop.html
 
When Sep 15, 2017 - Sep 15, 2017
Where Newcastle University, United Kingdom
Abstract Registration Due Jul 17, 2017
Submission Deadline Jul 24, 2017
Notification Due Aug 21, 2017
Final Version Due Sep 11, 2017
Categories    formal methods   VDM   CPS   applications
 

Call For Papers

THE 15TH OVERTURE WORKSHOP:
New Capabilities and Applications for Model-based Systems Engineering

We invite contributions to the 15th Overture Workshop on the Vienna
Development (VDM), its foundations, tools, and applications. 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.

Current projects on model-based design for cyber-physical systems
(INTO-CPS and the CPSE Labs experiments TEMPO, CPSBuDi and IPP4CPPS) are
generating real results. There are also important developments in Japan
with the release of VDMTools under an open source licence. It is thus
timely to focus on the future of the methods and toolchain, improvements
in capabilities, and potential applications. We also propose to hold a
structured discussion on possible commercial futures.

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: Newcastle University, United Kingdom.

Important Dates

* 17 July 2017: submission of abstracts of papers (at
https://easychair.org/conferences/?conf=overture15)

* 24 July 2017: submission deadline for papers (PDF only, please)

* 21 August 2017: notification to authors

* 11 September 2017: final version of papers due

* 15 September 2017: workshop

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 a
Newcastle University Technical Report. 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 Crescendo, Symphony and
ViennaTalk.


Organisers

* John S Fitzgerald, Newcastle University, United Kingdom. Email:
john.fitzgerald@newcastle.ac.uk

* Peter W. V. Tran-Jørgensen, Aarhus University, Denmark. Email:
pvj@eng.au.dk

* Tomohiro Oda, Software Research Associates, Inc., Japan. Email:
tomohiro.tomo.oda@gmail.com

Program Committee

* Keijiro Araki, Kyushu University, Japan
* Nick Battle, Fujitsu, United Kingdom
* Luis Diogo Couto, UTRC, Ireland
* John S Fitzgerald, Newcastle University, United Kingdom (Chair)
* Peter G Larsen, Aarhus University, Denmark
* Fuyuki Ishikawa, National Institute of Informatics, Japan
* Nico Plat, Thanos, The Netherlands
* Peter W. V. Tran-Jørgensen, Aarhus University, Denmark (Chair)
* Tomohiro Oda, Software Research Associates, Inc., Japan (Chair)
* Paolo Masci, Universidade do Minho, Portugal
* Marcel Verhoef, European Space Agency, The Netherlands
* Sune Wolff, Unity, Denmark

Related Resources

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)
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
DSTAA 2019   Taylor and Francis - DSTAA 2019 : Call for Book Chapters - Data Science: Theory, Analysis, and Applications
CLOUD 2019   8th International Conference on Cloud Computing: Services and Architecture
MLDM 2019   15th International Conference on Machine Learning and Data Mining MLDM 2019
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
ICDM 2019   19th Industrial Conference on Data Mining ICDM 2019
Scopus-CACRE 2019   2019 4th International Conference on Automation, Control and Robotics Engineering (CACRE 2019)
Petri Nets 2019   Applications and Theory of Petri Nets
FUTURE COMPUTING 2019   The Eleventh International Conference on Future Computational Technologies and Applications