| 研究課題/領域番号 |
15K00120
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
リム 勇仁 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 (90435793)
|
|---|
| 研究分担者 |
丹 康雄 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90251967)
|
|---|
| 研究期間 (年度) |
2015-04-01 – 2018-03-31
|
| キーワード | Cyber-Physical Systems / Real-time System / Task Dependency Graph / SMT / Satisfaction Problem / Scheduling Algorithm |
|---|
| 研究実績の概要 |
In fiscal year 2015, the aims are to define a task model and also to attain an efficiency scheduling algorithm for the HiCoCPS system. The task model is breaking down into a task dependency graph, which is used to illustrate the task execution orders before an optimization scheduling algorithm, i.e., the proposed satisfiability modulo theories (SMT) based scheduling. The scheduling issue is formalized as a form of the constraint satisfaction problem that is using the first-order logic with equality. As a results, the proposed SMT based scheduling can maximize the total number of tasks to meet their deadlines regardless of the system and target constraints.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
The proposed SMT-based scheduling by taking advantage of task dependency graph is designed and its theoretical analysis with system and target constraints is further investigated according to the planned fiscal year in 2015. Since the performance evaluation of the proposed SMT-based scheduling algorithm is conducted using simulation only, the cross-checking in between simulation and emulation with different test environment is not conducted. Furthermore, emulation studies under a specific application environment like smart homes are not examined. Therefore, the scalability and feasibility of the proposed SMT-based scheduling algorithm are not verified and justified.
|
| 今後の研究の推進方策 |
In next fiscal year, the scalability and feasibility of the proposed SMT-based scheduling algorithm is firstly investigated. And then the accomplished milestone is to derive and design a time delay model, which is used to yield a safe-to-process algorithm by considering the latencies in between the sensors and actuators in order to guarantee the generated events to be processed on time manner. The new time delay model is comprehensively examined in the large-scale distributed HiCoCPS environment under some assumptions through a set of selection metrics and acceptance criteria. Using the availability of TinyOS, a typical wireless sensor and actuator networks (WSAN) with two sets of five sensors and one actuator is constructed and performed. The obtained results are used to allow the cross-checking in between the simulation and experimental studies.
|
| 次年度使用額が生じた理由 |
The leftover was occurred due to the late pay off of the last month of the fiscal year for the travel expenditure.
|
| 次年度使用額の使用計画 |
The leftover will be used for travel expenditure in next fiscal year.
|
