Engineering Methods and Tools for Cyber–Physical Automation Systems

Harrison, Robert; Vera, Daniel; Ahmad, Bilal

doi:10.1109/jproc.2015.2510665

Cited by 144 publications

(62 citation statements)

References 49 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This knowledge reuse results in drastic increase in productivity. In the CBD, entire control software can be built from pre-defined components, in a modular form, rather than writing monolithic control code each time from scratch [5]. The behaviour and capabilities of components are visible through interfaces; however, their detailed implementation is often designed as hidden.…”

Section: Research Backgroundmentioning

confidence: 99%

See 1 more Smart Citation

Assessing Complexity of Component-Based Control Architectures Used in Modular Automation Systems

Alkan¹,

Vera²,

Chinnathai³

et al. 2017

(JCEE

Self Cite

View full text Add to dashboard Cite

Component-based development (CBD) supports hierarchical decomposition of manufacturing control architectures through data and procedural abstraction, allowing designers to handle system development complexity better than function-oriented methods. Although the CBD approach helps managing complexity of the software design and development process, it does not reduce or eliminate complexity of control systems. In fact, large and highly coupled system architectures make entire software very difficult to understand and modify, especially during manufacturing system re-configuration and scale up/down processes. Therefore, it is essential to maintain simplicity in control system design, without disregarding the required modularity and functionality. This paper proposes an information-theoretic measure to quantify the complexity of component-based manufacturing control systems. The proposed measure is tested over the auto-generated control codes of Festo MPS system for its validity. The authors believe that the proposed approach can serve as a proactive design support, especially useful for early design stages as it allows designers to select the optimal control architectures with least complexity and provides a clear understanding of the potential stress points.

show abstract

Section: Research Backgroundmentioning

confidence: 99%

“…Resource control components (RCC): are resource specific FBs [5]. RCCs can be sensors or actuators in a PLC runtime environment and are embedded with the control behaviour of a family of actuators and sensors with integrated diagnostics [20].…”

mentioning

confidence: 99%

Assessing Complexity of Component-Based Control Architectures Used in Modular Automation Systems

Alkan¹,

Vera²,

Chinnathai³

et al. 2017

(JCEE

Self Cite

View full text Add to dashboard Cite

show abstract

“…From the perspective of engineering, Robert H et al [211] reviewed the existing tools and standards, component-and model-based design flow, component programming and deployment practices, SOA engineering methods and CPS, interoperability and information models, simulation and modeling for CPS. In addition, the authors explained the supporting of a toolset to the integration of the virtual and physical engineering with an industrial case study.…”

Section: The Related Toolsets For Cps Design and Vandvmentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

show abstract

“…As with the interoperability of the kind of systems that are the main target of Arrowhead as a whole, the interoperability of engineering tools is possible today as long as all partners follow the same standard or use the same suite of tools from one system provider [24]. However, as the Arrowhead project targets widely different domains [25], including different kinds of production facilities, building automation, infrastructure, Fig.…”

Section: Engineering Tool Interoperabilitymentioning

confidence: 99%

Plant descriptions for engineering tool interoperability

Carlsson¹,

Vera²,

Delsing³

et al. 2016

2016 IEEE 14th International Conference on Industrial Informatics (INDIN)

Self Cite

View full text Add to dashboard Cite

Abstract-The emergence and deployment of connected devices in many domains of application (e.g. industrial production, buildings and facilities, urban environment, etc.) have resulted in the need to achieve integration of multiple and more complex systems. This new environment is stressing the intrinsic limits imposed by monolithic standards, data models and integration methods that focus on specific domains of application, types of systems, or specific aspects of a system. This paper describes the Plant Description Service developed as part of the Arrowhead Interoperability framework (EU ECSEL funded project). The manuscript contains a description of the abstract system descriptive model based on which the Plant Description service was implemented, and describes how the service can be used to achieve integration of several industry standards and data models. One use case and one case study is provided that illustrates how the service was practically implemented to support engineering scenarios in the domain of industrial production. The paper concludes with a critical review of the approach and suggestion for future work and developments.

show abstract

Engineering Methods and Tools for Cyber–Physical Automation Systems

Cited by 144 publications

References 49 publications

Assessing Complexity of Component-Based Control Architectures Used in Modular Automation Systems

Assessing Complexity of Component-Based Control Architectures Used in Modular Automation Systems

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Plant descriptions for engineering tool interoperability

Contact Info

Product

Resources

About