Theo một chương trình chính thức , khả năng chứng minh hệ thống đáng tin cậy đóng góp cho một tác phẩm chậm trễ trong khoảng 1 năm .
Một năm chậm trễ kết thúc từ không chắc chắn về sự tin cậy của hệ thống .