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

Location: Newcastle University, United Kingdom.

Important Dates

17 July 2017: submission of abstracts of papers (at 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: Peter W. V. Tran-Jørgensen, Aarhus University, Denmark. Email: Tomohiro Oda, Software Research Associates, Inc., Japan. Email: 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 Kenneth Pierce, Newcastle University, United Kingdom Marcel Verhoef, European Space Agency, The Netherlands Sune Wolff, Unity, Denmark

추천 게시물
게시물 게시 예정
다음에 다시 확인해주세요.
최근 게시물
태그 검색
아직 태그가 없습니다.
공식 SNS 페이지
  • Facebook Basic Square
  • Twitter Basic Square
  • Google+ Basic Square

제이엔이시스텍 주식회사​

서울특별시 서초구 서초대로 34길 31 (방배동) 피스콜빌딩 3층

경남 창원시 의창구 창원대로 18번길 46 경남과학기술진흥원 8층 812

이메일: eshong [at]
대표전화: 02-782-8661
휴대전화: 010-5218-8661


© 2023 Wix.com을 통해 제작된 본 홈페이지에 대한 모든 권리는 JNE SYSTECH CO.(제이엔이시스텍주식회사)에 귀속됩니다.

  • google-plus-square
  • facebook-square
  • Twitter Square