Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification

International audienceElectronic payment transactions using smart card are based on the Europay Mastercard Visa (EMV) specifications. This standard appeared in 1995 in order to ensure security and global interoperabil-ity between EMV-compliant smart cards and EMV-compliant payment terminals throughout the world. Another purpose of EMV specifications is to permit a secure control of offline credit card transaction approvals. This paper will expose a way to improve verification and validation of the payment application stored in the chip of the smart card based on temporal property verification. In fact, each issuer (e.g., MasterCard) defines its own EMV-compliant specification, allowing different implementation cases and possible errors and we discuss about a method to detect anomalies to avoid smart card vulnerabilities. The properties will be designed in conformance with EMV-specification but our goal is not to formally prove them. We consider implementations through a black-box testing approach, therefore we cannot prove the properties as we don't have access to the source code. However, we can observe the command/response exchanges and detect, on the fly, when an expected property is violated

Multi-Agent Modeling for Integrated Process Planning and Scheduling

Multi-agent systems have been used for modelling various problems in the social, biological and technical domain. When comes to technical systems, especially manufacturing systems, agents are most often applied in optimization and scheduling problems. Traditionally, scheduling is done after creation of process plans. In this paper, agent methodology is used for integration of these two functions. The proposed multi-agent architecture provides simultaneous performance of process planning and scheduling and it consists of four intelligent agents: part and job agents, machine agent, and optimization agent. Verification and feasibility of a proposed approach is conducted using agent based simulation in AnyLogic software

Multi-Agent Modeling for Integrated Process Planning and Scheduling

Multi-agent systems have been used for modelling various problems in the social, biological and technical domain. When comes to technical systems, especially manufacturing systems, agents are most often applied in optimization and scheduling problems. Traditionally, scheduling is done after creation of process plans. In this paper, agent methodology is used for integration of these two functions. The proposed multi-agent architecture provides simultaneous performance of process planning and scheduling and it consists of four intelligent agents: part and job agents, machine agent, and optimization agent. Verification and feasibility of a proposed approach is conducted using agent based simulation in AnyLogic software

Optimization of Operation Sequencing in CAPP Using Hybrid Genetic Algorithm and Simulated Annealing Approach

In any CAPP system, one of the most important process planning functions is selection of the operations and corresponding machines in order to generate the optimal operation sequence. In this paper, the hybrid GA-SA algorithm is used to solve this combinatorial optimization NP (Non-deterministic Polynomial) problem. The network representation is adopted to describe operation and sequencing flexibility in process planning and the mathematical model for process planning is described with the objective of minimizing the production time. Experimental results show effectiveness of the hybrid algorithm that, in comparison with the GA and SA standalone algorithms, gives optimal operation sequence with lesser computational time and lesser number of iterations

Optimization of Operation Sequencing in CAPP Using Hybrid Genetic Algorithm and Simulated Annealing Approach

In any CAPP system, one of the most important process planning functions is selection of the operations and corresponding machines in order to generate the optimal operation sequence. In this paper, the hybrid GA-SA algorithm is used to solve this combinatorial optimization NP (Non-deterministic Polynomial) problem. The network representation is adopted to describe operation and sequencing flexibility in process planning and the mathematical model for process planning is described with the objective of minimizing the production time. Experimental results show effectiveness of the hybrid algorithm that, in comparison with the GA and SA standalone algorithms, gives optimal operation sequence with lesser computational time and lesser number of iterations

Autonomous Navigation of Automated Guided Vehicle Using Monocular Camera

This paper presents a hybrid control algorithm for Automated Guided Vehicle (AGV) consisting of two independent control loops: Position Based Control (PBC) for global navigation within manufacturing environment and Image Based Visual Servoing (IBVS) for fine motions needed for accurate steering towards loading/unloading point. The proposed hybrid control separates the initial transportation task into global navigation towards the goal point, and fine motion from the goal point to the loading/unloading point. In this manner, the need for artificial landmarks or accurate map of the environment is bypassed. Initial experimental results show the usefulness of the proposed approach.COBISS.SR-ID 27383808

Autonomous Navigation of Automated Guided Vehicle Using Monocular Camera

This paper presents a hybrid control algorithm for Automated Guided Vehicle (AGV) consisting of two independent control loops: Position Based Control (PBC) for global navigation within manufacturing environment and Image Based Visual Servoing (IBVS) for fine motions needed for accurate steering towards loading/unloading point. The proposed hybrid control separates the initial transportation task into global navigation towards the goal point, and fine motion from the goal point to the loading/unloading point. In this manner, the need for artificial landmarks or accurate map of the environment is bypassed. Initial experimental results show the usefulness of the proposed approach.COBISS.SR-ID 27383808