Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster

点击翻译按钮获取中文摘要

Evolving systems (ESs) form a new class of systems that can rapidly change their behavior, due to fast iteration cycles in development and/or to their ability to self-adapt and learn; they can include Machine Learning (ML)-enabled components. By 2025 the market for artificial intelligence related products in Canada is expected to reach $127 billion. The footprint of ML-based (critical) applications is dramatically increasing in Canada and worldwide. Critical domains include but are not limited to Aerospace, Cybersecurity, Automotive & Transportation, Banking & Finance and Business and data analytics. ESs do not follow the modelling, design and implementation standards developed for traditional systems: the behavior of ES is less transparent than for most of traditional systems; the development of ESs is agile and often driven by data or user-evolving expectations. Formal specifications for ESs can be missing and requirements expressed with data or unstructured text are often available. Industrial-grade testing and verification (T&V) approaches for a comprehensive and thorough quality assurance of ESs are needed by the industry and for our safety. CRIM, a Canadian research organisation, and three Canadian industrial organisations teamed up over 20 organisations from four European countries to fulfil the industrial needs within the context of the project IVVES (Industrial-graded Verification and Validation of Evolving Systems). IVVES has been approved by ITEA that is a cluster of EUREKA. The research conducted for 3 years within IVVES-CC will propose systematic approaches for robust and comprehensive, industrial-grade T&V of ESs. It develops (1) T&V approaches dedicated to ML-enabled applications, (2) AI and data-driven T&V approaches dedicated to ESs to cover areas that currently cannot be covered by state-of-the-art specification-based testing and (3) smart engineering approaches that use data analytics to establish efficient and high-quality engineering processes for ESs. The approaches will be evaluated on industrial use cases; HQP and industrial partners will be trained to master the developed approaches for a better roll-out in the industry. The project is partially supported by CRIAQ.