PECCS 2015 Abstracts


Area 1 - Mobile and Pervasive Computing

Full Papers
Paper Nr: 5
Title:

Design and Implementation of a New Run-time Life-cycle for Interactive Public Display Applications

Authors:

Jorge Cardoso and Alice Perpétua

Abstract: Public display systems are becoming increasingly complex. They are moving from passive closed systems to open interactive systems that are able to accommodate applications from several independent sources. This shift needs to be accompanied by a more flexible and powerful application management. In this paper, we propose a run-time life-cycle model for interactive public display applications that addresses several shortcomings of current display systems. Our model allows applications to load their resources before they are displayed, enables the system to quickly pause and resume applications, provides strategies for applications to transition and terminate gracefully by requesting additional time to finish the presentation of content, allows applications to save their state before being destroyed and gives applications the opportunity to request and relinquish display time. We have implemented our model as a Google Chrome extension that allows any computer with the Google Chrome browser to become a public display driver without further software. In this paper we present our model, implementation, and evaluation of the system.

Paper Nr: 6
Title:

The Leap Motion Movement for 2D Pointing Tasks - Characterisation and Comparison to Other Devices

Authors:

Manuel Seixas, Jorge Cardoso and Maria Teresa Galvão Dias

Abstract: In this paper we present the results from an experiment designed to characterize the Leap Motion movement in 2D pointing tasks and compare it to a mouse and touchpad. We used the ISO 9241-9 multi-directional tapping test for comparing the devices, and we analyse the results using standard throughput and error rate measures as well as additional accuracy measures such as target re-entry, task axis crossing, movement direction change, orthogonal direction change, movement variability, movement offset, and movement error. We also present the results from the ISO 9241-9 assessment of comfort questionnaire, and our observations from the participant’s postures when using the Leap Motion device. Results indicate that the Leap Motion performs poorly in these tasks when compared to a mouse or touchpad.

Paper Nr: 22
Title:

Mental Workload Management as a Tool in e-Learning Scenarios

Authors:

André Pimenta, Sergio Gonçalves, Davide Carneiro, Florentino Fde-riverola, José Neves and Paulo Novais

Abstract: In our daily life, we often have a sense of being exhausted due to mental or physical work, together with a feeling of performance degradation in the accomplishment of simple tasks. This is in part due to the fact that the working capacity and the performance of an individual, either physical or mental, generally decrease as the day progresses, although factors like motivation also play a significant role. These negative effects are especially significant when carrying out long or demanding tasks, as often happens in an educational context. In order to avoid these effects, initiatives to promote a good management of the time and effort invested in each task are mandatory. Such initiatives, when effective, can have a wide range of positive effects, including on the performance, productivity, attention and even mental health. Seeking to find a viable and realistic approach to address this problem, this paper presents a non-invasive and non-intrusive way to measure mental workload, one of the aspects that affects mental fatigue the most. Specifically, we target scenarios of e-learning, in which the professor may not be present to assess the student’s state. The aim is to create a tool that enables an actual management of fatigue in such environments and thus allows for the implementation of more efficient learning processes, adapted to the abilities and state of each student.

Paper Nr: 30
Title:

Traffic Expression through Ubiquitous and Pervasive Sensorization - Smart Cities and Assessment of Driving Behaviour

Authors:

Fábio Silva, Cesar Analide and Paulo Novais

Abstract: The number of portable and wearable devices has been increasing in the population of most developed countries. Meanwhile, the capacity to monitor and register not only data about people’s habits and locations but also more complex data such as intensity and strength of movements has created an opportunity to their contribution to the general wealth and sustainability of environments. Ambient Intelligence and Intelligent Decision Making processes can benefit from the knowledge gathered by these devices to improve decisions on everyday tasks such as planning navigation routes by car, bicycle or other means of transportation and avoiding route perils. Current applications in this area demonstrate the usefulness of real time system that inform the user of conditions in the surrounding area. Nevertheless, the approach in this work aims to describe models and approaches to automatically identify current states of traffic inside cities and relate such information with knowledge obtained from historical data recovered by ubiquitous and pervasive devices. Such objective is delivered by analysing real time contributions from those devices and identifying hazardous situations and problematic sites under defined criteria that has significant influence towards user well-being, economic and environmental aspects, as defined is the sustainability definition.

Paper Nr: 42
Title:

