Verified Systems actively participates and various national and European collaborative research projects.
Currently, Verified Systems participates in the INTO-CPS and STEVE research projects.
The aim of INTO-CPS project is to create an integrated “tool chain” for comprehensive Model-Based Design (MBD) of Cyber-Physical Systems (CPSs). The tool chain will support the multidisciplinary, collaborative modelling of CPSs from requirements, through design, down to realisation in hardware and software. This will enable traceability at all stages of the development.
INTO-CPS will support the holistic modelling of CPSs, allowing system models to be built and analysed that would otherwise not be possible using standalone tools. We will integrate existing industry-strength tools with high Technology Readiness Levels (TRL 6–9) in their application domains, based centrally around Functional Mockup Interface (FMI)-compatible co-simulation. The project focuses on the pragmatic integration of these tools, making extensions in areas where a need has been recognised. The tool chain will be underpinned by well-founded semantic foundations that ensures the results of analysis can be trusted.
The tool chain will provide powerful analysis techniques for CPSs, including connection to SysML; generation and static checking of FMI interfaces; model checking; Hardware-in-the-Loop (HiL) and Software-in-the-Loop (SiL) simulation, supported by code generation. The tool chain will allow for both Test Automation (TA) and Design Space Exploration (DSE) of CPSs. The INTO-CPS technologies will be accompanied by a comprehensive set of method guidelines that describe how to adopt the INTO-CPS approach, lowering entry barriers for CPS development.
Verified Systems has participated in the VerSyKo and TCGen research projects, and has contributed to the COMPASS FP7 research project.
The aim of the VerSyKo project is the development and evaluation of a continuous approach for modeling and verification of safety-critical and distributed embedded system. At its core, the project focusses on model-based development and verification of asynchronously communicating control systems, which are built from locally synchronous components.