← Kembali ke studi kasus Kasus perangkat lunak instrumen ilmiah

Perangkat lunak pengendalian instrumen penelitian semikonduktor dan pengambilalihan data: rekayasa keandalan untuk sistem komputer atas Windows

Kasus Sinovanta anonim yang mencakup aplikasi Qt / C ++ Windows, kontrol suhu Modbus multi-perangkat, akuisisi dan penyimpanan kamera industri, catatan SQLite, perangkat verifikasi menulis, dan pengiriman pemasang yang dapat diulang.

Keterlibatan
Audit sistem yang ada dan peningkatan perangkat lunak yang ditargetkan
Lingkup
Perangkat lunak Windows, komunikasi perangkat, kamera industri, penyimpanan data, dan kemasan
Platform
Windows 10/11 x64, Qt 5.12, C++/MSVC, Modbus RTU, dan SQLite
Versi bukti
1.0.3.20260728 pemasang uji pelanggan
01

Konteks proyek

Aplikasi komputer atas yang ada mengkoordinasikan sepuluh kontroler suhu, perangkat shutter, kamera industri, skrip proses, dan catatan eksperimen. Diagnosis lapangan mengidentifikasi rekaman suhu diskontinu, celah penyimpanan kamera yang diam dan keterlambatan preview, menulis yang tampaknya berhasil tanpa mengubah perangkat target, nilai Ramp Rate yang ditampilkan sebelum pembacaan perangkat keras, dan skala suhu yang tidak konsisten.

02

Tujuan Teknik

Menjaga integrasi perangkat yang terbukti sambil mengisolasi jalur berisiko tinggi: membuat skrip kontrol dapat dilacak, menyinkronkan parameter perangkat dalam kedua arah, memulihkan akuisisi dan penyimpanan ketika bingkai berhenti, menjaga unit konsisten, menghasilkan pemasang Release yang dapat diulang, dan menentukan pekerjaan penerimaan perangkat keras pelanggan yang tersisa.

Kerja keandalan di seluruh jalur kontrol dan data

Upgrade memperlakukan komunikasi serial, akuisisi kamera, ketahanan, keadaan antarmuka pengguna, dan kemasan sebagai satu rantai yang dapat diamati. Setiap perubahan dikaitkan dengan mode kegagalan dan hasil yang dapat diperiksa.

  1. 01

    Basis data dan pengambilan bukti

    Membekukan garis dasar sumber dan installer, meninjau log dan catatan SQLite, mengidentifikasi batas perangkat, dan memisahkan kesalahan lapangan yang diamati dari asumsi.

  2. 02

    Akuisisi seri dan pembacaan parameter

    Menjaga polling PV/SP frekuensi tinggi stabil saat membaca Ramp Rate register 0x0023 pada jadwal frekuensi rendah, satu controller setiap tiga detik.

  3. 03

    Kontrol perangkat yang diverifikasi

    Terima tulisan hanya setelah jawaban Modbus 0x06 yang tepat cocok dengan slave, register, dan nilai dan target SP dibaca kembali; coba lagi atau lapor kegagalan jika tidak.

  4. 04

    Pemulihan pipa kamera

    Memantau kedatangan dan ketahanan frame mentah secara independen, membuka kembali akuisisi setelah tiga detik berhenti, dan menjadwal ulang penyimpanan ketika frame tiba tetapi tidak ada gambar yang disimpan.

  5. 05

    Data dan konsistensi unit

    Gunakan jalur satu unit suhu, hapus ketidaksesuaian faktor sepuluh yang sudah ada, simpanlah timestamp pengambilan nyata, dan simpanlah diagnostik tersedia untuk ditinjau nanti.

  6. 06

    Kontrol pelepasan dan penerimaan

    Membangun paket x64 Release, audit ketergantungan runtime, versi file rekaman dan nilai SHA-256, menyimpan materi rollback, dan mengeluarkan daftar pemeriksaan penerimaan perangkat keras.

03

Pengiriman yang terkontrol

