Since its early introduction in the Eighties, certification has been a primary way to document the verification of systems behavior. Certification schemes and corresponding processes have been defined for software systems, first, and the adapted to service-based and cloud-based systems. Finally their scope has included ML-based systems. Certification schemes implement a procedure by which a trusted third party gives written assurance (evidence) that a product, process or service hold some non-functional properties and behaves correctly.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Conclusions and Open Issues

  • Marco Anisetti,
  • Claudio Agostino Ardagna,
  • Ernesto Damiani,
  • Nabil El Ioini

摘要

Since its early introduction in the Eighties, certification has been a primary way to document the verification of systems behavior. Certification schemes and corresponding processes have been defined for software systems, first, and the adapted to service-based and cloud-based systems. Finally their scope has included ML-based systems. Certification schemes implement a procedure by which a trusted third party gives written assurance (evidence) that a product, process or service hold some non-functional properties and behaves correctly.