| 1. |
- Belyakov, Stanislav Leonidovich, et al.
(författare)
-
Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 269-274
-
Konferensbidrag (refereegranskat)abstract
- This paper investigates adaptation of material flows in mechanical transportation systems to the appearance of local overloads. The adaptation mechanism is based on the deflection of the forecast of experts who oversee the behavior of flows in the network. We propose a modified version of case-based reasoning, which uses the concept of imagination of situations. Unlike known methods, imaginative description of cases increases the reliability of decision-making. We provide a modification of the algorithm for dynamically building routing tables in distributed controllers of a transportation network. Analytic evaluation of the adaptation method's effectiveness is provided. The paper is concluded with outline of the implementation mechanism using a network of distributed controllers
|
|
| 2. |
- Buzhinsky, Igor P., et al.
(författare)
-
Formal Modeling of Testing Software for Cyber-Physical Automation Systems
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 301-306
-
Konferensbidrag (refereegranskat)abstract
- The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under test, along with the system under control (plant) and the testing environment. The benefits of using the framework include the opportunities to test systems with time delays without the need to wait, to test parameterized sets of systems with a single execution of a test suite, and to check test suites for correctness. The use of the framework is illustrated on a simple system consisting of a lab-scale plant and a control application for it
|
|
| 3. |
- Dubinin, Victor N., et al.
(författare)
-
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 287-292
-
Konferensbidrag (refereegranskat)abstract
- Ensuring safe operation is one of the basic requirements of the design of discrete event systems (DES), for example, discrete industrial automation systems. The most elegant approach to solve this problem is the synthesis of the safety controller on the basis of a sound theory. The current research for safety controller synthesis is performed using the description of plant and forbidden behavior, but the problem of adjusting the behavior of the existing control systems is not considered. In this paper, we propose a method of synthesis of adaptive safety controller models for distributed control systems based on reverse safe Net Condition/Event Systems (RsNCES), allowing to generate prohibiting rules to prevent the movement of closed loop systems to forbidden states. The method is based on backward search in the state space of the model. The method is illustrated by means of an example of a simple mechatronic system
|
|
| 4. |
- Lindgren, Per, et al.
(författare)
-
A Formal Perspective on IEC 61499 Execution Control Chart Semantics
- 2015
-
Ingår i: 2015 IEEE Trustcom/BigDataSE/ISPA. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 293-300
-
Konferensbidrag (refereegranskat)abstract
- The IEC 61499 standard proposes an event driven execution model for distributed control applications for which an informal execution semantics is provided. Consequently, run-time implementations are not rigorously described and therefore their behavior relies on the interpretation made by the tool provider. In this paper, as a step towards a formal semantics, we focus on the Execution Control Chart semantics, which is fundamental to the dynamic behavior of Basic Function Block elements. In particular we develop a well-formedness criterion that ensures a finite number of Execution Control Chart transitions for each triggering event. We also describe the first step towards the mechanization of the well-formedness checking algorithm in the Coq proof-assistant so that, ultimately, we are able to show, once andforall,thatthisalgorithmiseffectivelycorrectwithrespectto our proposed execution semantics. The algorithm is extractable from the mechanization in a correct-by-construction way, and can be directly incorporated in certified toolchain for analysis, compilation and execution of IEC 61499 models. As a proof of concept a prototype tool RTFM-4FUN has been developed. It performs well-formedness checks on Basic Function Blocks using the extracted algorithm’s code.
|
|
| 5. |
- Martinez, Gerardo Santillán, et al.
(författare)
-
An OPC UA Based Architecture for Testing Tracking Simulation Methods
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 275-280
-
Konferensbidrag (refereegranskat)abstract
- A tracking simulator is a simulation system that runs in parallel with the real process. They integrate model and process using a persistent and direct communication between the physical system and the simulation. In a tracking simulator, the simulation system receives data measured from the process instrumentation in order to adjust the model parameters so that the simulated state matches the real process state. Tracking simulation systems have a number of applications and the benefits in comparison to conventional simulation systems are numerous. This paper presents an architecture for testing different methods that can be used in tracking simulation. The proposed approach employs the OPC Unified Architecture as the protocol for the communication between the simulation model and the physical system. This work first introduces the structure of the testbed. Then, in order to test the proposed system, a previously published tracking method based on the tuning of the model parameters using PI controllers is implemented and the test results are shown. Finally, the conclusions and future work are discussed
|
|
| 6. |
- Memeti, Suejb, et al.
(författare)
-
Accelerating DNA Sequence Analysis using Intel(R) Xeon Phi(TM)
- 2015
-
Ingår i: 2015 IEEE TRUSTCOM/BIGDATASE/ISPA. - : IEEE Press. - 9781467379519 ; , s. 222-227
-
Konferensbidrag (refereegranskat)abstract
- Genetic information is increasing exponentially, doubling every 18 months. Analyzing this information within a reasonable amount of time requires parallel computing resources. While considerable research has addressed DNA analysis using GPUs, so far not much attention has been paid to the Intel Xeon Phi coprocessor. In this paper we present an algorithm for large-scale DNA analysis that exploits thread-level and the SIMD parallelism of the Intel Xeon Phi. We evaluate our approach for various numbers of cores and thread allocation affinities in the context of real-world DNA sequences of mouse, cat, dog, chicken, human and turkey. The experimental results on Intel Xeon Phi show speed-ups of up to 10× compared to a sequential implementation running on an Intel Xeon processor E5.
|
|
| 7. |
- Mousavi, Arash, et al.
(författare)
-
Cyber-physical Design of Data Centers Cooling Systems Automation
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 254-260
-
Konferensbidrag (refereegranskat)abstract
- Modern data centers in many aspects are akin to industrial plants that generate a lot of heat by consuming substantial amount of energy and require powerful cooling and ventilation. Cooling system contributes with 30 to 50% of the total energy consumption of data centers. An effective way to address energy efficiency in such cooling systems is to apply advanced automation solutions, similar to that of industrial and building automation systems. However, existing automation solutions are not flexible enough to meet requirements of cooling systems in modern data centres. This paper is an endeavour to utilize distributed adaptive automation architecture in order to improve energy efficiency of cooling. The proposed automation algorithms are validated in a simulation environment which models the thermal behaviour of a server room and helps to find the most energy efficient control strategy for controlling thecooling devices. This paper describes the simulation tool comprising of thermal behaviour modelling in MATLAB/SIMULINK connected in closed-loop with the distributed control environment of IEC 61499 standard. Simulation of a typical server room under certain constraints using the proposed tool is described and the results are presented. The results demonstrate the potential of improving higher energy efficiency, flexibility and better decision-making ability for controlling the cooling systems.
|
|
| 8. |
- Patil, Sandeep, et al.
(författare)
-
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. 313-320
-
Konferensbidrag (refereegranskat)abstract
- IEC 61499 Standard for Function Blocks Architecture is an executable component model for distributed embedded control system design that combines block diagrams and state machines. This paper proposes rules for formal modelling of IEC61499 function blocks for popular model checking environment of SMV using Abstract State Machines as an intermediate model. This paper first proposes a formal description of the IEC 61499 in abstract state machines (ASM). The formal description for main artifact of the standard (function block) is presented in the paper. The ASM model is further translated to the input format of the SMV model checker which is used to formally verify properties of applications developed in IEC 61499 standard. In this way the proposed verification framework enables the formal verification of the IEC 61499 control systems. The paper also highlights the other uses of verification such as portability of IEC 61499 based control applications across different implementation platforms compliant with the IEC 61499 standard. The formal model is applied on an example IEC 61499 controller, and the SMV model for the Basic Function block is explained in detail.
|
|
| 9. |
- Seepers, R.M., et al.
(författare)
-
On using a von neumann extractor in heart-beat-based security
- 2015
-
Ingår i: Proceedings - 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Helsinki, Finland, 20-22 August 2015. - 9781467379519 ; 1, s. 491-498
-
Konferensbidrag (refereegranskat)abstract
- The Inter-Pulse-Interval (IPI) of heart beats has previously been suggested for facilitating security in mobile health (mHealth) applications. In heart-beat-based security, a security key is derived from the time difference between consecutive heart beats. As two entities that simultaneously sample the same heart beats may generate the same key (with some inter-key disparity), these keys may be used for various security functions, such as entity authentication or data confidentiality. One of the key limitations in heart-beat-based security is the low randomness intrinsic to the most-significant bits (MSBs) in the digital representation of each IPI. In this paper, we explore the use of a von Neumann entropy extractor on these MSBs in order to increase their randomness. We show that our von Neumann key-generator produces significantly more random bits than a non-extracting key generator with an average bit-extraction rate between 13.4% and 21.9%. Despite this increase in randomness, we also find a substantial increase in inter-key disparity, increasing the mismatch tolerance required for a given true-key pair. Accordingly, the maximum-attainable effective key-strength of our key generator is only slightly higher than that of a non-extracting generator (16.4 bits compared to 15.2 bits of security for a 60-bit key), while the former requires an increase in average key-generation time of 2.5x.
|
|
| 10. |
- Vyatkin, Valeriy, et al.
(författare)
-
Message from the DIAS 2015 Workshop Chairs
- 2015
-
Ingår i: IEEE TrustCom-BigDataSE-ISPA 2015. - Piscataway, NJ : IEEE Communications Society. - 9781467379519 ; , s. xvii-
-
Konferensbidrag (refereegranskat)
|
|