Location-based Proactive Services using WSFD in Pervasive Environments

Authors:

Mohammed Fethi Khalfi and Sidi Mohamed Benslimane

Abstract: Pervasive environments are characterized by rich and dynamic context comprising a large number of embedded devices offering their pertinent services to the user. Which of the available services are of most interest to the user considerably depends on the user’s current context. This paper proposes a novel proactive service discovery approach for pervasive computing environments. Contextual information is described by a formal context model ontology based rule reasoning to infer high level context. We use UPnP as an infrastructure to address implicit requests. Our method uses location aware, UPnP infrastructure, web service for devices and the notion of proactivity in pervasive computing for providing the most relevant services to the user in response to changes of context. We present encouraging experimental results demonstrating our proposition.

Short Papers
Paper Nr: 2
Title:

Schedulers for BGW Tasks to Guarantee Quality of Service of Embedded Real-time Systems

Authors:

Mohamed Ould Sass and Maryline Chetto

Abstract: We present a new task model called BGW for preemptable, periodic task sets, scheduled on a uniprocessor embedded platform. The tasks may be subject to faults and the processor may be overloaded. According to BGW, any Black job has to execute a primary algorithm before deadline, any Grey job may execute either the primary or the back-up algorithm and any White job may be discarded. We describe several Earliest Deadline First (EDF) based scheduling frameworks suitable for this model. We also present and discuss the results of experiments that compare the EDF scheduler applied to conventional Liu and Layland task sets to various schedulers applied to BGW task sets. The Quality of Service is observed through metrics including ratio of deadline success, preemption rate, etc.

Paper Nr: 4
Title:

Evaluating the Usability of an Automated Transport and Retrieval System

Authors:

Paul Whittington, Huseyin Dogan and Keith Phalp

Abstract: The Automated Transport and Retrieval System (ATRS) is a technically advanced system that enables a powered wheelchair (powerchair) to autonomously dock onto a platform lift of a vehicle using an automated tailgate and a motorised driver’s seat. The proposed prototype, SmartATRS, is an example of pervasive computing that considerably improves the usability of ATRS. Two contributions have been made to ATRS: an improved System Architecture incorporating a relay board with an embedded web server that interfaces with the smartphone and ATRS, and an evaluation of the usability of SmartATRS using the System Usability Scale (SUS) and NASA Task Load Index (NASA TLX). The contributions address weaknesses in the usability of ATRS where small wireless keyfobs are used to control the lift, tailgate and seat. The proposed SmartATRS contains large informative buttons, increased safety features, a choice of interaction methods and easy configuration. This research is the first stage towards a “SmartPowerchair”, where pervasive computing technologies would be integrated into the powerchair to help further improve the lifestyle of disabled users.

Paper Nr: 8
Title:

Txupito - An Interactor Component Model for Ambient HCI

Authors:

Inès de Courchelle, Philippe Roose, Marc Dalmau and Patrick Etcheverry

Abstract: In this paper, we describe the Txupito interactor model. Nowadays, application contents are accessible on a wide variety of devices such as laptops, tablets and smartphones but the heterogeneity of such devices does not help programmers to elaborate ambient interactive applications adapted to each device. Indeed, users do not interact in the same way on a tablet, a laptop or a smartphone. Furthermore the design of cooperative HCI (Human Computer Interface) remains a very complex task especially in an ambient and heterogeneous environment. In this paper, we propose a multimodal mobile interactor model, called Txupito, and a set of composition operators as a way to achieve interactions with hardware in a distributed and cooperative way.

Paper Nr: 15
Title:

A Multimodal User Interface using the Webinos Platform to Connect a Smart Input Device to the Web of Things

Authors:

E. Baccaglini, M. Gavelli, M. Morello and P. Vergori

Abstract: We propose an innovative overlay architecture among heterogeneous devices that works on different operating systems and an application based on standard web technologies that leverages on such architecture to perform a broad range of functions using audio commands. To achieve this, a secure web runtime platform allows connecting different devices such as an Android mobile device, a single board computer and a Web of Things (WoT) sensor/actuator in a secure and independent manner. Methods and functions have been created in order to capture the audio from the microphone on personal computers and on mobile phones, and to safely transfer files to a single board computer, in which a speech recognition engine is embedded. Therefore, by recording the audio command from one of these devices and performing voice command identification using the speech engine, it is possible to perform different actions previously defined by the user on one of his devices. This work demonstrates how open source platforms can interconnect and operate with proprietary architecture in a complementary and secure manner.

