Stochastic Verification of Run-time Performance Adaptation with Field Delay Testing

被引:0
|
作者
Hashimoto, Masanori [1 ]
机构
[1] Osaka Univ, Dept Informat Syst Engn, Suita, Osaka 565, Japan
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Run-time performance adaptation with field delay testing is a promising approach for minimizing design margin while sustaining necessary operational margin in the field. However, run-time performance adaptation has not been adopted in industrial designs since a serious concern on timing error occurrence exists. For putting the run-time performance adaptation in a practical use, we need to verify and optimize the run-time adaptation system in design time. For this purpose, we have developed a stochastic framework for error rate estimation that models adaptive speed control as a continuous-time Markov process. In this paper, we evaluate MTTF and power consumption of an embedded processor whose performance is adaptively controlled with online testing and offline testing. This evaluation quantitatively shows the power reduction and MTTF improvement thanks to run-time performance adaptation.
引用
收藏
页码:751 / 754
页数:4
相关论文
共 50 条
  • [1] Opportunities and Verification Challenges of Run-time Performance Adaptation
    Hashimoto, Masanori
    [J]. 2014 IEEE 23RD ASIAN TEST SYMPOSIUM (ATS), 2014, : 248 - 253
  • [2] Performance regression testing and run-time verification of components in robotics systems
    Wienke, J.
    Wrede, S.
    [J]. ADVANCED ROBOTICS, 2017, 31 (22) : 1177 - 1192
  • [3] Run-time verification
    Colin, S
    Mariani, L
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [4] Run-time Performance Adaptation: Opportunities and Challenges
    Hashimoto, Masanori
    [J]. PROCEEDINGS OF THE 2015 IEEE INTERNATIONAL CONFERENCE ON ELECTRON DEVICES AND SOLID-STATE CIRCUITS (EDSSC), 2015, : 114 - 117
  • [5] Formal Verification of A Domain Specific Language for Run-time Adaptation
    Khan, Shahid
    Khalid, Faiq
    Hasan, Osman
    Cardoso, Joao M. P.
    [J]. 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 7 - 14
  • [6] Run-Time Verification of Coboxes
    de Boer, Frank S.
    de Gouw, Stijn
    Wong, Peter Y. H.
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
  • [7] Run-time adaptation in River
    Arpaci-Dusseau, RH
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2003, 21 (01): : 36 - 86
  • [8] Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
    Mera, Edison
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 281 - +
  • [9] Enabling run-time system verification through built-in testing
    Brenner, Daniel
    [J]. TAIC PART - TESTING: ACADEMIC & INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS, 2006, : 131 - 134
  • [10] Time-sensitive adaptation in CPS through run-time configuration generation and verification
    Garcia-Valls, Marisol
    Perez-Palacin, Diego
    Mirandola, Raffaela
    [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 332 - 337