Conclusions and Open Issues
摘要
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.