Paper Nr: 39
Title:

Modeling and Verification of B-based Distributed Reconfigurable Control Systems

Authors:

Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui and Samir Ben Ahmed

Abstract: The paper deals with the modeling and verification of B based Distributed Reconfigurable Control Systems (DRCS). A distributed multi-agent architecture is developed, where for each system is affected a Reconfiguration Agent to apply a local automatic reconfiguration, and a Coordination Agent is proposed to harmonize between systems when any local reconfiguration is applied in a system. We apply the Distributed Reconfigurable B “DR-B” formalism to define all possible behaviors, to determine reconfiguration functions for each system and to execute the appropriate ones to respond to reconfiguration requests and to switch between the specific distributed configuration at run-time to cope with the coherence of running systems. We verify a DRCS by using the B method. The goal is to guarantee the consistency and the correctness of the abstract specification level. Further more, to avoid combinatorial explosion problem in DRCS, we apply the “Check RB” tool, to reduce redundant checking of different behaviors sharing similar operations. All the contributions of this work are applied to two benchmark production systems FESTO and EnAS.

Paper Nr: 46
Title:

EDeg-fs - A Heuristic for Scheduling and Dynamic Power Management in Embedded Energy Harvesting Systems with DVFS Facilities

Authors:

Hussein El Ghor and Maryline Chetto

Abstract: This work investigates the problem of dynamic power management and scheduling for a uniprocessor system with dynamic voltage and frequency scaling (DVFS) facilities. This one is qualified as real-time since jobs have to be executed before deadlines. In addition, it is an energy harvesting system since its supply energy is drawn from the environment. We assume that the preemptable jobs receive dynamic priorities according to the Earliest Deadline First (EDF) rule. We propose to extend the dynamic power management scheme called EDeg that must be adapted to a processor with DVFS capabilities. We show how to adjust dynamically the frequency in order to gain quality of service measured in terms of deadline miss rate.

Posters
Paper Nr: 11
Title:

EM410x RFID Cloned Card Detection System

Authors:

Michal Krumnikl, Pavel Moravec, Petr Olivka and David Seidl

Abstract: RFID tags are nowadays used for granting access to buildings, tracking goods, persons and animals, in electronic toll collection systems, mobile payments, and other application areas. The purpose of this paper is to propose a solution that is capable of detecting fake (cloned) low cost 125 kHz RFID tags. The paper is focusing on detecting clones and emulators of EM410x tags. The proposed method is based on modifying the RFID reader and exploiting the specific features and properties of the fake tags. The experiments performed with the RFID reader with the implementation of the proposed clone detection techniques have shown that it is possible to reliably detect the majority of the publicly available fake tags and emulators. Moreover, the reader is capable of deactivating some of the clone tags if necessary.

Paper Nr: 12
Title:

Personal e-Comfort Modelling and Management based on Multi-Agent System and Internet of Things Network

Authors:

Benjamin Gateau and Jarogniew Rykowski

Abstract: In this paper a new approach to complex comfort management is presented, aiming in automatic treatment of different comfort parameters by means of Internet-of-Things devices and multi-agent system. The paper presents a new model of e-comfort, based on common treatment of all the parameters as identified across the Maslow’s hierarchy of needs. Next, a new architecture of e-comfort management is discussed, based on two layers: low-level layer of IoT devices, representing at-the-place possibilities of the system, and upper layer of software agents, formulating and negotiating the needs and expectations of human users.

Paper Nr: 13
Title:

Mathematical Model of a Human Leg - The Switched Linear System Approach

Authors:

Artur Babiarz, Adam Czornik, Michal Niezabitowski and Radoslaw Zawiski

Abstract: This article presents a novel approach to modelling of the human leg with the use of linear switched systems. Second order differential equations forming a two-segments leg model moving in a vertical plane are shown. State space linear equations describing given model are derived. A linear switched system for such model is presented, where the switching function is modelled as state-dependent. Based on this approach a linear system is presented, which is composed of four subsystems between which switching occurs depending on two state variables. These variables represent angular displacements. As a consequence, a state space division is shown together with a linear system describing human leg in this setting. Finally, a set of simulations presents differences between standard linear modelling approach and a switched linear system approach.

Paper Nr: 14
Title:

