posted by organizer: petertj || 853 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

RO-MAN 2018   27th IEEE International Conference on Robot and Human Interactive Communication
COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
IJMSA 2017   International Journal of Modeling, Simulation and Applications
MLDM 2018   14th International Conference on Machine Learning and Data Mining MLDM 2018
LICS 2018   Logic in Computer Science
ICDM 2018   18th Industrial Conference on Data Mining ICDM 2018
FM 2018   22nd International Symposium on Formal Methods
ICITA 2018   International Conference on Information Technology and Applications
TSEC-NextSecSociety 2017   Journal of Cyber Security Technology Special Issue on Secure Smart Society in Next Generation Networking Paradigm
TrustCom 2018   The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications