Panduan DO-178C: Pengantar Sertifikasi RTCA DO-178
Daftar Isi
Perbedaan dan Tantangan antara DO-178B dan DO-178C
Pengantar
Di bidang pengembangan perangkat lunak avionik, kepatuhan terhadap standar yang ketat sangat penting untuk memastikan keamanan dan keandalan sistem pesawat. Dua standar terkemuka dalam domain ini adalah DO-178B dan penerusnya, DO-178C. DO-178B, juga dikenal sebagai Pertimbangan Perangkat Lunak dalam Sertifikasi Sistem dan Peralatan Lintas Udara, pertama kali dirilis pada tahun 1992 oleh Radio Technical Commission for Aeronautics (RTCA). DO-178C, atau Pertimbangan Perangkat Lunak dalam Sertifikasi Sistem dan Peralatan Lintas Udara – Perubahan 1, adalah versi terbaru yang diterbitkan pada tahun 2011. Artikel ini akan mempelajari perbedaan dan tantangan utama antara DO-178B dan DO-178C.
Ruang Lingkup dan Tujuan
LAKUKAN-178B
DO-178B memberikan pedoman untuk pengembangan perangkat lunak yang digunakan dalam sistem dan peralatan lintas udara. Ini menguraikan tujuan dan kegiatan yang diperlukan untuk mencapai sertifikasi perangkat lunak di berbagai tingkat kekritisan, mulai dari Level A (paling kritis) hingga Level E (paling tidak kritis). Standar berfokus pada memastikan bahwa perangkat lunak melakukan fungsi yang dimaksudkan dengan andal, benar, dan aman.
LAKUKAN-178C
DO-178C dibangun di atas fondasi yang diletakkan oleh DO-178B dan memperkenalkan beberapa penyempurnaan dan klarifikasi. Itu mempertahankan tujuan dan tingkat kekritisan yang sama tetapi memberikan panduan yang diperbarui untuk mengatasi kemajuan teknologi dan pelajaran yang dipetik dari pengalaman sebelumnya. DO-178C juga memperkenalkan pendekatan yang lebih berbasis risiko, lebih menekankan pada penentuan kekritisan fungsi perangkat lunak berdasarkan dampaknya terhadap keamanan sistem.
Perbedaan Utama
Proses Siklus Hidup yang Disempurnakan
DO-178C memperkenalkan serangkaian proses siklus hidup yang lebih detail dibandingkan dengan DO-178B. Ini memberi penekanan tambahan pada persyaratan, desain, pengkodean, dan aktivitas pengujian. Proses baru yang didefinisikan dalam DO-178C meliputi pemodelan perangkat lunak, metode formal, dan teknologi berorientasi objek, yang tidak secara eksplisit dibahas dalam DO-178B.
Independensi dan Verifikasi
DO-178C memperkuat persyaratan untuk independensi antara pengembangan perangkat lunak dan aktivitas verifikasi. Ini menekankan perlunya independensi dalam verifikasi persyaratan perangkat lunak, desain, pengkodean, dan uji kasus. Hal ini memastikan bahwa perspektif yang berbeda diterapkan untuk mengevaluasi fungsionalitas perangkat lunak, mengurangi kemungkinan bias, dan meningkatkan kualitas proses verifikasi secara keseluruhan.
Metode Formal dan Pengembangan Berbasis Model
DO-178C mendorong penggunaan metode formal dan teknik pengembangan berbasis model untuk meningkatkan kualitas dan keandalan perangkat lunak. Pendekatan ini melibatkan analisis matematis dan penalaran formal untuk memverifikasi kebenaran perangkat lunak dan sifat keamanan. Sementara DO-178B tidak secara eksplisit membahas teknik ini, DO-178C memberikan panduan tentang integrasinya ke dalam proses pengembangan perangkat lunak.
Kualifikasi Alat
DO-178C memperkenalkan pendekatan kualifikasi alat yang lebih komprehensif. Ini mengakui meningkatnya ketergantungan pada alat pengembangan perangkat lunak dan kebutuhan untuk memastikan penggunaan dan keandalan yang tepat. Standar ini memberikan panduan tentang alat evaluasi dan kualifikasi berdasarkan dampaknya terhadap pengembangan perangkat lunak dan kekritisan keselamatan.
Pedoman Tambahan
DO-178C menggabungkan beberapa dokumen tambahan yang dikenal sebagai Technical Supplements (TS). Suplemen ini membahas topik khusus seperti pengembangan berbasis model, teknologi berorientasi objek, dan metode formal. Dokumen TS ini memberikan panduan dan klarifikasi tambahan untuk membantu pengembang dalam menerapkan praktik terbaik dan memenuhi persyaratan DO-178C.
Tantangan
Transisi dan Adaptasi
Salah satu tantangan utama dalam bermigrasi dari DO-178B ke DO-178C adalah kebutuhan organisasi dan pengembang untuk beradaptasi dengan pedoman dan proses yang diperbarui. Transisi mungkin memerlukan perubahan signifikan dalam metodologi pengembangan, rantai alat, dan alur kerja organisasi. Memastikan transisi yang mulus sambil mempertahankan keamanan dan keandalan dapat menjadi tugas yang rumit dan menghabiskan banyak sumber daya.
Peningkatan Persyaratan Dokumentasi
DO-178C lebih menekankan pada dokumentasi dibandingkan dengan DO-178B. Standar membutuhkan dokumentasi yang lebih komprehensif untuk aktivitas seperti persyaratan, desain, pengkodean, dan pengujian. Memenuhi persyaratan dokumentasi ini memerlukan upaya dan sumber daya tambahan dari tim pengembangan, yang dapat menimbulkan tantangan dalam hal waktu, biaya, dan koordinasi.
Kualifikasi dan Sertifikasi Alat
Dengan meningkatnya ketergantungan pada alat pengembangan perangkat lunak, memastikan kualifikasi dan sertifikasi yang tepat sangatlah penting. DO-178C memperkenalkan persyaratan yang lebih ketat untuk kualifikasi alat, termasuk kebutuhan untuk menunjukkan bahwa alat tidak menimbulkan efek buruk pada keamanan perangkat lunak. Organisasi harus berinvestasi dalam proses kualifikasi alat yang komprehensif dan dokumentasi untuk memenuhi persyaratan ini, yang dapat menjadi upaya yang rumit dan memakan waktu.
Kepatuhan dengan Proses dan Teknik Baru
DO-178C memperkenalkan proses dan teknik baru, seperti metode formal dan pengembangan berbasis model, yang mungkin asing bagi organisasi yang terbiasa dengan praktik DO-178B. Mencapai kepatuhan dengan pendekatan baru ini mungkin memerlukan pelatihan, keahlian, dan investasi tambahan dalam alat dan infrastruktur baru. Organisasi perlu mengatasi tantangan ini untuk mengadopsi standar yang diperbarui secara efektif.
Kesimpulan
DO-178B dan DO-178C adalah standar penting dalam pengembangan sistem perangkat lunak udara. Sementara DO-178C dibangun di atas fondasi yang diletakkan oleh DO-178B, DO-178C memperkenalkan beberapa perbedaan dan tantangan yang signifikan. Proses siklus hidup yang ditingkatkan, penekanan pada independensi dan verifikasi, penyertaan metode formal dan pengembangan berbasis model, dan persyaratan kualifikasi alat yang komprehensif membedakan DO-178C dari pendahulunya. Organisasi yang beralih dari DO-178B ke DO-XNUMXC harus menghadapi tantangan adaptasi, peningkatan persyaratan dokumentasi, kualifikasi alat, dan kepatuhan dengan proses dan teknik baru. Dengan mengatasi tantangan ini secara efektif, pengembang dapat memastikan keamanan, keandalan, dan kepatuhan berkelanjutan dari sistem perangkat lunak avionik mereka.
Jangan lupa untuk membagikan postingan ini!
bab
1. Pengenalan Standar Lintas Udara
2. Proses Sertifikasi DO-178
3. Alat & Pelatihan DO-178C
4. Topik DO-178C Tingkat Lanjut
5. DO-178C Sumber Daya
6. Daftar Istilah
Masuk ke Pasar Lebih Cepat dengan Visure
- Pastikan Kepatuhan terhadap Peraturan
- Terapkan Ketertelusuran Penuh
- Merampingkan Pembangunan
