Kualifikasi - mengapa demikian?
Standar industri seperti KT-178 atau ISO 26262 menjelaskan proses untuk membangun perangkat lunak yang kuat. Jika Anda mengikuti uraian ini, pembuatan perangkat lunak semacam itu akan berubah menjadi neraka birokrasi yang akan bertahan selamanya. Tetapi ada perangkat lunak yang dapat mengotomatiskan sebagian besar proses ini. Perangkat lunak semacam itu disebut alat. Dan jika Anda menggunakan suatu alat, maka alat tersebut harus dapat diandalkan (ISO 26262 bahkan memperkenalkan istilah "keyakinan pada alat tersebut"). Untuk memastikan keandalan instrumen, kualifikasinya dilakukan.
Kualifikasi - teori
Standar industri memiliki konsep tingkat keamanan. Dalam standar yang berbeda, mereka disebut berbeda: Tingkat Perangkat Lunak dalam CT-178, Tingkat Kelengkapan Keselamatan Kendaraan dalam ISO 26262. Dan untuk alat pengembangan, digunakan tingkat kualifikasi alat (CT-178) atau tingkat klasifikasi alat (ISO 26262). Level ini ditetapkan sesuai dengan kekritisan alat - semakin besar pengaruh alat terhadap pengembangan, semakin tinggi tingkat keahlian yang akan diberikan padanya. Dalam hal ini, salah satu kriteria utama untuk menentukan pengaruh suatu alat adalah ukuran pengaruhnya terhadap perangkat lunak yang dihasilkan.
Pertimbangkan generator kode sumber dan penganalisis kode statis sebagai contoh. Kode yang dihasilkan masuk ke firmware perangkat, yang akan dipasang di pesawat atau mobil. Dengan demikian, pembuat kode berdampak langsung pada perangkat lunak yang dihasilkan. Karena pembuat kode adalah hal yang kompleks dan dapat menghasilkan kode dengan kesalahan, persyaratan ketat diberlakukan pada kualitas pembuat kode ini dan tingkat kualifikasinya akan maksimal. Hal lain adalah penganalisis statis, yang hasilnya tidak masuk ke perangkat lunak onboard dan tingkat pengaruhnya minimal. Oleh karena itu, tingkat keahlian untuk penganalisis statis akan lebih rendah daripada pembuat kode.
Dan tingkat kualifikasi secara langsung mempengaruhi biaya tenaga kerja: misalnya, untuk penerbangan, untuk memenuhi syarat suatu alat untuk tingkat KT-178S tertinggi, diperlukan 76 tindakan pengendalian, dan untuk tingkat terendah - hanya 14.
Poin penting lainnya adalah bahwa kualifikasi alat tidak dilakukan oleh pengembang alat, tetapi langsung oleh pengembang perangkat lunak, dan kualifikasi harus dilakukan untuk setiap proyek!
Kualifikasi - Catatan Latihan
Sebagaimana dinyatakan di bagian teoritis, kualifikasi alat adalah proses yang mahal, tetapi disederhanakan dalam beberapa cara:
- Dukungan proses kualifikasi oleh produsen alat (vendor)
- Pedoman kualifikasi instrumen dari standar
Mari kita pertimbangkan mereka secara berurutan. Pertama-tama, vendor sendiri menyediakan paket dukungan kualifikasi alat. Kedua, standar industri memberikan panduan tentang alat yang memenuhi syarat yang dapat mengurangi beban kerja.
Saya ingin membahas poin kedua. Mari kita lihat pembuat kode lagi. Kode yang dihasilkan dengan bantuannya masih harus diuji, cakupan kode akan dikumpulkan, analisisnya dilakukan, yaitu diverifikasi.
Standar industri memberi tahu kami bahwa jika kami memenuhi syarat alat yang bertanggung jawab untuk memverifikasi kode, maka kualifikasi pembuat kode itu sendiri tidak akan diperlukan. Dengan demikian, standar itu sendiri memberikan panduan yang dapat Anda ikuti untuk secara signifikan mengurangi biaya kualifikasi.
Untuk kualifikasi alat verifikasi, standar yang ditentukan menunjukkan perilaku mereka dalam kondisi normal. Dalam praktiknya, tampilannya seperti ini:
- Vendor menyediakan satu set templat dokumen, peraturan dan tolok ukur untuk instrumen dan hasil referensinya.
- Anda mengisi template dokumen dan menjalankan tes yang disediakan di lingkungan Anda.
- Hasil tes yang Anda jalankan dibandingkan dengan tolok ukur, dan jika ada perbedaan pada hasil, Anda menghilangkan perbedaan tersebut.
Perlu dicatat bahwa proses yang dijelaskan juga membutuhkan banyak waktu dan, seperti semua pengembangan, dilakukan bekerja sama dengan otoritas sertifikasi.
Alat MathWorks dan kualifikasinya
Alat seperti Simulink, DSP Toolbox, Control System Toolbox adalah standar industri untuk mengembangkan sistem kontrol, pemrosesan sinyal digital. Tidak mengherankan jika mereka digunakan dalam penerbangan, otomotif, dan industri lainnya. Dari model yang dikembangkan, kode C / C ++ dihasilkan yang bergerak dan terbang. Secara alami, pengembang dihadapkan pada pertanyaan tentang kualifikasi alat. Dan kualifikasi alat MathWorks untuk KT-178S dilakukan untuk alat verifikasi model dan kode:
- Pemeriksaan Simulink
- Cakupan Simulink
- Persyaratan Simulink
- Pemverifikasi Desain Simulink
- Tes Simulink
- Pembuat Laporan Simulink
- Pencari Bug Polyspace
- Prover Kode Polyspace
- Pemeriksa Kode Simulink
Dan untuk ISO 26262, sertifikat disediakan untuk:
- Pemeriksaan Simulink
- Cakupan Simulink
- Persyaratan Simulink
- Pemverifikasi Desain Simulink
- Tes Simulink
- Pembuat Laporan Simulink
- Pencari Bug Polyspace
- Prover Kode Polyspace
- Coder Tertanam
- Pembuat Kode HDL
- Coder PLC
Tergantung pada industrinya, Kit Kualifikasi DO untuk Penerbangan atau Kit Sertifikasi IEC untuk otomotif, kereta api dan industri lainnya disediakan .
Bukan kesimpulan
Artikel ini telah memberikan gambaran umum tingkat tinggi tentang proses kualifikasi alat standar industri. Selama menulis artikel ini, saya dibimbing oleh sumber-sumber berikut:
- R-330, "Panduan Kualifikasi Alat Perangkat Lunak", khususnya:
- p. 2.0 Penugasan kualifikasi alat
- hal 3.1. Tingkat kualifikasi
- Referensi D pertanyaan D7
- GOST R ISO 26262-8, Bab 11, "Keyakinan dalam penggunaan alat perangkat lunak"
Jika Anda tertarik dengan bagaimana sistem peningkatan keandalan dibuat, tulis di komentar apa yang perlu Anda pertimbangkan di artikel berikut.