On the Road to a Reference Architecture for Pervasive Computing

Authors:

Osama Khaled, Hoda Hosny and Mohamed Shalan

Abstract: An efficient development strategy for pervasive computing requires that the smart object manufacturers design their devices with profound facilities that can be accessible for developers. In our in-progress research, we present a high level design for smart object essential handlers. This design establishes rules and regulations for the development of pervasive computing in general and promotes for quality in pervasive systems in particular.

Paper Nr: 25
Title:

Best Path Selection in a Multi-Relay Node System under the Concept of Cognitive Radio

Authors:

Zaid A. Shafeeq, Ghazi M. AL Sukkar and Ahmad ALAmayreh

Abstract: The main purpose in this work is to enhance relay technique in underlay cognitive radio scheme through estimating the best path between the secondary source and the secondary destination under the power interference constraint of the primary user. A protocol is proposed based on the cooperation process between the secondary relay nodes in the system in order to establish the best path at low complexity without exceeding the interference threshold of the primary user. Performance analyses, through simulation, of the suggested protocol shows great enhancement in network outage probability when compared with direct path model and one relay node based-model.

Paper Nr: 32
Title:

Implementing Identity-based Key Agreement in Embedded Devices

Authors:

Giovanni Schmid and Francesco Rossi

Abstract: In recent years, a substantial work has been devoted to the design of cryptographic protocols with reduced computational load and power consumption. However, implementations are scarce, especially in case of embedded devices. In this paper, we discuss the implementation over elliptic curves of a two-party key agreement protocol for the Raspberry PI platform. The protocol requires just one round to derive an (implicit) authenticated session key, and it makes use of identity-based cryptography, which fits very well some application scenarios, allowing for more efficiency than the certificate-based approach. Our implementation takes advantage of the portability and security features of the Java programming language and, due to a modular design, it can be easily extended to encompass other identity-based schemes and protocols. We run a set of tests in order to verify the correctness of our implementation and to measure its performances in term of computing time. Our results demonstrate that getting secure communications using low cost, resource constrained devices is viable to the point that it can be used for real world applications.

Paper Nr: 41
Title:

An Efficient Simulator for Fault Detection and Recovery in Smart Grids - FDIRSY

Authors:

Syrine Ben Meskina, Narjes Doggaz and Mohamed Khalgui

Abstract: This research paper deals with failures and faults in power smart grids. We propose an original multi-agent approach for power system recovery based on fault classification. For that, we propose the classification of faults as dominant or equivalent ones. This classification has the advantage of optimizing the task of power system recovery. To test and validate our approach, we develop a simulator, named FDIRSY (Fault Detection, Isolation and Recovery SYstem). The experimental study showed that our approach ensures the search for the best solution from the existing ones thanks to the use of mobile agents. These agents have the advantage of evaluating all the existing alternatives while reducing the communication cost (in terms of exchanged messages). We demonstrate that our approach is gainful in terms of required times, actions to be performed as well as the faults to be resolved thanks to the proposed fault classification.

Paper Nr: 49
Title:

State Vector Fusion and Measurement Fusion for Locate Wheelchair Position with KALMAN Filter

Authors:

Derradji Nada, Mounir Bousbia Salah and Maamar Bettayeb

Abstract: This paper investigates the problem of estimation of the wheelchair position in an environment with noisy measurements. The measuring system is based on two odometers placed on the axis of the wheels combined with a magnetic compass to determine the position and orientation. The determination of displacements is implemented by an accelerometer. Data coming from these sensors are combined and used as inputs to defferent fusion architecture with an extended Kalman filter (EKF) and Unscented KALMAN Filter(UKF). four data fusion architectures MFekf (measurement fusion extended Kalman filter), SVFekf (state vector fusion extended Kalman filter), MFukf (measurement fusion Unscented Kalman filter ), SVFukf (state vector fusion Unscented Kalman filter) are proposed to merge the available measurements. Comparative studies between these four methods shows that the MFekf architecture provides estimates of the states with relatively less uncertainty compared to MFukf. The odometers measurements give the position with relatively high uncertainty followed by the accelerometer measurements. This shows the need for fusion in a navigation system. The results of this simulation show the effectiveness of the proposed architectures.

Paper Nr: 57
Title:

Defining a Roadmap Towards Comparative Research in Online Activity Recognition on Mobile Phones

Authors:

