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 条
  • [21] Run-time Performance Monitoring, Verification, and Healing of End-to-End Services
    Choi, Nakjung
    Jagadeesan, Lalita
    Kim, Young Jin
    Mohanasamy, Nishok Narasimha
    Rahman, Muntasir Raihan
    Sabnani, Krishan
    Thottan, Marina
    [J]. PROCEEDINGS OF THE 2019 IEEE CONFERENCE ON NETWORK SOFTWARIZATION (NETSOFT 2019), 2019, : 30 - 35
  • [22] An Ontology for run-time Verification of Security Certificates for SOA
    D'Agostini, Stefania
    Di Giacomo, Valentina
    Pandolfo, Claudia
    Presenza, Domenico
    [J]. 2012 SEVENTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES), 2012, : 525 - 533
  • [23] Increasing application performance in virtual environments through run-time inference and adaptation
    Sundararaj, AI
    Gupta, A
    Dinda, PA
    [J]. 14TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, : 47 - 58
  • [24] Efficient run-time verification of web service composition
    Yau, Yik-Shiung
    Chua, Fang-Fang
    [J]. International Journal of Web Engineering and Technology, 2015, 10 (02) : 170 - 198
  • [25] Analysis and run-time verification of dynamic security policies
    Janicke, Helge
    Siewe, Frangois
    Jones, Kevin
    Cau, Antonio
    Zedan, Hussein
    [J]. DEFENCE APPLICATIONS OF MULTI-AGENT SYSTEMS, 2006, 3890 : 92 - 103
  • [26] Run-Time Adaptation of Quality Attributes for Automated Planning
    Wohlrab, Rebekka
    Meira-Goes, Romulo
    Vierhauser, Michael
    [J]. 2022 17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), 2022, : 98 - 105
  • [27] A case for run-time adaptation in packet processing systems
    Kokku, R
    Riché, TL
    Kunze, A
    Mudigonda, J
    Jason, J
    Vin, HM
    [J]. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2004, 34 (01) : 107 - 112
  • [28] Run-time composition and adaptation of mismatching behavioural transactions
    Camara, Javier
    Salauen, Gwen
    Canal, Carlos
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 381 - +
  • [29] Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
    Camara, Javier
    Salauen, Gwen
    Canal, Carlos
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (13) : 2182 - 2211
  • [30] Automatic configuration and run-time adaptation of distributed applications
    Chang, FZ
    Karamcheti, V
    [J]. NINTH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE DISTRIBUTED COMPUTING, PROCEEDINGS, 2000, : 11 - 20