In this work I deal with the project of an automated robotic bartender, whose task is to show model concepts such as virtual commissioning, digital factory or industry 4.0. The work resolves two parts (cells) for the overall construction. Individual cells are solved from the design and realization of the construction through the virtual verification of operation to the design and realization of the control itself for the given cells. The construction solution was created in SolidEdge ST10. Virtual verification will be solved in the Tecnomatix Process Simulate program and the implementation of PLC and HMI control by Siemens is programmed in the TIA Portal. Wiring diagrams were drawn in the student version of the EPLAN design environment. Other colleagues work on other parts of the barman project.

The work deals with controlling and visualizing technology of dust exhaust of smeltery for recyclation of aluminum waste. In the first part of the work are analyzed the different ways of automatic control. Based on the analysis is proposed control system configuration, algorithm of control, communication interfaces and sensors of alarm, measurement and regulation. The second part deals with visualization and remote administration of control system. On the basis of selection for the visualization software is designed and implemented a system that provides visualization of technology, the archiving of measured operating values, events and errors.

In Industrial Computer Systems, Programmable Logic Controllers (PLCs) are essential components since they control physical processes. Altering these could have enormous consequences as they can control processes in nuclear plants, gas pipelines and water supplies. Over the years, PLCs have become more and more connected since it facilitates their configuration and programming remotely. More connected does also means that they could be more vulnerable to attacks. Therefore, it would be desirable to be able to do a forensic investigation and interpret the artefacts if an incident happens, especially since PLCs control such vital functions. There exists little research about this area, but it does not discuss how to evaluate or interpret possible artefacts forensic investigation could reveal. This thesis aims to answer what artefacts are left in the system after two specific attacks. The result showed that some artefacts is left. One of the attacks does not leave so much specific artefacts that one could conclude how the attack happened, but for the other one, it was possible to conclude how they got remote access to the system. However, these artefacts were possible to cover up by deleting the IP address that was added in order to get remote access to the system. In other words, the only persistent artefacts left in the system after the attacks and cover-ups was metadata about created, modified, and removed files. Future work would be to expand and include more attacks to get a better overview of the overall forensic abilities of the PLC. / I industriella datorsystem är PLC (Programmable Logic Controllers) viktiga komponenter eftersom de styr fysiska processer. Att ändra dessa kan få enorma konsekvenser eftersom de kan styra processer i kärnkraftverk, gasledningar och vattenförsörjning. Under årens lopp har PLC:er blivit mer och mer uppkopplade eftersom det underlättar deras konfiguration och programmering på distans. Mer uppkopplade betyder också att de kan vara mer sårbara för attacker. Därför vore det önskvärt att kunna göra en kriminalteknisk undersökning och tolka bevisningen om en incident inträffar, särskilt eftersom PLC:er kontrollerar sådana vitala funktioner. Det finns lite forskning om detta område, men den diskuterar inte hur man ska utvärdera eller tolka eventuella bevis som den kriminalteknisk undersökningen kan avslöja. Denna avhandling syftar till att svara på vilka artefakter som finns kvar i systemet efter två specifika attacker. Resultatet visade att en del bevis finns kvar. En av attackerna lämnar inte så mycket specifika bevis att man kunde dra slutsatsen hur attacken gick till, men för den andra gick det att dra slutsatsen hur de fick fjärråtkomst till systemet. Dessa artefakter var dock möjliga att dölja genom att radera IP-adressen som lades till för att få fjärråtkomst till systemet. Med andra ord, det enda ihållande bevisningen som fanns kvar i systemet efter attackerna och mörkläggningarna var metadata om skapade, modifierade och borttagna filer. Framtida arbete skulle vara att expandera och inkludera fler attacker för att få en bättre överblick över PLC:s övergripande forensiska förmågor.