Muhammad Shoaib, Stephan Bosch, Ozlem Durmaz Incel, Hans Scholten and Paul J. M. Havinga

Abstract: Many context-aware applications based on activity recognition are currently using mobile phones. Most of this work is done in an offline way. However, there is a shift towards an online approach in recent studies, where activity recognition systems are implemented on mobile phones. Unfortunately, most of these studies lack proper reproducibility, resource consumption analysis, validation, position-independence, and personalization. Moreover, they are hard to compare in various aspects due to different experimental setups. In this paper, we present a short overview of the current research on online activity recognition using mobile phones, and highlight their limitations. We discuss these studies in terms of various aspects, such as their experimental setups, position-independence, resource consumption analysis, performance evaluation, and validation. Based on this analysis, we define a roadmap towards a better comparative research on online activity recognition using mobile phones.

Paper Nr: 60
Title:

An Agent Architecture for Adaptive Supervision and Control of Smart Environments

Authors:

Stefano Ferilli, Berardina De Carolis, Andrea Pazienza, Floriana Esposito and Domenico Redavid

Abstract: This paper describes the architecture and functionality of a generic agent that is in charge of handling a given environment in an Ambient Intelligence context, ensuring suitable contextualized and personalized support to the user’s actions, adaptivity to the user’s peculiarities and to changes over time, and automated management of the environment itself. The architecture is implemented in a multi-agent system, where different types of agents are endowed with different levels of reasoning and learning capabilities. In addition to controlling normal operations of the environment, the system may identify user’s needs and goals and activate suitable workflows to satisfy them. Some actions in these workflow involve the execution of semantic services. When a single service is not available for fulfilling a given need, an automatic service composer is used to obtain a suitable combination of services. The architecture has been implemented in a prototypical agent-based system that works in a Smart Home Environment.

Paper Nr: 61
Title:

Wandering Analysis with Mobile Phones - On the Relation Between Randomness and Wandering

Authors:

Agusti Solanas, Edgar Batista, Frederic Borras, Antoni Martínez-Ballesté and Constantinos Patsakis

Abstract: Population pyramids have rapidly changed their shape worldwide. Specially in industrialised countries, where a steady ageing process is taking place. Due to the ageing of the population, age-related illnesses such as mild cognitive impairment (MCI) and dementia are becoming commonplace and healthcare systems struggle to improve the quality of life of patients and carers. Wandering and disorientation are common symptoms amongst patients with MCI, and they could lead to fatal outcomes. In this article we propose a wandering detection technique based on the analysis of randomness in patients’ trajectories, which are gathered by means of standard low-cost mobile phones with GPS.

Paper Nr: 63
Title:

Design, Implementation and Simulation of an Experimental Processing Architecture for Enhancing Real-time Video Services by Combining VANET, Cloud Computing System and Onboard Navigation System

Authors:

K. Hammoudi, N. Ajam, M. Kasraoui, F. Dornaika, K. Radhakrishnan, K. Bandi, Q. Cai and S. Liu

Abstract: In this paper, we propose a design for novel and experimental cloud computing systems. The proposed system aims at enhancing computational, communicational and annalistic capabilities of road navigation services by merging several independent technologies, namely vision-based embedded navigation systems, prominent Cloud Computing Systems (CCSs) and Vehicular Ad-hoc NETwork (VANET). This work presents our initial investigations by describing the design of a global generic system. The designed system has been experimented with various scenarios of video-based road services. Moreover, the associated architecture has been implemented on a small-scale simulator of an in-vehicle embedded system. The implemented architecture has been experimented in the case of a simulated road service to aid the police agency. The goal of this service is to recognize and track searched individuals and vehicles in a real-time monitoring system remotely connected to moving cars. The presented work demonstrates the potential of our system for efficiently enhancing and diversifying real-time video services in road environments.

Area 2 - Digital Signal Processing

Full Papers
Paper Nr: 16
Title:

Novel Hybrid Receiver for Interference Cancellation and Suppression in Sidehaul System

Authors:

Sangmi Moon, Hun Choe and Intae Hwang

