PEC 2017 Abstracts


Area 1 - Mobile and Ubiquitous Computing

Full Papers
Paper Nr: 3
Title:

Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking

Authors:

Reona Minoda and Shin-ichi Minato

Abstract: Verification of ubiquitous computing (UC) scenarios enables us to detect design-related faults of UC applications before we actually implement them. In this paper, we propose a verification framework of context catalytic reaction network (CCRN), which is a description model of UC scenarios, as a new application field of symbolic model checking. To do so, we illustrate a method how to transform a scenario written in CCRN into a symbolic model checking problem. We also show experimentally that our framework makes it possible to verify large scale UC scenarios which could not be verified in realistic time by our previous method. Additionally, we show experimentally the usefulness of fault detections using bounded model checking in the same framework.

Short Papers
Paper Nr: 6
Title:

Context Aware Advertising - A State of the Art Study

Authors:

Youssef Youssef and Sherif G. Aly

Abstract: IP Television (IPTV) has created a new arena for digital advertising that has not been explored to its full potential. IPTV allows users to retrieve on demand content and recommended content; however, limited research has been applied in the domain of advertising in IPTV systems. The diversity of the field led to a lot of mature efforts in the fields of content recommendation and mobile advertising. The introduction of IPTV, smart devices, and social networks led to the ability to gather more context information that were not subject of study before. Different contextual parameters from multiple diverse sources could be used to enrich the decision making process of recommending advertisements to tailor better ads for users. There are many lessons to be learned from the various research attempts contributed over time to pave the way for context aware advertising. This paper looks into the state of the art surrounding the usage of contextual information for the purpose of advertisement in IPTV systems, as well as various evaluation methodologies for such kinds of research. We will also propose some research questions for future researches.

Area 2 - Pervasive Computing

Short Papers
Paper Nr: 1
Title:

Diversity: A Poor Man's Solution to Drone Takeover

Authors:

Ali Davanian, Fabio Massacci and Luca Allodi

Abstract: Drones are the new targets for hackers. On one hand, their widespread use and security weakness have made them very attractive for the attackers. On the other hand, there are a few security solutions for drones. Out of these few, some are just proposals, and fewer are in the early stage of development. We first assess the requirements of a security solution for drones and then analyse the effect of traditional cryptographic solutions on the drone’s traffic volume and energy consumption. With recourse to Moving Target Defence, we propose a novel instruction diversity solution for drone security that is portable, and has zero overhead.

Paper Nr: 2
Title:

Energy and Cost Considerations for Single Board Computers Usage in Citizen Science Scenarios

Authors:

Pedro Verdugo, Joaquín Salvachúa and Gabriel Huecas

Abstract: The rich availability of single board computers as an expansion of the traditional embedded system provides a low cost, easily managed, execution ready and scalable entry-level infrastructure, resulting in a new computing paradigm termed as Fog Computing. Simultaneously, the current expansion of Citizen Science initiatives along with the generalization of IOT projects precludes the need for individually managed, low complexity data processing systems, generating a new user-oriented ecosystem that has come to be defined as the Edge Cloud. In this document the authors will briefly study the adequacy of the current user-grade SBC hardware offerings to cover the needs set by the Citizen Science paradigm, starting by studying current Citizen Science projects in order to define the aforementioned set of specific requirements, and subsequently analyzing the hardware selection and provisioning process given the current non-enterprise user-grade supply for SBC computers, taking special consideration to power usage and total cost of ownership factors from a green computing perspective.

Area 3 - Embedded Systems Design

Short Papers
Paper Nr: 4
Title:

Process Architecture Enabling Object Orientation and Dynamic Configuration for Small Embedded Devices - Dynamic Control of Processes and Communication Channels

Authors:

Steffen Dalgard and Anders Liverud

Abstract: Embedded systems pose challenges such as limited memory and power budget. The list of mandatory functionality like connectivity, availability and remote configuration increase the software complexity and requires a more dynamic behaviour. This paper shows how to introduce object orientation to achieve dynamic configuration of processes and communication channels, better usage of RAM and more portable source code. This is implemented by a limited use of C++ without libraries in coexistence with existing C code.

Paper Nr: 7
Title:

Adaptive Iterative Improvement GP-based Methodology for HW/SW Co-synthesis of Embedded Systems

Authors:

Adam Górski and Maciej Ogorzalek

Abstract: The paper presents a novel adaptive genetic programming based iterative improvement algorithm for hardware/software co-synthesis of distributed embedded systems. The algorithm builds solutions by starting from suboptimal architecture (the fastest) and using system-building options improves the system’s quality. Most known genetic programming algorithms for co-synthesis of embedded systems are built choosing fixed probability. In our approach we decided to change the probability during the work of the program.