2018
DOI: 10.1016/j.procir.2018.03.183
|View full text |Cite
|
Sign up to set email alerts
|

Component based Verification of Distributed Automation Systems based on Model Composition

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
2
0
1

Year Published

2019
2019
2023
2023

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(3 citation statements)
references
References 7 publications
0
2
0
1
Order By: Relevance
“…A este proceso se le conoce como orquestación y coreografía. SOA no sólo proporciona dinamismo a procesos, sino que ayuda a solucionar problemas asociados a la escalabilidad y flexibilidad de los sistemas (Waris et al, 2013), debido a la creación de eficiencia y reusabilidad de los programas previamente desarrollados (Schmidt et al, 2018;Zeller y Weyrich, 2018). En la actualidad, existen diversos paradigmas entre los cuales se encuentra la programación orientada a objetos y la programación basada en componentes, que en conjunto con la arquitectura orientada al servicio pueden ayudar a mejorar el software que se diseña para los programas de automatización.…”
Section: Del Modelo Cim Al Paradigma Soaunclassified
“…A este proceso se le conoce como orquestación y coreografía. SOA no sólo proporciona dinamismo a procesos, sino que ayuda a solucionar problemas asociados a la escalabilidad y flexibilidad de los sistemas (Waris et al, 2013), debido a la creación de eficiencia y reusabilidad de los programas previamente desarrollados (Schmidt et al, 2018;Zeller y Weyrich, 2018). En la actualidad, existen diversos paradigmas entre los cuales se encuentra la programación orientada a objetos y la programación basada en componentes, que en conjunto con la arquitectura orientada al servicio pueden ayudar a mejorar el software que se diseña para los programas de automatización.…”
Section: Del Modelo Cim Al Paradigma Soaunclassified
“…For decades, automation has been a pillar of the industrial development of humanity, generating employment and taking the system to levels of production never before imagined, in the field of industry, automation contributes to improving the production and efficiency of the different processes that are handled in the market [12], [13]. There are different types of elements that allow us to perform automation, elements such as programmable logic controllers, frequency inverters, servomotors, sensors and others have emerged in this optimization process as the ideal tool to improve production levels [14], [15], in the industry the most used are programmable logic controllers (PLCs) due to their great coupling with human-machine interfaces (HMI) [16], also the PLC allows us to carry out supervisory control and data acquisition (SCADA) systems, which is a system that It is based on computers which allows us to supervise and control process variables remotely, communicating with field devices (autonomous controllers) and controlling the process automatically through specialized software [17]- [20]. In pointed out that automated companies must provide reliability, efficiency and flexibility in their systems, which satisfy the market demand, demanding that they have competitive machines with a high technological degree [21]- [23].…”
Section: Introductionmentioning
confidence: 99%
“…In these times, many industrial and manufacturing companies are facing a more demanding market [1], and it is not only the price but also the quality of the product [2], that is why companies have now focused on taking actions to improve their product [3], that is why they invest in improvement projects, in order to maximize the resources used and obtain better productivity [4]. Organizations seek every day to achieve greater productivity in their production processes [5], in order to be more competitive, that is why they develop strategies that are supported by technology [6].…”
Section: Introductionmentioning
confidence: 99%