Abstract: Recently, the 3rd Generation Partnership Project (3GPP) has developed a sidehaul system to cope with the explosively increasing mobile data traffic. Nevertheless, numerous challenging technical problems that need to be overcome remain. One of the major problems is interference management between small cells. In this paper, we propose a novel hybrid receiver for full successive cancellation (FSC) to reduce the interference from neighboring cells in the sidehaul system. The proposed receiver can cancel and suppress interference by integrating the interference rejection combining (IRC) technique with successive interference cancellation (SIC). We perform a simulation based on the 20-MHz bandwidth of the 3GPP LTE-Advanced technology. Simulation results show that the proposed receiver can achieve a lower error rate and a higher throughput compared to conventional receivers.

Short Papers
Paper Nr: 17
Title:

Novel DFT-based Channel Estimation Scheme for Sidehaul System

Authors:

Hun Choe, Sangmi Moon and Intae Hwang

Abstract: Recently, 3rd Generation Partnership Project (3GPP) has developed sidehaul system to cope with the explosively increasing mobile data traffic. The sidehaul system is based on single carrier-frequency division multiple access (SC-FMDA) due to its low peak-to-average power ratio (PAPR). Also, demodulation reference signal (DMRS) is designed to support multiple input multiple output (MIMO). In this paper, we propose the DFT-based channel estimation scheme for sidehaul system. The proposed scheme uses the 2-dimensional minimum mean square error (2-D MMSE) interpolation scheme for the user moving at a high speed. Simulation results show that the proposed channel estimation scheme can improve normalized mean square error (NMSE), error rate and throughput of conventional system.

Paper Nr: 33
Title:

Perceptually Weighted Compressed Sensing for Video Acquisition

Authors:

Sawsan A. Elsayed and Maha M. Elsabrouty

Abstract: Efficient video acquisition and coding techniques have received increasing attention due to the wide spread of multimedia telecommunication. Compressed Sensing (CS) is an emerging technology, which enables acquiring video in a compressed manner. CS proves to be very powerful for energy constrained devices that benefit from processing at lower sampling rates. In this paper, a framework for compressed video sensing (CVS) that relies on an efficient fixed perceptual weighting strategy is adopted for acquisition and recovery. The proposed compressed sensing strategy focuses the measurements on the most perceptually pronounced coefficients. Three weighting schemes are developed and compared with standard CS. Simulation results demonstrate that the proposed framework provides a significant improvement in its three different setups over standard CS in terms of both standard and perceptual objective quality assessment metrics.

Paper Nr: 54
Title:

A Closed-form Approximated Expression for the Residual ISI Obtained by Blind Adaptive Equalizers Applicable for the Non-Square QAM Constellation Input and Noisy Case

Authors:

Roy Shevach and Monika Pinchas

Abstract: Recently, closed-form approximated expressions were obtained for the residual Inter-Symbol Interference (ISI) obtained by blind adaptive equalizers valid for the real or two independent quadrature carrier case such as the 16 Quadrature Amplitude Modulation (QAM) input. In this paper we propose for the complex and dependent quadrature carrier case (such as the 32QAM source), a closed-form approximated expression for the achievable residual ISI which depends on the step-size parameter, equalizer’s tap length, input signal statistics, channel power and SNR. This approximated expression is applicable for blind adaptive equalizers where the error is fed into the adaptive mechanism, which updates the equalizer‘s taps and can be expressed as a polynomial function up to order five of the equalized output. Godard’s algorithm for example, applies a third order polynomial function to the adaptation mechanism of the equalizer thus belongs to the above-mentioned type of equalizers. Since the channel power is measurable, or can be calculated if the channel coefficients are given, there is no need to perform any simulation with various step-size parameters and different values of SNR to reach the required residual ISI for the dependent quadrature carrier input case.

Paper Nr: 55
Title:

CLEAN Algorithms for Intra-vehicular Time-domain UWB Channel Sounding

Authors:

Aniruddha Chandra, Jiri Blumenstein, Tomas Mikulasek, Josef Vychodil, Martin Pospisil, Roman Marsalek, Ales Prokes, Thomas Zemen and Christoph Mecklenbrauker

Abstract: A comparison of two variants of CLEAN, a time-domain serial subtractive deconvolution algorithm, is presented. Appropriate statistical metrics for assessing the relative merit of the deconvolution technique are identified in the context of intra vehicle ultra wide band transmission, and the better variant was selected based on its performance over a standard IEEE channel simulation testbed. The chosen method is then applied to extract important channel characteristics for a real-world channel sounding experiment performed inside a passenger car.

Posters
Paper Nr: 31
Title:

Improving Inertial Navigation Systems with Pedestrian Locomotion Classifiers

