Name
Abstract | ||
|---|---|---|
Component-based programming frameworks for industrial control logic development promise to shorten development and modification times, and to reduce programming errors. To get these benefits, it is, however, important that the components are specified and verified to work properly. This work introduces Reusable Automation Components (RACs), which contain not only the implementation details but als... |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/TASE.2009.2031095 | IEEE Transactions on Automation Science and Engineering |
Keywords | Field | DocType |
Formal specifications,Industrial control,Programmable control,Logic programming,Automatic control,Manufacturing industries,Formal verification,Software reusability,Machinery production industries,Service robots | Logic Control,Software engineering,Computer science,Design by contract,Formal specification,Language Of Temporal Ordering Specification,Logic programming,Formal methods,Temporal logic,Formal verification | Journal |
Volume | Issue | ISSN |
7 | 3 | 1545-5955 |
Citations | PageRank | References |
8 | 0.57 | 7 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Oscar Ljungkrantz | 1 | 28 | 4.61 |
| Knut Åkesson | 2 | 302 | 33.72 |
| Martin Fabian | 3 | 204 | 27.91 |
| Chengyin Yuan | 4 | 62 | 5.74 |