International Journal of Embedded Systems
| Editor in Chief: Prof. Kuan-Ching Li |
ISSN online: 1741-1076
ISSN print: 1741-1068
6 issues per year
Embedded systems are increasingly becoming a key technological component of all kinds of complex technical systems, ranging from vehicles, telephones, audio-video equipment, aircraft, toys, security systems, medical diagnostics, to weapons, pacemakers, climate control systems, manufacturing systems, intelligent power systems etc. IJES addresses the state of the art of all aspects of embedded computing systems with emphasis on algorithms, systems, models, compilers, architectures, tools, design methodologies, test and applications.
Editor in Chief
Editorial Board Members
A few essentials for publishing in this journal
All articles for this journal must be submitted using our online submissions system.
- Forthcoming paper
Authors: Yang Li, Xiaoling Tao, Wei Wu, Joseph K. Liu
Abstract: This paper introduces a variant of ciphertext-policy attribute-based encryption called Group-Oriented Ciphertext-Policy Attribute-Based Encryption (GO-CP-ABE). In the new notion, a message is encrypted under an access structure over attributes and users are described by their attributes. In addition, users are divided into different groups and each user belongs to only one group. Users within the same group can merge their attributes to decrypt successfully, if the union of their attributes satisfies the access structure embedded in the ciphertext. But users from different groups can not realise this cooperative decryption. We define the security model of GO-CP-ABE and present an efficient design by revising an existing CP-ABE scheme.
- Forthcoming paper
Authors: Zhimin Liu, Weijia Jia, Guojun Wang
Abstract: Recently, directional sensor networks (DSNs) have received a great deal of attention owing to their wide range of applications in different fields. A directional sensor has a smaller angle of sensing range than an omni-directional sensor. Coverage is one of the fundamental problems of directional sensor networks at present, which reflects how well the environment is monitored. In this paper, we propose a coverage estimation model to estimate the coverage problem with boundary effect. In order to guide initial deployment of DSNs and better meet requirements with certain initial coverage probability effectively, a novel probability-based area coverage estimation model with boundary effect, named PCPMB, is proposed. Simulation results show that our proposed model outperforms the previous proposed model without boundary effect.
- Forthcoming paper
Authors: Alessandro Trindade, Renato Degelo, Edilson Galvo, Hussama Ismail, Helder Silva, Lucas Cordeiro
Abstract: Bounded Model Checking (BMC) based on Satisfiability Modulo Theories (SMT) is well known by its capability to verify software. However, its use as an optimisation tool, to solve hardware and software (HW-SW) partitioning problems, is something new. In particular, its integration with the maximum satisfiability solver vZ tool, which provides a portfolio of approaches for solving linear optimisation problems over SMT formulas, is unprecedented. We present new alternative approaches to solve the HW-SW partitioning problem. First, we use SMT-based BMC in conjunction with a multi-core support using open multi-processing to create four variants to solve the partitioning problem. The multi-core SMT-based BMC approaches allow initialising many verification instances based on the number of available processing cores, where each instance checks a different optimum value until the optimisation problem is satisfied. Additionally, we integrate the vZ into the BMC, making it as a specialised solution for optimisation in a single-core environment. We implement all five approaches on top of the Efficient SMT-Based Context-Bounded Model Checker (ESBMC) and compare them with a state-of-the-art optimization tool. Experimental results show that there is no single optimisation tool to solve all HW-SW partitioning benchmarks, but based on medium-size benchmarks, ESBMC-vZ had better performance.