Cyber-Virtual Systems: Simulation, Validation & Visualization

We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part - for example an existing robot installation - and a software simulated part - for example a possible future extension. We call such systems cyber-virtual systems. In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation. The new methodology for simulation and validation motivated in this paper integrates this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world. Complementing the visualization work, here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques for them. Software models of industrial sites require behavioural models of the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, collaboration between sites is an important goal of our work.Comment: Preprint, 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014

The LAB@FUTURE Project - Moving Towards the Future of E-Learning

This paper presents Lab@Future, an advanced e-learning platform that uses novel Information and Communication Technologies to support and expand laboratory teaching practices. For this purpose, Lab@Future uses real and computer-generated objects that are interfaced using mechatronic systems, augmented reality, mobile technologies and 3D multi user environments. The main aim is to develop and demonstrate technological support for practical experiments in the following focused subjects namely: Fluid Dynamics - Science subject in Germany, Geometry - Mathematics subject in Austria, History and Environmental Awareness – Arts and Humanities subjects in Greece and Slovenia. In order to pedagogically enhance the design and functional aspects of this e-learning technology, we are investigating the dialogical operationalisation of learning theories so as to leverage our understanding of teaching and learning practices in the targeted context of deployment

A nearly zero-energy microgrid testbed laboratory: Centralized control strategy based on SCADA system

Currently, despite the use of renewable energy sources (RESs), distribution networks are facing problems, such as complexity and low productivity. Emerging microgrids (MGs) with RESs based on supervisory control and data acquisition (SCADA) are an effective solution to control, manage, and finally deal with these challenges. The development and success of MGs is highly dependent on the use of power electronic interfaces. The use of these interfaces is directly related to the progress of SCADA systems and communication infrastructures. The use of SCADA systems for the control and operation of MGs and active distribution networks promotes productivity and efficiency. This paper presents a real MG case study called the LAMBDA MG testbed laboratory, which has been implemented in the electrical department of the Sapienza University of Rome with a centralized energy management system (CEMS). The real-time results of the SCADA system show that a CEMS can create proper energy balance in a LAMBDA MG testbed and, consequently, minimize the exchange power of the LAMBDA MG and main grid

An internet of laboratory things

By creating “an Internet of Laboratory Things” we have built a blend of real and virtual laboratory spaces that enables students to gain practical skills necessary for their professional science and engineering careers. All our students are distance learners. This provides them by default with the proving ground needed to develop their skills in remotely operating equipment, and collaborating with peers despite not being co-located. Our laboratories accommodate state of the art research grade equipment, as well as large-class sets of off-the-shelf work stations and bespoke teaching apparatus. Distance to the student is no object and the facilities are open all hours. This approach is essential for STEM qualifications requiring development of practical skills, with higher efficiency and greater accessibility than achievable in a solely residential programme

Virtualisation of the test environment for signalling

ERTMS is a well-known, well-performing technology applied all over the world but it still lacks flexibility when it comes to authorisation and certification procedures. The key of its success in the future lies as much in cost reduction as in simplification of placing in service procedures. This holds true for the implementation of a new subsystem and even more so for new software releases related to subsystems already in service. Currently the placing in service process of ETCS components and subsystems requires a large amount of tests due to the complexity of the signalling systems and the different engineering rules applied. The S2R Multi-Annual Action Plan states that the effort and time consumption of these onsite tests are at least 30% for any particular project. VITE research project (VIrtualisation of the Test Environment) aims at reducing these onsite tests to a minimum while ensuring that laboratory tests can serve as evidence for valid system behaviour and are accepted by all stakeholders involved in the placing in service process. This paper presents the first VITE results

On Ladder Logic Bombs in Industrial Control Systems

In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware written in ladder logic (or one of the other IEC 61131-3-compatible languages). Such malware would be inserted by an attacker into existing control logic on a PLC, and either persistently change the behavior, or wait for specific trigger signals to activate malicious behaviour. For example, the LLB could replace legitimate sensor readings with manipulated values. We see the concept of LLBs as a generalization of attacks such as the Stuxnet attack. We introduce LLBs on an abstract level, and then demonstrate several designs based on real PLC devices in our lab. In particular, we also focus on stealthy LLBs, i.e. LLBs that are hard to detect by human operators manually validating the program running in PLCs. In addition to introducing vulnerabilities on the logic layer, we also discuss countermeasures and we propose two detection techniques.Comment: 11 pages, 14 figures, 2 tables, 1 algorith

MiniCPS: A toolkit for security research on CPS Networks

In recent years, tremendous effort has been spent to modernizing communication infrastructure in Cyber-Physical Systems (CPS) such as Industrial Control Systems (ICS) and related Supervisory Control and Data Acquisition (SCADA) systems. While a great amount of research has been conducted on network security of office and home networks, recently the security of CPS and related systems has gained a lot of attention. Unfortunately, real-world CPS are often not open to security researchers, and as a result very few reference systems and topologies are available. In this work, we present MiniCPS, a CPS simulation toolbox intended to alleviate this problem. The goal of MiniCPS is to create an extensible, reproducible research environment targeted to communications and physical-layer interactions in CPS. MiniCPS builds on Mininet to provide lightweight real-time network emulation, and extends Mininet with tools to simulate typical CPS components such as programmable logic controllers, which use industrial protocols (Ethernet/IP, Modbus/TCP). In addition, MiniCPS defines a simple API to enable physical-layer interaction simulation. In this work, we demonstrate applications of MiniCPS in two example scenarios, and show how MiniCPS can be used to develop attacks and defenses that are directly applicable to real systems.Comment: 8 pages, 6 figures, 1 code listin

The complex interaction between Global Production Networks, Digital Information Systems and International Knowledge Transfers

Traditionally many studies of knowledge in economics have focused on localized networks and intra-regional collaborations. However, the rising frequency by which firms collaborate within the context of global networks of production and innovation, the increasingly intricate divisions of labor involved and the extensive use of the Internet to facilitate interaction are all relatively novel trends that underline the importance of knowledge creation and flows across different locations. Focusing on this topic, the present chapter examines the complex interactions between global production networks (GPN), digital information systems (DIS) and knowledge transfers in information technology industries. It seeks to disentangle the various conduits through which different kinds of knowledge are transferred within such networks, and investigate how recent generations of DIS are affecting those knowledge transfers. The paper concludes that the dual expansion of GPN and DIS is adding new complexity to the practice of innovation: To access knowledge necessary for sustained creativity firms often have to link up with remote partners in GPN, but to be able to absorb and utilize this knowledge, they also frequently have to engage in local interactive learning processes. These local- global linkages - and the various skills necessary to operate them - are strongly interdependent, mutually reinforcing and critical for the development and maintenance of innovation-based competitiveness.