-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
First version of INTO-CPS Summit page.
- Loading branch information
Showing
1 changed file
with
78 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,78 @@ | ||
| --- | ||
| layout: default | ||
| title: THE 2024 INTO-CPS OVERTURE SUMMIT | ||
| date: 2024-06-11 | ||
| location: Aarhus University, Denmark | ||
| --- | ||
| # THE 2024 INTO-CPS OVERTURE SUMMIT | ||
|
|
||
| incorporating the | ||
|
|
||
| ## 23rd Overture Workshop and 3rd INTO-CPS Association Brainstorm | ||
|
|
||
| *11-12th June 2025* hosted by *Aarhus University, Denmark* | ||
|
|
||
| ## Call for Contributions | ||
| We are excited to announce that 11-12th June 2025 will see a joint gathering of two groups active in well-founded model-based methods for Systems Engineering at Aarhus University. We encourage both papers and presentations presenting work from initial "brainstorm" ideas to publishable maturity in any of the areas covered. | ||
|
|
||
| ### The Overture Workshop | ||
| The **Overture Workshop** features the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the best-established formal methods, its modelling languages (VDM-SL, VDM++, VDM-RT) and tools (including VDMTools, Overture, INTO-CPS, ViennaTalk, VDMJ and VDM VSCode) providing a platform for work on modelling and analysis technology that includes IDEs, static and dynamic analysis, test generation, execution support, and model checking. Proceedings of former workshops are available at https://www.overturetool.org/. | ||
|
|
||
| ### The INTO-CPS Association Brainstorm | ||
| The *INTO-CPS Association Brainstorm* is a newer informal event that focuses on multi-modelling, co-simulation, and other technologies for model-based design, implementation and deployment of Cyber-Physical Systems and especially Digital Twins. The focus is on the open INTO-CPS tool chain and associated frameworks. Previous workshops and brainstorm sessions have been invaluable in encouraging both new and established members of the community in their work, helping to determine priorities and future directions. | ||
|
|
||
| ## Important Dates | ||
|
|
||
| 25th April 2025: Submission of papers and outlines of presentations | ||
|
|
||
| 19th May 2025: Notification to authors | ||
|
|
||
| 8th June 2025: Final version of papers due | ||
|
|
||
| 10th September 2024: Workshop | ||
|
|
||
| ## Call | ||
| Our workshop provides a forum for discussing and advancing the state of the art in Digital twins, formal modelling and analysis using VDM/Overture or INTO-CPS and their associated formalisms and extensions. We warmly welcome contributions on the development of foundations, methods, tools, and reports of practical experience. | ||
|
|
||
| We welcome submissions in the following formats: | ||
|
|
||
| * **Presentation summaries**: Short-form summary (max. 2 pages LNCS) of the content of presentations on work that is at an early stage and either addresses an open issue or reports experience in the Overture or INTO-CPS domains. | ||
| * **Tool reports**: Shorter papers focusing on initial results in developing and applying the tools and formalisms, with a view to receiving community feedback ahead of a full paper (to a future workshop or other venue). Tool reports should not exceed 8 pages LNCS and should include a link to (e.g. GitHub), or instructions for, accessing the tool / model being reported on. | ||
| * **Full papers**: Longer papers reporting more mature results. Full papers should not exceed 15 pages LNCS. | ||
|
|
||
| Each tool report or full paper will be peer-reviewed by at least three members of the PC. The scope of the workshop includes, but is not restricted to: | ||
|
|
||
| * Reports of applications of VDM or INTO-CPS-related technology, especially reports of industrial use. | ||
| * Papers describing requirements, designs, implementations, and case studies of VDM or INTO-CPS technology, whether yet implemented or not. | ||
| * Papers on foundations and methodology for VDM or INTO-CPS, including the description of real-time, cyber-physical systems, digital twins 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 VDM-related tools including Visual Studio Code, INTO-CPS assets and ViennaTalk. | ||
|
|
||
| ## Submission | ||
| EasyChair: _link coming soon_ | ||
|
|
||
| ## Organising Committee | ||
|
|
||
| * Ken Pierce, Newcastle University, United Kingdom ([email protected]) | ||
| * Peter Gorm Larsen, Aarhus University, Denmark ([email protected]) | ||
| * Leo Freitas, Newcastle University, United Kingdom([email protected]) | ||
|
|
||
| ## Program Committee (Draft) | ||
|
|
||
| * Shaukat Ali | ||
| * Stylianos Basagiannis | ||
| * Nick Battle | ||
| * John Fitzgerald | ||
| * Fuyuki Ishikawa | ||
| * Hugo Daniel Macedo | ||
| * Paolo Masci | ||
| * Tomohiro Oda | ||
|
|
||
| ## Contact | ||
| All questions about submissions should be emailed to Ken Pierce ([email protected]) | ||
|
|
||
| ## Sponsor | ||
|
|
||
| The INTO-CPS Association | ||
|
|