Android Programming Research Articles

Design and Implementation of Remote Control System for Mobile Platform Based on Interoperation of Android and Arduino

The project designed and implemented an interoperability mobile platform with a system based on Android open source software platform and Arduino open source hardware platform , an Android program on the host terminal receiving environment data from the mobile platform and sending message through 3G channel using XMPP protocol, and an Android program on the remote control terminal which could process the environment data sent from the mobile platform according to the algorithm and send back control commands. With this system, the mobile intelligent terminal can collect environment data of moving objects in any area through the 3G signal and control the behavior of distant moving objects to avoid collision. Meanwhile, the system which has broad application prospect is prototype of self-driving car, robot designed for dangerous mission and Mars exploration rover.

Race detection for Android applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DroidRacer. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 15 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DroidRacer is an effective tool to identify data races.

A type and effect system for activation flow of components in Android programs

This paper proposes a type and effect system for analyzing activation flow between components through intents in Android programs. The activation flow information is necessary for all Android analyses such as a secure information flow analysis for Android programs. We first design a formal semantics for a core of featherweight Android/Java, which can address interaction between components through intents. Based on the formal semantics, we design a type and effect system for analyzing activation flow between components and demonstrate the soundness of the system.

Reachability analysis of program variables

Reachability from a program variable v to a program variable w states that from v , it is possible to follow a path of memory locations that leads to the object bound to w . We present a new abstract domain for the static analysis of possible reachability between program variables or, equivalently, definite unreachability between them. This information is important for improving the precision of other static analyses, such as side-effects, field initialization, cyclicity and path-length analysis, as well as more complex analyses built upon them, such as nullness and termination analysis. We define and prove correct our reachability analysis for Java bytecode, defined as a constraint-based analysis, where the constraint is a graph whose nodes are the program points and whose arcs propagate reachability information in accordance to the abstract semantics of each bytecode instruction. For each program point p , our reachability analysis produces an overapproximation of the ordered pairs of variables 〈 v , w 〉 such that v might reach w at p . Seen the other way around, if a pair 〈 v , w 〉 is not present in the overapproximation at p , then v definitely does not reach w at p . We have implemented the analysis inside the Julia static analyzer. Our experiments of analysis of nontrivial Java and Android programs show the improvement of precision due to the presence of reachability information. Moreover, reachability analysis actually reduces the overall cost of nullness and termination analysis.

Intelligent multi-sensor control system based on innovative technology integration via ZigBee and Wi-Fi networks

Data transmission network integration is one of the most difficult problems to solve in wireless sensor network systems. ZigBee and Wi-Fi belong to different network protocols. If a network system must use both ZigBee and Wi-Fi at the same time to transmit data a considerable challenge is presented. This paper introduces a novel hardware method that integrates ZigBee and Wi-Fi. The proposed method is based on the Arduino wearable module ZigBee and Ethernet concept. This study builds an intelligent home appliance control system using the ZigBee network. This intelligent control system uses an integrated ZigBee and Wi-Fi network architecture in the house. Our study sends the ZigBee sensor messages to a cloud database through the TCP/IP protocol network containing the physical network and wireless network device lines. Control management access is achieved using smart phones. The proposed method is very simple and easy to implement using Arduino circuits. The effectiveness of the proposed method is verified by the simulation and experimental results. The hardware components include the Arduino controller, XBee Series 2 wireless communication module and end device sensors. The Android and Java programming languages are used to write the smart phone and Server recognition programs.

안드로이드 기반 공개키 암호를 위한 곱셈기 구현 및 분석

안드로이드 프로그램은 JAVA SDK로 제작되어 가상머신(virtual machine) 기반으로 동작한다. 따라서 기존의 C 언어에 비해 프로그램 작성은 편리해 졌지만 동작 속도는 떨어지는 단점이 있다. 이러한 단점을 보완하기 위해 안드로이드 상에서 C언어, 어셈블리 언어의 사용이 가능한 안드로이드 NDK가 제안되어 보다 효율적인 프로그램 작성이 가능하게 되었다. 이와 더불어 ARM에서 제공하는 NEON기능을 사용하면 벡터연산을 통해 성능을 향상 시킬 수 있다. 본 논문에서는 NDK의 효용성에 대해 알아보며 NEON기능을 이용한 향상된 곱셈구조를 제안한다. Android program is developed with JAVA SDK and executed over virtual machine. For this reason, programming is easier than traditional C language but performance of operating speed decreases. To enhance the performance, NDK development tool, which provides C language, assembly language environment, was proposed. Furthermore, with NEON function provided by ARM, we can utilize the vector operation and enhance performance. In the paper, we explore effectiveness of NDK and then propose advanced multiplication structure with NEON function.

Static analysis of Android programs

ContextAndroid is a programming language based on Java and an operating system for embedded and mobile devices, whose upper layers are written in the Android language itself. As a language, it features an extended event-based library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must consider such features, for correctness and precision. ObjectiveOur goal is to extend the Julia static analyzer, based on abstract interpretation, to perform formally correct analyses of Android programs. This article is an in-depth description of such an extension, of the difficulties that we faced and of the results that we obtained. MethodWe have extended the class analysis of the Julia analyzer, which lies at the heart of many other analyses, by considering some Android key specific features such as the potential existence of many entry points to a program and the inflation of graphical views from XML through reflection. We also have significantly improved the precision of the nullness analysis on Android programs. ResultsWe have analyzed with Julia most of the Android sample applications by Google and a few larger open-source programs. We have applied tens of static analyses, including classcast, dead code, nullness and termination analysis. Julia has found, automatically, bugs, flaws and inefficiencies both in the Google samples and in the open-source applications. ConclusionJulia is the first sound static analyzer for Android programs, based on a formal basis such as abstract interpretation. Our results show that it can analyze real third-party Android applications, without any user annotation of the code, yielding formally correct results in at most 7min and on standard hardware. Hence it is ready for a first industrial use.

A web-based course on Android programming for higher vocational students

The mobile internet is a new and fast developing industry, which requires a lot of talent. The computer major in vocational colleges faces the difficulty of recruiting students and a low employment rate of graduates. The solution is to establish new courses in line with the development of IT industry. Android programming is an important technology of the mobile internet. Constructing a web-based course can propagate this new technology to higher vocational students. After analysing the learning characteristics of higher vocational students and the course characteristics of Android programming, this article proposes a framework for the web-based course on Android programming for higher vocational students and discusses how to design the course content by applying project-based teaching. The course embodies personalised learning, project-oriented teaching, mutual aid learning, and mobile learning. The result shows that the course is useful for students to study Android programming and majority of the studen...