Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time Visualisasi dan Pembentukan Kekangan Pengguna untuk Anggaran Ketat Masa Pelaksanaan Kes Terburuk

Jong-In LEE, Ho-Jung BANG, Tai-Hyo KIM, Sung-Deok CHA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kaedah analisis pemasaan statik automatik menyediakan masa pelaksanaan kes terburuk (WCET) yang selamat tetapi biasanya melebihi anggaran disebabkan laluan pelaksanaan yang tidak boleh dilaksanakan. Dalam kertas kerja ini, kami mencadangkan bahasa visual, Bahasa Kekangan Pengguna (UCL), untuk mendapatkan anggaran WCET yang ketat. UCL menyediakan notasi visual intuitif yang membolehkan pengguna menentukan pelbagai peringkat aliran maklumat dengan mudah untuk mencirikan laluan pelaksanaan yang sah bagi sesuatu program. Kekangan pengguna yang dinyatakan dalam UCL diterjemahkan ke dalam automata terhingga. Automata gabungan, yang dibina oleh pengeluaran silang automata untuk program dan kekangan pengguna, mencerminkan struktur statik dan kemungkinan tingkah laku dinamik program. Ia mengandungi hanya laluan pelaksanaan yang memenuhi kekangan pengguna. Kajian kes menggunakan sebahagian daripada program perisian untuk penerbangan satelit menunjukkan keberkesanan UCL dan pendekatan kami.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E92-D No.1 pp.24-31
Tarikh penerbitan
2009/01/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E92.D.24
Jenis Manuskrip
PAPER
kategori
Pengkomputeran Boleh Dipercayai

Pengarang

Kata kunci

Contents [show]