| Project/Area Number |
15560227
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent mechanics/Mechanical systems
|
|---|
| Research Institution | Kanagawa University |
|---|
Principal Investigator |
KURIHARA Kenzo Kanagawa University, Faculty of Engineering, Professor, 工学部, 教授 (30312086)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
KITAOKA Masatosi Kanagawa University, Faculty of Engineering, Professor, 工学部, 教授 (90078311)
NISHIUCHI Nobuyuki Kanagawa University, Faculty of Engineering, Assistant Professor, 工学部, 助手 (70301588)
|
|---|
| Project Period (FY) |
2003 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| Budget Amount *help |
¥3,800,000 (Direct Cost: ¥3,800,000)
Fiscal Year 2004: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2003: ¥2,700,000 (Direct Cost: ¥2,700,000)
|
|---|
| Keywords | High Reliability / High Productivity / Factory Automation System / Control Software / Software Engineering / Peri Net |
|---|
| Research Abstract |
We proposed a new Petri Nets description method for factory automation system software development. As factory automation systems are becoming larger and more complex, sometimes we encounter difficulties ; for instance, inadequate expression methods, and not yet established analyzing techniques for control mechanism. Factory automation control software is a kind of complicated event-driven system. For the flexibility and expandability of the event-driven system software, programming paradigms modeled by network, such as Petri Net, are useful. Petri Net excels in expression and analysis of dynamic system behavior. As shown in the previous researches, the description capability of Petri Net is high ; nevertheless, in the case of factory automation systems, sometimes the network model becomes complicated lacking comprehension. The proposed model is a new approach to solve the above problem.
We can break down the complicated system specifications by analyzing them from several different standpoints. That is to say, the control logic and hardware configurations are defined from each respective standpoint, and then the total system is reconstructed by integrating the planes. We named this approach "the structured and hierarchical network (SH-net)" model. In this paper, we propose the conversion algorithm from the specified data to a Petri Net. Using the deployed Petri Net, we can verify the control specification and we can produce key programs for the factory automation system. The validity of the method was confirmed through an experimental application example.
|
