2015 Fiscal Year Research-status Report
Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems
| Project/Area Number |
15K00120
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
リム 勇仁 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 (90435793)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
丹 康雄 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90251967)
|
|---|
| Project Period (FY) |
2015-04-01 – 2018-03-31
|
| Keywords | Cyber-Physical Systems / Real-time System / Task Dependency Graph / SMT / Satisfaction Problem / Scheduling Algorithm |
|---|
| Outline of Annual Research Achievements |
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.
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
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.
|
| Strategy for Future Research Activity |
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.
|
| Causes of Carryover |
The leftover was occurred due to the late pay off of the last month of the fiscal year for the travel expenditure.
|
| Expenditure Plan for Carryover Budget |
The leftover will be used for travel expenditure in next fiscal year.
|
