Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakStatic Detection of Bugs in Embedded Software Using Lightweight Verification, Phase II
Proyek riset & pengembangan

Static Detection of Bugs in Embedded Software Using Lightweight Verification, Phase II

Ringkasan tujuan riset

Verifikasi ringan dan analisis statis digabungkan untuk menemukan pelanggaran aturan pengkodean perangkat lunak tertanam yang memerlukan tingkat keandalan tinggi.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 6274Periode tercatat 2007-12-01 sampai 2009-11-30.NASA TechPort 6274MulaiAkhir tercatat200720102007-12-012009-11-30
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Aturan pengkodean membantu keterbacaan dan prediktabilitas perangkat lunak kritis, tetapi pemeriksaan manual sulit mencakup semua bentuk pelanggaran. Proyek ini menggabungkan analisis sintaks, properti statis, dan inferensi perilaku saat berjalan. Prototipe tahap awal memakai teknologi GrammaTech untuk memeriksa aturan perangkat lunak penerbangan JPL melalui pohon sintaks dan graf aliran kendali. Pengembangan diarahkan pada alat yang mencakup lebih banyak aturan sambil menjaga biaya komputasi serta mengurangi peringatan keliru yang mengganggu pengguna.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
Jet Propulsion Laboratory
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2007-12-01 → 2009-11-30

Klasifikasi NASA

  • TX11.1.2 — V&V of Software systems

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted

Nilai TRL belum tersedia pada catatan yang diakses.

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.