-
1
المصدر: Control Engineering Practice. 21:12-22
مصطلحات موضوعية: Programming language, Computer science, Applied Mathematics, Aspect-oriented programming, Separation of concerns, IEC 61131-3, Programmable logic controller, Reuse, computer.software_genre, Computer Science Applications, Control and Systems Engineering, Code (cryptography), Electrical and Electronic Engineering, Control logic, computer, Reusability, computer.programming_language
الوصف: A fundamental functionality of a Programmable Logic Controller (PLC) is to control and execute a set of operations. But a large part of the program code is more involved in supporting the user with concerns like alarm, HMI, communication, safety and manual control. Code related to these supporting concerns is often tangled with operation execution code, the core concerns, which makes it hard to reuse. This paper describes a method to reuse code and functionality when developing PLC programs and code libraries. The method proposes that core concerns are planned with a software tool called Sequence Planner, and the supporting concerns are integrated into the core concerns with a tool based on aspect-oriented programming.
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::db3c26178c103128648cfae9d7bc7980Test
https://doi.org/10.1016/j.conengprac.2012.09.002Test -
2
المؤلفون: Chengyin Yuan, Sajed Miremadi, Knut Åkesson, Kristofer Bengtsson, Patrik Bergagård, Petter Falkman, Carl Thorstensson, Bengt Lennartson
المصدر: IEEE Transactions on Automation Science and Engineering. 9:308-319
مصطلحات موضوعية: Sequence, Hierarchy (mathematics), Programming language, Computer science, Process (engineering), business.industry, Formal methods, computer.software_genre, Automation, Production planning, Control and Systems Engineering, Formal language, Systems engineering, Electrical and Electronic Engineering, Control logic, business, computer
الوصف: The sequential behavior of a manufacturing system results from several constraints introduced during the product, manufacturing, and control logic development. This paper proposes methods and algorithms for automatically representing and visualizing this behavior from various perspectives throughout the development process. A new sequence planning approach is introduced that uses self-contained operations to model the activities and execution constraints. These operations can be represented and visualized from multiple perspectives using a graphical and formal language called Sequences of Operations (SOPs). The operations in a manufacturing system are related to each other in various ways, due to execution constraints expressed by operation pre- and post-conditions. These operation relations include parallel, sequence, arbitrary order, alternative, and hierarchy relations. Based on the SOP language, these relations are identified and visualized in various SOPs and sequences. A software tool, Sequence Planner, has been developed, for organizing the operations into SOPs that visualize only relevant operations and relations.
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::257b116145ea61607b1f445a44b742baTest
https://doi.org/10.1109/tase.2011.2178068Test -
3
المؤلفون: Chengyin Yuan, Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
المصدر: IEEE Transactions on Automation Science and Engineering. 7:538-548
مصطلحات موضوعية: Computer science, business.industry, Design by contract, Formal methods, Language Of Temporal Ordering Specification, Control and Systems Engineering, Formal specification, Temporal logic, Electrical and Electronic Engineering, Software engineering, business, Logic Control, Formal verification, Logic programming
الوصف: 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 also a formal specification defining the correct use and behaviour of the component. This formal specification uses temporal logic to describe time-related properties and has a special structure developed to meet industrial control needs. The RAC can be formally verified, to determine whether the implementation fulfils the specification or not. A RAC prototype development tool has been developed to demonstrate this capability. The main difference between the RAC and other frameworks for formal verification of control logic is the specification modeling. In RAC, not only the implementation but also the specification is based on the structure and languages of conventional control logic, aiming at being easy to comprehend for control logic engineers. Several industrial examples are discussed in this paper, showing the benefits and potential of the framework.
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::81292838ba570b73402039acf411d15fTest
https://doi.org/10.1109/tase.2009.2031095Test -
4
المؤلفون: Sajed Miremadi, Kristofer Bengtsson, Carl Thorstensson, Petter Falkman, Knut Åkesson, Chengyin Yuan, Bengt Lennartson
المصدر: CASE
مصطلحات موضوعية: Engineering drawing, Sequence, Programming language, Process (engineering), business.industry, Computer science, computer.software_genre, Automation, Visualization, Process development execution system, Manufacturing operations, business, Control logic, computer, Manufacturing execution system
الوصف: The sequential behavior of a manufacturing system results from a number of constraints introduced both in product, manufacturing and control logic development. Sequence planning is therefore an important activity throughout the complete development process. This paper proposes a sequence planning approach using self-contained manufacturing operations that model actions and relevant execution conditions. These operations can have temporal relations with each other, due to execution constraints expressed by operation pre- post- and reset conditions. The operation relations can for example be parallel, sequence, arbitrary order, alternative or hierarchy. Based on a formal operation model, the relations among operations are identified and visualized with a graphical language called Sequences of Operations, SOP.
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::67893523aa708c2cc3baa9283213dce4Test
https://doi.org/10.1109/coase.2010.5584141Test -
5
المؤلفون: Knut Åkesson, Oscar Ljungkrantz, Chengyin Yuan, Martin Fabian
المصدر: 2010 8th IEEE International Conference on Industrial Informatics.
مصطلحات موضوعية: Computation tree logic, Linear temporal logic, Description logic, Computer science, Programming language, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Interval temporal logic, Formal specification, Multimodal logic, Temporal logic, computer.software_genre, Formal verification, computer
الوصف: Formal verification, using model checking tools, is promising in developing (IEC 61131) industrial control logic. Formal verification requires a formal specification of the properties to be verified. Specifications in model checking tools are typically expressed using temporal logic. However, the standard temporal logic dialects are not well suited for control engineers who do rarely have a background within computer science. In this paper a new dialect of linear temporal logic, ST-LTL, is introduced that intends to be easier to use for control engineers than the existing dialects. The relation of ST-LTL compared to existing temporal logic dialects is analyzed.
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::6a39700f8af99455426082be44ba65bcTest
https://doi.org/10.1109/indin.2010.5549591Test -
6
المؤلفون: Knut Åkesson, Bengt Lennartson, Placid M. Ferreira, Goran Cengic, Chengyin Yuan
المصدر: CASE
مصطلحات موضوعية: Supervisory control theory, Operator (computer programming), Supervisor, Computer science, Distributed computing, media_common.quotation_subject, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Industrial control system, Open communication, Distributed control system, Function (engineering), Abstraction layer, media_common
الوصف: One reason that the development of distributed control system is hard is that the communication primitives are at a low abstraction level. To put less burden on the developer it would be an advantage to have support for high-level communication primitives. One such primitive is the full synchronous composition (FSC) operator. This operator can be used to model the interaction between an arbitrary number of concurrently executing applications. This paper shows how to implement the FSC operator using an open communication standard for distributed control systems, IEC 61499. The operator is used in the supervisory control theory, a framework for automatic generation of provable correct supervisors. In manufacturing systems, for example, the supervisor might have to interact with a physically distributed plant. This paper concludes therefore by showing how to use the proposed implementation of the FSC operator to execute a supervisor against a physically distributed plant.
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::fa1ec6777318ead92b7a3325132fe142Test
https://doi.org/10.1109/coase.2005.1506780Test