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
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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Jong-In LEE, Ho-Jung BANG, Tai-Hyo KIM, Sung-Deok CHA, "Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time" in IEICE TRANSACTIONS on Information,
vol. E92-D, no. 1, pp. 24-31, January 2009, doi: 10.1587/transinf.E92.D.24.
Abstract: Automated static timing analysis methods provide a safe but usually overestimated worst-case execution time (WCET) due to infeasible execution paths. In this paper, we propose a visual language, User Constraint Language (UCL), to obtain a tight WCET estimation. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize valid execution paths of a program. The user constraints specified in UCL are translated into finite automata. The combined automaton, constructed by a cross-production of the automata for program and user constraints, reflects the static structure and possible dynamic behavior of the program. It contains only the execution paths satisfying user constraints. A case study using part of a software program for satellite flight demonstrates the effectiveness of UCL and our approach.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E92.D.24/_p
Salinan
@ARTICLE{e92-d_1_24,
author={Jong-In LEE, Ho-Jung BANG, Tai-Hyo KIM, Sung-Deok CHA, },
journal={IEICE TRANSACTIONS on Information},
title={Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time},
year={2009},
volume={E92-D},
number={1},
pages={24-31},
abstract={Automated static timing analysis methods provide a safe but usually overestimated worst-case execution time (WCET) due to infeasible execution paths. In this paper, we propose a visual language, User Constraint Language (UCL), to obtain a tight WCET estimation. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize valid execution paths of a program. The user constraints specified in UCL are translated into finite automata. The combined automaton, constructed by a cross-production of the automata for program and user constraints, reflects the static structure and possible dynamic behavior of the program. It contains only the execution paths satisfying user constraints. A case study using part of a software program for satellite flight demonstrates the effectiveness of UCL and our approach.},
keywords={},
doi={10.1587/transinf.E92.D.24},
ISSN={1745-1361},
month={January},}
Salinan
TY - JOUR
TI - Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time
T2 - IEICE TRANSACTIONS on Information
SP - 24
EP - 31
AU - Jong-In LEE
AU - Ho-Jung BANG
AU - Tai-Hyo KIM
AU - Sung-Deok CHA
PY - 2009
DO - 10.1587/transinf.E92.D.24
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E92-D
IS - 1
JA - IEICE TRANSACTIONS on Information
Y1 - January 2009
AB - Automated static timing analysis methods provide a safe but usually overestimated worst-case execution time (WCET) due to infeasible execution paths. In this paper, we propose a visual language, User Constraint Language (UCL), to obtain a tight WCET estimation. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize valid execution paths of a program. The user constraints specified in UCL are translated into finite automata. The combined automaton, constructed by a cross-production of the automata for program and user constraints, reflects the static structure and possible dynamic behavior of the program. It contains only the execution paths satisfying user constraints. A case study using part of a software program for satellite flight demonstrates the effectiveness of UCL and our approach.
ER -