Authors:

Courtney Ngo, Solomon See and Roberto Legaspi

Abstract: Researches on inertial navigation systems (INS) have formulated complex step detection algorithms and stride length estimations. But for current systems to work, INSs have to correctly identify negative pedestrian locomotion. Negative pedestrian locomotion are movements that a user can naturally make without any real position displacement, but has sensor signals that might be misidentified as steps. As the INS’s modules have a cascading nature, it is important that these false movements are identified beforehand. This research aims to provide a solution by studying patterns exhibited by positive and negative pedestrian locomotion when sensors are placed on a user’s front pocket. A model was then built to classify negative from positive pedestrian locomotion, and to improve the INS’s accuracy overall.

Paper Nr: 56
Title:

Bit-inverted Gray Coded Bit-plane Matching for Low Complexity Motion Estimation

Authors:

Changryoul Choi and Jechang Jeong

Abstract: In this paper, a bit-inverted Gray coded bit-plane matching algorithm is proposed for low complexity motion estimation. Unlike the typical Gray coded bit-plane matching algorithms, the proposed algorithm uses bit-inverted Gray codes for transforming image frames and a corresponding extended matching criterion to enhance the motion estimation accuracy. Experimental results show that the proposed algorithm outperforms other bit-plane matching based motion estimation algorithms while preserving the binary matching characteristic.

Area 3 - Embedded Systems Design

Full Papers
Paper Nr: 19
Title:

A Novel Heuristic Algorithm for Mapping AUTOSAR Runnables to Tasks

Authors:

Fouad Khenfri, Khaled Chaaban and Maryline Chetto

Abstract: This paper describes a novel algorithm that permits to automate the process to map runnables to tasks in any AUTOSAR architecture. This enables to boost system performance by reducing the number of tasks to be implemented and while preserving system schedulability. Our algorithm uses some properties related to the activation offset for mapping runnables with distinct periods to the same task. We consider periodic, independent and fixed-priority tasks running on a single processor. The results of an experimental study are reported. First, they show that our algorithm reduces significantly the number of tasks with distinct periods while preserving system schedulability. And second, the system schedulability bound is increased by 34% compared to the typical periodic solution and the average response time of tasks is reduced by 30% related to ohers solutions.

Paper Nr: 27
Title:

RA2DL: New Flexible Solution for Adaptive AADL-based Control Components

Authors:

Farid Adaili, Olfa Mosbahi, Mohamed Khalgui and Samia Bouzefrane

Abstract: The paper deals with adaptive component-based control systems following the Architecture Analysis and Design Language (denoted by AADL). A system is assumed to be a network of software and hardware AADL components that share the control of corresponding physical processes. A component is composed of a set of algorithms encoding the control after any reception of external events and data signals. The termination of execution is generally done with the emission of data and event signals to remote components. According to various evolutions in environment, the system is required to be dynamically reconfigured at run-time to adapt its control functions. We are interested in local reconfigurations ofr components dealing with the activation-deactivation- update of algorithms and/or data-event inputs and outputs. We propose RA2DL as a solution for reconfigurable AADL components, and define a hierarchical-based architecture to dynamically handle all possible reconfiguration scenarios at run-time. We model and verify this solution and develop a tool for its simulation by taking a real-case study as a running example.

Short Papers
Paper Nr: 18
Title:

The Method of Roll Surface Quality Measurement for Continuous Hot Dip Zinc Coated Steel Sheet Production Line

Authors:

Ki Yong Choi, Yu. A. Lebedinsky, E. I. Marukovich, A. M. Branovitsky and Vitaly Dementev

Abstract: The present paper describes a developed analyzing system of roll surface during the process of continuous hot dip zinc coated steel sheet production line, in particular, adhering problem by transferred inclusions from roll to steel sheet surface during annealing process so called the pickup. The simulated test machine for coated roll surface in processing line has been designed and performed. The system makes it possible to analyze roll surface condition according to pickup phenomena from various roll coatings concerning operating conditions of hearth rolls in annealing furnace. The algorithm of fast pickup detection on surface is developed on the base of processing of several optical images of surface. The parameters for quality estimation of surface with pickups were developed. The optical system for images registration and image processing electronics may be used in real time and embed in processing line.

Paper Nr: 52
Title:

An Application Specific Processor for Enhancing Dictionary Compression in Java Card Environment