Industrial automation is critical in today's industry. The majority of new scientific and technological advancements are either enabling technologies or industrial automation application areas. In the past, the two main forms of control systems were distributed control systems (DCS) and programmable logic controllers (PLCs). PLCs have been referred as the "brain" of production systems because they provide the capacity to meet interoperability, reconfigurability, and portability criteria. Today's industrial automation systems rely heavily on control software to ensure that the automation process runs smoothly and efficiently. Furthermore, requirements like flexibility, adaptability, and robustness add to the control software's complexity. As a result, new approaches to building control software are required. The International Electrotechnical Commission attempted to meet these new and impending demands with the new IEC 61499 family of standards for distributed automation systems. The IEC 61499 standard specifies a high-level system design language for distributed data and control. With the advancement of these technologies like edge/fog computing and IIoT, how the control software in future smart factory managed is discussed here. This study aims to do a systematic literature review on PLC, software containers, edge/fog computing and IIoT for future industrial use. The objective is to identify the correspondence between the functional block (IEC 61499) and the container technology such as Docker. The impact of edge computing and the internet of things in industrial automation is also analysed. Since the aim is to do a comparative study, a qualitative explorative study is done, with the purpose to gather rich insight about the field. The analysis of the study mainly focused on four major areas such as deployment, run time, performance and security of these technologies. The result shows that containerisation or container based solutions is the basis for future automation as it outperforms virtual machines in terms of deployment, run time, performance and security.

Autotube är ett företag baserat i Varberg som utvecklar och producerar luft- och vätskelösningar främst inom bilindustrin. På senare tid har biltillverkarna skiftat till högre bränsletryck i bensindrivna förbränningsmotorer vilket har lett till att företagets produktutvecklingsavdelning saknar testutrustning för att utveckla nya produkter vilket i sin tur har lett till att företaget köpt tjänsten från extern leverantör. Kostnaderna och den bristande insynen i trycktester hos extern leverantör har lett Autotube att investera i ny utrustning och bedriva framtida tester i företagets lokaler. Ambitionen är att testanläggningen ska kunna genomföra tryckpulser och sprängprover både för produktutveckling och stickprov. Det övergripande syftet med examensarbetet är att programmera PLC logiken, designa HMI-panelen och skapa en elektriskt överförbar rapport efter genomfört testutförande. Under projektets progression visade studier och företagets empiriska kunskaper att resultatet från testanläggningen karakteriseras av tre nyckelparametrar; funktionsduglighet, realtidsövervakning och datahantering. Varje kategori har givetvis flera underkategorier som adderar värde till nyckelparametrarna. För funktionsduglighet krävs pålitlig hårdvara som klarar av att vara driftsatt under lång tid utan avbrott. Dock om ett avbrott från yttre faktorer skulle inträffa behöver testanläggningen programmeras för att spara data och undvika att testresultaten raderas. För att undvika irritation och handhavandefel bör användargränssnittet vara utformad efter målgruppens behov och mängden information bör begränsas. God realtidsövervakning ställer krav på lättåtkomlig information både vid testanläggningen och på distans vilket ökar möjligheten att läsa av testutförandes värden oberoende av vart användaren befinner sig. För att minska användarens arbetsbelastning bör varningssignaler som indikerar när testanläggningen inte utför önskvärt arbete användas. Datahantering bör ske automatiserat för att tillse att rätt data lagras och att den mänskliga faktorn kringgås. Flertalet rapporter under testutförandets förlopp är fördelaktigt för jämförelse av testutförandets olika skeden vilket ökar insikten om vad som skett när och möjliggör en djupare analys av testutförandet. Det genomförda arbetet har analyserat olika alternativ och använt litteratur relevant till nyckelparametrarna tillsammans med kontinuerlig återkoppling från företagets tekniker för att skapa mjukvaran till testanläggningen. Resultatet är en pålitlig anläggning med skräddarsydd realtidsövervakning och automatisk datahantering. / Autotube is a company based in Varberg that develops and produces air- and fluid solutions primarily to the automotive industry. Recently the automotive manufacturers have increased the fuel injection pressure in petrol engines which has led to the absence of proper test equipment which limits the company’s product development department as pressure test has to be bought by a third-party company. The costs and lack of insight in the pressure tests that is associated with purchasing the service from a third part company has led Autotube to invest in new equipment that will allow the company to do future tests in-house. The ambition is to perform pressure pulsation tests and burst tests for both product development and production samples. The general purpose of the thesis is to program the PLC logic, design the HMI-panel and to create and electrically transferrable report after test completion. During the progression of the project studies and the company’s empirical knowledge showed that the result from a test facility is characterized primarily by three key parameters; functionality, real time monitoring and data management. Each category includes several subcategories that adds value to each key parameter. Functionality requires reliable hardware that can stay commissioned for extended periods of times without Interruption. However, if interruptions do occur it is important that the data from the ongoing test is saved so that data is not lost. To avoid irritation and mishandling it’s important to design the user interface according to the needs of the users and to avoid excessive information that is not vital for the result. A proper real time monitoring solution requires that information is easily available both at the location of the test facility and at distance in order to enable to user to act no matter where the user is located. Warning signals that indicate when the test facility does not perform as expected should be used in order to reduce the workload. Data management should be automatic in order to store the correct data and prevent errors caused by the human factor. Several reports should be used during the test as it allows the user to compare the data in the different test stages which improves the insight and analysis capability of the performed test. The performed work has analysed different alternatives and used literature relevant to the key parameters combined with continuous feedback from the company’s technicians in order to create the software for the test facility. The result is a reliable facility with tailored real time monitoring and automatic data management.

