The 2nd edition of the workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSirn-CPS-18) was held in Toulouse, France, on June 26, 2018, as a satellite event of STAF/SEFM-18. The workshop focuses on the integrated application of formal methods and co-simulation technologies in the development of software for Cyber-Physical Systems. Co-simulation is an advanced simulation technique that allows developers to generate a global simulation of a complex system by orchestrating and composing the concurrent simulation of individual components or aspects of the system. Formal methods link software specifications and program code to logic theories, providing developers with means to analyse program behaviours in a way that is demonstrably exhaustive. These two technologies complement each other. Using co-simulation, developers can create prototypes suitable to validate hypotheses embedded in formal models and formal properties to be analysed of the software. This is fundamental to ensure that the right system is being developed. Using formal methods, developers can extend test results obtained with co-simulation runs, and ensure that the same results apply to all program states for all possible program inputs. This enables early detection of design anomalies.
展开▼
