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

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies Menyemak Model dalam Kehadiran Penjadual Menggunakan Bahasa Khusus Domain untuk Dasar Penjadualan

Nhat-Hoa TRAN, Yuki CHIBA, Toshiaki AOKI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Sistem serentak terdiri daripada pelbagai proses yang dijalankan secara serentak. Perintah pelaksanaan proses ini ditakrifkan oleh penjadual. Dalam teknik semakan model, dasar penjadualan berkait rapat dengan algoritma carian yang meneroka semua keadaan sistem. Untuk memastikan ketepatan sistem, dasar penjadualan perlu diambil kira semasa pengesahan. Pendekatan semasa, yang menggunakan strategi tetap, hanya mampu membuat jenis dasar yang terhad dan sukar untuk diperluaskan untuk mengendalikan variasi penjadual. Untuk menangani masalah ini, kami mencadangkan kaedah menggunakan bahasa khusus domain (DSL) untuk spesifikasi ringkas dasar penjadualan yang berbeza. Artifak yang diperlukan dijana secara automatik daripada spesifikasi untuk menganalisis gelagat sistem. Kami juga mencadangkan algoritma carian untuk meneroka ruang keadaan. Berdasarkan kaedah ini, kami membangunkan alat untuk mengesahkan sistem dengan penjadual. Percubaan kami menunjukkan bahawa kami boleh menyampaikan variasi penjadual dengan mudah dan mengesahkan sistem dengan tepat.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E102-D No.7 pp.1280-1295
Tarikh penerbitan
2019/07/01
Diumumkan
2019/03/29
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2017EDP7391
Jenis Manuskrip
PAPER
kategori
Sistem Perisian

Pengarang

Nhat-Hoa TRAN
  National University of Civil Engineering
Yuki CHIBA
  DENSO CORPORATION
Toshiaki AOKI
  Japan Advanced Institute of Science and Technology (JAIST)

Kata kunci

Contents [show]