Detta arbete var beställt av Sjöfartshögskolan i Kalmar. Skolan ville ha en enhet som kunde mäta aktiv-, reaktiv- och skenbar effekt, ström, spänning, frekvens och cosϕ på en generator och som kommunicerade vidare dessa värden till en PLC. Detta för att kunna lastfördela lasten mellan ett antal generatorer i kursen Tillämpad elteknik 15 hp där studenterna bygger en generatorinstallation med tre generatorer. Ett funktionsblock för lastfördelning skulle också programmeras. Prototypen som konstruerades baserades på en Arduino Ethernet och kommunikationen löstes med Modbus TCP/IP över Ethernet. Ett lastfördelningsprogram programmerades i form av ett funktionsblock som studenterna kunde importera till CoDeSys v2.3 och använda i sina installationer. Prototypen kunde läsa av värdena med ungefär samma noggrannhet som ett kommersiellt instrument som använder sig av samma mätteknik som prototypen. Uppdateringsfrekvensen var dock lägre än hos ett kommersiellt instrument. Kommunikationen med PLC:n fungerade utan problem. Då ingen undervisning hölls i arbetets slutskede kunde inte lastfördelningen testas på en fullskalig anläggning. Lastfördelningsprogrammet klarade dock av att hålla rätt frekvens på en ensam generator och fungerade som tänkt när programmet testades i en simulator. Prototypen gav fel mätvärden vid kapacitiv last. Vid jämförelse med en kommersiell tångamperemeter visade sig mätfelet bero på mätmetoden då båda gav liknande resultat. Som referens användes en professionell elkvalitetsanalysator. Alla uppdragsgivarens krav blev uppfyllda och arbetet kommer att kunna användas i undervisningen. / This thesis was ordered by Kalmar Maritime Academy. The request was for a device that could measure active, reactive and apparent power, as well as frequency, voltage, current and cosϕ on a generator. The measured values would be communicated to a PLC for use in a load sharing program between a number of generators in the course Tillämpad elteknik, 15 ECTS. In that course the students constructs a three-generator electric power grid. Included in the request was also to program a load sharing program. The prototype being constructed was based on the Arduino Ethernet, and the communication was enabled by means of the Modbus TCP/IP protocol over Ethernet. A load sharing program was created in the form of a function block which the student could import into the CoDeSys for use in the generator systems. The prototype could measure values with close to the same accuracy as a commercial available instrument that were using the same technique for measuring. The refresh rate was however lower than the commercial available instrument. Communication with the PLC worked without any issues. No full-scale testing could be done since no course was held during the final stages of the thesis, however the load sharing program could keep frequency on a single generator alone and worked in a simulated soft environment. Measuring errors occurred when measuring a capacitive load. When comparing to a commercial available clamp meter, the same errors occurred. As a reference a professional power and energy quality analyser was used. All the requests were fulfilled and the result of this thesis will be used in the educational programme at the Academy.

