Dear Colleague,
I have the pleasure to announce three new workshops to be held in conjunction with ESM'2020, October 21-23, 2020 at LAAS, Toulouse, France.
They are:
Cyber-Physical System Modelling: Applications for Industry 4.0 Optimization and Resilience - ITEA Project "CyberFactory#1"
With the advent of Industry 4.0, digitalization and automation processes have moved into the focus of industry. The primary goal is not the optimization of a single production plant, but of the factory as a whole by the marriage of physical assets and advanced digital technologies, such as the internet of things (IoT), artificial intelligence (AI) and robots. From a modeling perspective, the individual components of the factory thus become cyber-physical systems (CPS) that communicate, analyze, and act upon information, enabling more flexible and responsive production. This track focuses on the development and application of methods for modeling and simulation of CPS for the factory of the future (FoF).
Topics include, but are not limited to:
- Requirements on CPS modeling for optimization and resilience of the FoF
- Architectures for the FoF
- Application of existing CPS models to industry: benefits and gaps
- Usage of digital twins for optimization and resilience in the FoF
- Data lake exploitation for the FoF
- Models & Simulations for the identification of threats on safety and security in the FoF
- Tool support for modeling & simulation of the FoF
- Uncertainties and predictions in the FoF models
- Modeling of human-machine-interaction in the FoF
- Distributed manufacturing
- Cyber resilience modeling for the FoF
The above workshop is organized by OFFIS and ISEP
Cross Fertilisation between Simulation and Formal Methods
Simulation and formal methods are key activities in the model based development of complex systems. Both allows to gain confidence and conduct early validation and verification activities based on models. We will name formal models the models expressed in a formal modeling language and simulation models the models expressed as a program that can be executed to produce the simulation results. Both approaches have advantages and drawbacks but are mainly used independently one from the other.
This workshop targets the combined use of simulation and formal methods in order to ease their use and raise the level of quality of the designed system. Here is a partial list of subjects that will be explored during the workshop:
- use of simulation on formal models to check that these ones fits the designer intention (model validation)
- use of simulation on formal models when formal verification do not scale up to the formal model size (model verification)
- use of simulation on formal models to understand errors detected by formal verification (model debugging)
- use of formal methods to specify the intended semantics of simulation models
- use of formal methods to assess the correctness of simulation algorithms
- use of formal methods to ensure the correctness of the simulation platform
- cross assessment of formal models and simulation models to ensure their correctness, representativity, ...
- process, methods and tools that combine simulation and formal methods
Virtual Prototyping
Virtual prototyping enables developers to begin development for systems before hardware is available. Virtual prototyping is based model driven approach used to validate functional decisions and embedded software early.
One of then goals of this workshop is to propose new approaches that lean to improve the virtual prototyping concerns as accuracy, execution speed, system interfaces and automatic translation to different hardware. This can be achieved using methodology, modeling the system with different abstraction levels, fpga prototyping, distributed simulation and so on.
Topics include but are not limited to:
- Virtual prototyping architecture, modeling methodology and system concept development
- Hybrid Virtual prototyping methodology
- Virtual prototyping tools, environment and platforms
- Distributed simulation for Virtual prototyping
- Virtual prototyping for IOT
- Virtual prototyping for cyber-physic systems
More info about these and other ESM workshops can be found on:
https://www.eurosis.org/conf/esm/2020/workshops.html
More info about the conference can be found on:
https://www.eurosis.org/conf/esm/2020/index.html
Regards and stay safe everyone
Philippe
-
Philippe Geril
EUROSIS -ETI
Bluebridge Science Park
Ghent University - Ostend Campus
Wetenschapspark 1, Plassendale 1
B-8400 Ostend, Belgium
Tel: OO32.59.255.33
E-mail: philippe.geril@eurosis.org
E-mail: pgeril@yahoo.co.uk
URL: http://www.eurosis.org
Join EUROSIS on Linkedin for updates on simulation research, news and jobs
*********************************************************************
* Your Scientific information site on *
* Computer Simulation - Concurrent Engineering - Multimedia- Games *
* WWW.EUROSIS.ORG *
*********************************************************************
THINK BEFORE PRINTING
**** DISCLAIMER ****
"This e-mail and any attachments thereto may contain information
which is confidential and/or protected by intellectual property
rights and are intended for the sole use of the recipient(s) named
above.
Any use of the information contained herein (including, but not
limited to, total or partial reproduction, communication or
distribution in any form) by persons other than the designated
recipient(s) is prohibited.
If you have received this e-mail in error, please notify the sender
either by telephone or by e-mail and delete the material from any
computer.
Thank you for your cooperation."
===============================================================
This email is sent out to all those on the EUROSIS-ETI database.If
you want to be removed from this database or want to update your
address details, please send an email to Philippe.Geril@eurosis.org
===============================================================
