A Context Dependent Clock Control Mechanism for Dynamically Reconfigurable Processors

Amano, Hideharu; Hasegawa, Yohei; Abe, Sachiko; Ishikawa, Keisuke; Tsutsumi, Sadami; Kurotaki, S.; Nakamura, Tomonori; Nishimura, Takashi

doi:10.1109/fpl.2006.311269

Cited by 3 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a dynamically reconfigurable system, CPU behaves as a real-time system since a deadline is set in a task on the CPU. In addition, DRP behaves as a hybrid system with a dynamic change of operating frequency [3].…”

Section: Introductionmentioning

confidence: 99%

Development of Model Checker of Dynamic Linear Hybrid Automata

Yanase

Sakai

et al. 2013

2013 IEEE 37th Annual Computer Software and Applications Conference

View full text Add to dashboard Cite

Abstract-Dynamically reconfigurable systems have attracted public attention from the point of view of miniaturization and saving power consumption for embedded systems in recent years. In this study, we propose dynamic linear hybrid automata as specification language of dynamically reconfigurable systems and the verification technique of reachability analysis. A dynamic linear hybrid automaton(DLHA) is a linear hybrid automaton extended with actions of creation and destruction. This paper presents the model checker and applies it to the model of an embedded system consisting CPU and DRP.

show abstract

Section: Introductionmentioning

confidence: 99%

Development of Model Checker of Dynamic Linear Hybrid Automata

Yanase

Sakai

et al. 2013

2013 IEEE 37th Annual Computer Software and Applications Conference

View full text Add to dashboard Cite

show abstract

Exploiting Slack Time in Dynamically Reconfigurable Processor Architectures

Schweizer

Oppold

Filho

et al. 2007

2007 International Conference on Field-Programmable Technology

View full text Add to dashboard Cite

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

Yanase¹,

Sakai²,

Sakai³

et al. 2016

JSEA

View full text Add to dashboard Cite

A dynamically reconfigurable system can change its configuration during operation, and studies of such systems are being carried out in many fields. In particular, medical technology and aerospace engineering must ensure system safety because any defect will have serious consequences. Model checking is a method for verifying system safety. In this paper, we propose the Dynamic Linear Hybrid Automaton (DLHA) specification language and show a method to analyze reachability for a system consisting of several DLHAs.

show abstract

A Context Dependent Clock Control Mechanism for Dynamically Reconfigurable Processors

Cited by 3 publications

References 12 publications

Development of Model Checker of Dynamic Linear Hybrid Automata

Development of Model Checker of Dynamic Linear Hybrid Automata

Exploiting Slack Time in Dynamically Reconfigurable Processor Architectures

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

Contact Info

Product

Resources

About