Made available in DSpace on 2016-12-12T17:38:38Z (GMT). No. of bitstreams: 1 Diogo Luiz Leme da Cruz.pdf: 2277911 bytes, checksum: 44818fa572a2ccc7f237939664149ec3 (MD5) Previous issue date: 2011-07-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Control Theory (SCT) of Ramadge and Wonham (1989) cam be a suitable tool because it ensures the achievement of optimal control logic (minimally restrictive and nonblocking) and also that meets the specifications of control. This paper presents a methodology for implementation of SCT in Programmable Logic Controllers (PLCs). The modeling of the plant and the specification of control is done by automata and languages, and in order to exploit the modular nature of the plant and the specifications we use the local modular approach (QUEIROZ and CURY, 2000) for the synthesis of supervisors. The use of a formal methodology for implementing control system also allows to standardize in the development, testing and structure of the PLC code and obtain a free of errors solution and crashes, discarding the empirical methods. The methods of implementation of the TCS in PLC existing literature have the feature to limit the evolution of the system, often dealing with one event per PLC scan cycle. Also presented is a series of problems that can occur in the implementation of supervisors in control elements such as PLCs (FABIAN and HELLGREN, 1998). However, not all of these problems have solutions and for some of them are presented some properties that the modeling of the system must ensure in order to avoid such problems. This method treats all the uncontrollable events produced by the plant in just one PLC scan cycle. The also promotes the control of the plant at the end of cycle. The development of this methodology takes into account the possible problems when using the theory into practice. Thus providing solutions to the problems. In this case the solutions, Choice , stands out. It promotes the random generation of controllable events. One it is give priority to a particular event over another, it can cause the system to lock or be inoperative (MALIK, 2002). To facilitate the implementation of supervisory control structure in PLC, was created a computational tool for the automatic generation of control logic, based on the proposed methodology that converts the list generated by the software Discrete Event System (DES) in LADDER code. The validation of the results obtained with the tool generation was done through simulations for different problems of supervisory control. / Na atualidade, a automação da manufatura tem assumido cada vez mais um papel importante dentro das indústrias e os problemas de controle de sistemas automatizados têm se tornado cada vez mais complexos. Assim, o tradicional uso de métodos empíricos fortemente baseados na experiência do programador pode levar a soluções inadequadas ou ineficientes. Neste sentido, a Teoria de Controle Supervisório (TCS) apresentada por Ramadge e Wonham (1989) se mostra uma ferramenta adequada uma vez que garante a obtenção de uma lógica de controle ótima (minimamente restritiva e não bloqueante) e que satisfaz às especificações de controle. Este trabalho apresenta uma metodologia para implementação da TCS em Controladores Lógicos Programáveis (CLPs). A modelagem da planta e das especificações de controle é feita por autômatos e linguagens e no intuito de explorar a modularidade da planta e das especificações utiliza-se a abordagem modular local (QUEIROZ e CURY, 2000) para a síntese dos supervisores. O uso de uma metodologia formal para a implantação em sistemas de controle possibilita ainda uma padronização no desenvolvimento, teste e estrutura de códigos nos CLPs e obter uma solução livre de erros e bloqueios, fugindo dos métodos empíricos. Os métodos de implementação da TCS em CLP encontrados na literatura apresentam a característica de limitar a evolução do sistema, muitas vezes tratando um único evento por ciclo de varredura do CLP. Também, é apresentada uma série de problemas que podem ocorrer na implementação de supervisores em elementos de controle como CLPs (FABIAN e HELLGREN, 1998). Entretanto, nem todos os problemas apresentados são solucionados e para alguns deles são apresentadas propriedades que o modelo do sistema deve satisfazer para que tais problemas não se manifestem. Já a metodologia desenvolvida neste trabalho permite tratar em um mesmo ciclo de varredura do CLP todos os eventos não controláveis gerados pela planta, e ainda promover o controle da mesma a partir dos eventos controláveis gerados ao final desse ciclo. O desenvolvimento desta metodologia leva em consideração os problemas que podem ocorrer quando se utiliza a teoria na prática, apresentando uma solução para alguns desses problemas. Destaca-se a solução do chamado problema da escolha, cuja priorização indevida de eventos pode levar ao bloqueio ou tornar parte do sistema inoperante (MALIK, 2002). Como solução para este problema propõe-se uma escolha aleatória dinâmica para a geração dos eventos controláveis, evitando assim os problemas mencionados. Para facilitar a implementação da estrutura de controle supervisório no CLP foi criado um software de geração automática de código, que baseado na metodologia proposta, converte a listagem gerada pelo software de Sistema a Eventos Discretos (SED) em linguagem LADDER. A validação dos resultados obtidos com a ferramenta de geração de código foi realizada por intermédio de simulações feitas para diferentes problemas de controle supervisório.

