Xã hội phát triển, công nghệ thông tin ngày càng giữ vị trí quan trọng trong đời sống và kỹ thuật. Nó giúp cho các nhà quản lý kinh doanh, thương mại ,quân đội,các hoạt động của con người trong nhiều lĩnh vực đem lại hiệu quả cao. Đặc biệt vấn đề về điều khiển đã hỗ trợ con người đắc lực trong việc điều khiển tự đông. Việc xây dựng các phần mềm như vậy đòi hỏi phần mềm thực thi phải có độ chính xác cao đặc biệt là luôn có các ràng buộc liên quan đến thời gian