12 điểm bởi regentag 2024-11-07 | 5 bình luận | Chia sẻ qua WhatsApp

Đây là tài liệu được trình bày tại ISET (International Symposium of Embedded Technology) năm 2011.

Phần mềm hệ thống điện tử hàng không của T-50 được triển khai trên JamaicaVM, một JVM hiện thực đặc tả Real-time Java. Dù có các vấn đề về tốc độ và kích thước, chúng đã được giải quyết thông qua tối ưu hóa, qua đó cho thấy Java có thể được sử dụng trong các hệ thống Hard Real-Time và Safety-Critical.

Nội dung là tiếng Anh nhưng được trình bày dưới dạng slide dễ theo dõi, nên ngoài phần khái quát thì không có thêm bản dịch/tóm tắt riêng.


Đây là dự án được chính phủ hỗ trợ nhằm nội địa hóa các hệ thống điện tử hàng không cốt lõi và phần mềm của T-50. Phần mềm nhiệm vụ, được gọi là Operational Flight Program, được phát triển bằng Real-time Java. Bài thuyết trình này cho thấy lý do Java được lựa chọn và những công việc đã được thực hiện ở giai đoạn đầu phát triển để thích nghi với Java.

5 bình luận

 
gnh1201 2024-11-14

Cho đến gần đây, tôi đã dành khá nhiều thời gian cho việc hỗ trợ JavaScript trên các hệ thống nhúng, và thấy khá thú vị vì dù ngôn ngữ khác nhau nhưng vẫn có nhiều trăn trở giống nhau. Cảm ơn bạn đã chia sẻ tài liệu hay.

 
hackerst 2024-11-08

Đây là bài viết từ năm 2012. Nếu lý do không chọn C/C++ là vì vấn đề bảo mật, thì nếu là bây giờ có lẽ lựa chọn đã khác đi khá nhiều.

 
regentag 2024-11-08

Có lẽ là chưa thay đổi đâu. Bên hàng không dường như không có nhiều lựa chọn...
Theo một bài phỏng vấn năm 2020, KF-21 cũng đang được phát triển bằng C++.
Mỹ cũng dùng Ada cho đến F-22, rồi chuyển sang C++ vào thời điểm dự án JSF.
Ngày nay chắc cũng khó tìm được lập trình viên Ada (dù vậy vẫn còn rất nhiều mã legacy. Boeing Korea thỉnh thoảng đến giờ vẫn đăng tuyển lập trình viên Ada.) Còn Rust thì các công cụ được chứng nhận mới chỉ bắt đầu xuất hiện từng cái một...

Có lẽ 20~30 năm nữa, khi phát triển thế hệ tiêm kích tiếp theo sau KF-21, chuyện này mới có thể thay đổi.

 
roxie 2024-11-07

Đúng là chiếc máy bay T-50 đó nhỉ

 
regentag 2024-11-07

Vâng, đúng là chiếc máy bay T-50 đó thật nhé haha