Authors:

Massimiliano Zilli, Wolfgang Raschke, Johannes Loinig, Reinhold Weiss and Christian Steger

Abstract: Smart cards are low-end embedded systems used in the fields of telecommunications, banking and identification. Java Card is a reduced set of the Java standard designed for these systems. In a context of scarce resources such as smart cards, ROM size plays a very important role and dictionary compression techniques help in reducing program sizes as much as possible. At the same time, to overcome the intrinsic slow execution performance of a system based on interpretation it is possible to enhance the interpreter speed by means of specific hardware support. In this paper we apply the dictionary compression technique to a Java interpreter built on an application specific processor. Moreover, we move part of the decompression functionalities in hardware with the aim of speeding up the execution of a compressed application. We obtain a new interpreter that executes compressed code faster than a classic interpreter that executes non-compressed code

Posters
Paper Nr: 7
Title:

Test-Driven Migration Towards a Hardware-Abstracted Platform

Authors:

Wolfgang Raschke, Massimiliano Zilli, Johannes Loinig, Reinhold Weiss, Christian Steger and Christian Kreiner

Abstract: Platform-based development is one of the most successful paradigms in software engineering. In embedded systems, the reuse of software on several processor families is often abandoned due to the multitude of compilers, processor architectures and instruction sets. In practice, we experienced that a lack of hardware abstraction leads to non-reusable test cases. We will demonstrate a re-engineering process that follows test-driven development practices which fits perfectly for migration activities. Moreover, we will introduce a process that provides trust for the test cases on a new hardware.

Paper Nr: 23
Title:

GP-based Methodology for HW/SW Co-synthesis of Multiprocessor Embedded Systems with Increasing Number of Individuals Obtained by Mutation

Authors:

Adam Górski and Maciej Ogorzalek

Abstract: In this work, a genetic programming methodology for co-synthesis of multiprocessor systems is presented. Genotype is a tree which nodes include system construction procedures. Thus the design methodology is evolving. Next generations are obtained using genetic operators: mutation, reproduction and crossover. Unlike other algorithms in presented methodology number of individuals obtained by mutation operator is not const. Therefore number of individuals in each population is increasing. The size of final generation is found by the algorithm.

Paper Nr: 36
Title:

New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems

Authors:

Asma Ben Ahmed, Olfa Mosbahi and Mohamed Khalgui

Abstract: This research paper deals with Reconfigurable Hardware Systems (abbreviated, RHS) that should be adapted to their environment under well-defined conditions. A reconfiguration scenario is a run-time hardware operation allowing the addition/removal of hardware components. We classify the reconfiguration scenarios into three levels: Architectural, Structural and Data Reconfiguration Levels. We propose a new solution for optimal hardware tests of RHS based on the definition of new fault collapsing relationships termed Inter-Equivalence, Inter-Dominance and Redundancy.

Paper Nr: 37
Title:

New Forecasting-based Solutions for Optimal Energy Consumption in Microgrids with Load Shedding - Case Study: Petroleum Platform

Authors:

Mohamed Ghaieth Abidi, Moncef Ben Smida and Mohamed Khalgui

Abstract: This paper presents a new control strategy for optimal energy consumption in microgrids based on forecasting and load shedding method. In islanded mode, only local generation resources are usable. In this mode, the availability of resources is very influenced by meteorological factors. In order to achieve a high availability of energy, microgrid has to satisfy high requirements on intelligent power management. The main objective of this study is to develop a control based on the forecast of production and the priority of loads to ensure high availability of electrical power for critical loads. A mathematical model for the proposed strategy is developed. The simulation of this model on Matlab Simulink for different cases of microgrid topology (sources and loads) shows clearly a high improvement of degree of availability of electrical power supply distribution in microgrid.

Paper Nr: 40
Title:

CHAMELEON - New Object Oriented Solution for Adaptive Control Systems

Authors:

Asma Nafti, Mohamed Romdhani and Mohamed Khalgui

Abstract: The paper deals with a new Object Oriented Solution for Adaptive Control Systems having as name CHAMELEON. The CHAMELEON system provides more flexibility and a gain in memory compared to the Classical Oriented Object Approach. Firstly, we give a formalization of the solution. Then, we propose a CHAMELEON meta-model and a sequence diagram to emphasize the dynamic aspects. Finally, an evaluation is done in order to highlight the performance of the proposed approach.