Made available in DSpace on 2014-12-17T14:55:47Z (GMT). No. of bitstreams: 1 JoseSBL_DISSERT.pdf: 1769944 bytes, checksum: 43863b3b32771c922314a0fa73be8bf8 (MD5) Previous issue date: 2011-02-14 / This work deals with an on-line control strategy based on Robust Model Predictive Control (RMPC) technique applied in a real coupled tanks system. This process consists of two coupled tanks and a pump to feed the liquid to the system. The control objective (regulator problem) is to keep the tanks levels in the considered operation point even in the presence of disturbance. The RMPC is a technique that allows explicit incorporation of the plant uncertainty in the problem formulation. The goal is to design, at each time step, a state-feedback control law that minimizes a 'worst-case' infinite horizon objective function, subject to constraint in the control. The existence of a feedback control law satisfying the input constraints is reduced to a convex optimization over linear matrix inequalities (LMIs) problem. It is shown in this work that for the plant uncertainty described by the polytope, the feasible receding horizon state feedback control design is robustly stabilizing. The software implementation of the RMPC is made using Scilab, and its communication with Coupled Tanks Systems is done through the OLE for Process Control (OPC) industrial protocol / Este trabalho tem como objetivo desenvolver uma estrat?gia de controle on-line baseado no Controlador Preditivo Robusto (RMPC, acr?nimo do ingl?s Robust Model Predictive Control) aplicado a um sistema real de tanques acoplados. Este processo consiste em sistema de dois tanques conectados, cujo liquido ? enviado aos mesmos por uma bomba. O objetivo do controle (problema regulat?rio) ? deixar os n?veis dos tanques no ponto de opera??o considerado, mesmo na presen?a de perturba??es. A s?ntese da t?cnica RMPC consiste em incorporar de forma explicita as incertezas da planta na formula??o do problema. O objetivo do projeto, a cada per?odo de amostragem, ? encontrar uma realimenta??o de estados que minimiza o pior caso de uma fun??o objetivo com horizonte infinito, sujeita a restri??es no sinal de controle. O problema original, do tipo Min-max, ? reduzido em a problema de otimiza??o convexa expresso em desigualdades matriciais lineares (LMI, Linear Matriz Inequalities). Mostram-se, neste trabalho, a descri??o da incerteza da planta na forma polit?pica e as condi??es de factibilidade do problema de otimiza??o. A implementa??o do algoritmo RMPC foi feita utilizando o software Scilab e a sua comunica??o com o sistema de tanques acoplados foi feita atrav?s do protocolo OPC (do ingl?s OLE for Process Control)

This master thesis deals with design of automation control system for operationally experimental malt-house. The first part deals with general description of all production stages of malting and brief description about the Research Institute of Brewering and Malting. It also generally characterizes the used hardware and software for automation control system. The second part of this thesis describes the types of programmable logic controllers and the selection of optimal variant for application of the operationally experimental malt-house. Master thesis in the third and fourth part contains a brief description about the methodology and the creation of control program and visualisation for automatic control system of the operationally experimental malt-house. The output of the master thesis is a complete control program and visualisation of the controlled application of the operating malt-house.

This diploma project summarizes a theoretical introduction regarding the issue of traffic light control. Further there is industrial communication discussed, where they are the Ethernet / IP protocol and the Modbus TCP protocol described more in detail. The following is the description of the Logix series programmable controllers. Then the diploma follows up with market research in order to find the most suitable development kit which is used as a trial prototype. Then it is concerned with a development kit with a communication module from AND-TECH company. Software was developed on them, more specifically a library for processor ports, memory and the Modbus TCP protocol. After verifying the functionality of the software, the hardware design was started. From the first site it is development kit and module and from the second site there are input and output circuits. There must be the assessment of the results found during the test operation. The end of the document describes incorrect steps that were repaired in hardware.