Tiết diện I dự ứng lực được mô hình hóa trong ứng dụng IDEA StatiCa RCS. Tiết diện được tính toán cho tất cả các kiểm tra cần thiết, bao gồm trạng thái giới hạn cực hạn (ULS) cũng như trạng thái giới hạn sử dụng (SLS). Ngoài ra, kiểm tra cấu tạo được phần mềm thực hiện tự động.
