AboutComputing and Processing
Keywords:ML-based safety-critical systems,Trust and trustworthiness of ML components,Explainability of ML components,Privacy and security of ML components,Robustness and reliability of ML,Verification and validation methods of ML components,ML safety education and awareness,
Scope:The primary goal of this workshop is to foster innovative ideas on the use of SE techniques for the dependability of safety-critical systems with ML components and to promote cross-fertilization of research with the most relevant underlying areas. This workshop will provide a forum for discussing the challenges associated with dependability of systems with ML components, identifying areas of responsibility for the SE community, strategizing solutions for SE-owned challenges, and incorporating the (potentially enhanced) SE practices into ML-based system development processes. We aim to bring together researchers from different SE communities, e.g., requirements, modeling, safety, testing and formal verification, together with ML experts to highlight ongoing work and present new ideas. Additionally, we aim to sketch out an ongoing research agenda for future work and promote cross-community collaborations.
Sponsor Type:1; 9