Target source patch
Sebuah 12 file patch yang mencakup Ramp Rate readback, penulisan terverifikasi, pemulihan kamera, penjadwalan persistensi, dan konsistensi suhu-unit.
Installer uji pelanggan
Versi 1.0.3.20260728 untuk Windows x64 dengan waktu berjalan Qt, driver SQLite, SDK kamera, konfigurasi perangkat, dan VC Runtime.
Arsitektur dan revisi kode
Revisi struktur aplikasi yang ada, jalur komunikasi, penanganan data, dan risiko P0/P1 yang diprioritaskan.
Rekaman konstruksi dan kemasan
Rilis output build, inventaris ketergantungan, metadata versi, jumlah paket, dan SHA-256 checksum.
Daftar pemeriksaan penerimaan lapangan
Pembacaan sisi perangkat, verifikasi tulisan berulang, daya tahan kamera, koneksi kembali, kontinuitas penyimpanan, dan pemeriksaan konsistensi unit.
04

Bukti teknik

Bukti di bawah ini mengidentifikasi artefak, ruang lingkup pengujian, dan keterbatasan. Ini tidak menggantikan penerimaan perangkat keras pelanggan.

Revisi arsitektur

83 file sumber dan header C++; sekitar 36.200 baris fisik ditinjau.

Pemeriksaan ini mengidentifikasi risiko P0/P1 dan batas kepemilikan yang konkret. Ini adalah revisi teknik statis, bukan sertifikasi perangkat lunak.

Diagnosis lapangan pelepasan sebelumnya

Interval median frame kamera sekitar 125 ms; 99% pada atau di bawah 130 ms; satu interval 562,921 detik dan satu interval 17,306 detik; 1.486 gambar disimpan tanpa duplikat berturut-turut.

Pengukuran ini menetapkan garis dasar kesalahan sebelumnya. Mereka tidak membuktikan daya tahan versi 1.0.3.

Release build

Dibangun lulus; ukuran pelaksanaan 1,727,488 byte; SHA-256 CB4A11624F97BABC892399DF0975059408AA62CA4502622BBEE84D058D2FD5FD.

Hal ini mengkonfirmasi artefak konstruksi yang dapat direproduksi dan klaim statis yang diperiksa saja.

Audit pemasang

78 file bertahap dengan total 66,292,772 byte; nol Qt Debug DLL; diperlukan Qt, SQLite, kamera-SDK, VC Runtime, dan file perangkat hadir.

Penginstalan SHA-256 adalah 6908988BF48670AC25A9F004BC77070960AE55D19D35AB51212EBDD64B4321A9. Paketnya tidak ditandatangani.

05

Status validasi

  • Penegasan statis yang diterima untuk jalur pembacaan Ramp Rate, aliran menulis / membaca kembali yang diverifikasi, pengawas akuisisi, pengawas penyimpanan, dan penghapusan skala suhu warisan.
  • CTest berhasil keluar tetapi melaporkan bahwa tidak ada tes yang ditemukan; ini bukan bukti tes fungsional.
  • ProductVersion, FileVersion, isi paket, ketergantungan waktu berjalan yang diperlukan, dan nilai SHA-256 diperiksa.
  • Versi 1.0.3 belum dipasang atau dijalankan pada instrumen pelanggan pada tanggal bukti; penerimaan sisi perangkat dan daya tahan masih menunggu.
06

Lingkup dan keterbatasan

Hasil yang diterbitkan adalah installer Windows yang diuji pelanggan ditambah sumber, build, paket, dan bukti ulasan statis. Ini tidak mengklaim penerimaan lokasi yang selesai, penandatanganan produksi, akurasi pengukuran yang disertifikasi, penyimpanan kamera jangka panjang yang tidak terganggu, atau operasi yang diverifikasi pada setiap kombinasi pengontrol dan kamera. Akseptasi akhir membutuhkan pembacaan Ramp Rate yang nyata, perjanjian perangkat-panel untuk menulis berulang, setidaknya dua jam kamera berjalan tanpa celah yang tidak dapat dijelaskan, memutuskan dan menghubungkan kembali pemulihan, dan pemeriksaan suhu unit pada instrumen target.

Mendiskusikan perangkat lunak instrumen ilmiah

Menyediakan topologi instrumen, protokol perangkat, model kamera, aturan penyimpanan data, urutan operasi, sumber atau pelaksanaan yang ada, lingkungan penyebaran, dan kriteria penerimaan.

Kirimkan persyaratan Anda →