Beagleboard Embedded System for Adaptive Traffic Light Control System with Camera Sensor

Traffic is one of the most important aspects in human daily life because traffic affects smoothness of capital flows, logistics, and other community activities. Without appropriate traffic light control system, possibility of traffic congestion will be very high and hinder people’s life in urban areas. Adaptive traffic light control system can be used to solve traffic congestions in an intersection because it can adaptively change the durations of green light each lane in an intersection depend on traffic density. The proposed adaptive traffic light control system prototype uses Beagleboard-xM, CCTV camera, and AVR microcontrollers. We use computer vision technique to obtain information on traffic density combining Viola-Jones method with Kalman Filter method. To calculate traffic light time of each traffic light in intersection, we use Distributed Constraint Satisfaction Problem (DCSP). From implementations and experiments results, we conclude that BeagleBoard-xM can be used as main engine of adaptive traffic light control system with 91.735% average counting rate. Lalu intas adalah salah satu aspek yang paling penting dalam kehidupan sehari-hari manusia karena lalu lintas memengaruhi kelancaran arus modal, logistik, dan kegiatan masyarakat lainnya. Tanpa sistem kontrol lampu lalu lintas yang memadai, kemungkinan kemacetan lalu lintas akan sangat tinggi dan menghambat kehidupan masyarakat di perkotaan. Sistem kontrol lampu lalu lintas adaptif dapat digunakan untuk memecahkan kemacetan lalu lintas di persimpangan karena dapat mengubah durasi lampu hijau di setiap persimpangan jalan tergantung pada kepadatan lalu lintas. Prototipe sistem kontrol lampu lalu lintas menggunakan BeagleBoard-XM, kamera CCTV, dan mikrokontroler AVR. Peneliti menggunakan teknik computer vision untuk mendapatkan informasi tentang kepadatan lalu lintas dengan menggabungkan metode Viola-Jones dan metode Filter Kalman. Untuk menghitung waktu setiap lampu lalu lintas di persimpangan, peneliti menggunakan Distributed Constraint Satisfaction Problem (DCSP). Dari hasil implementasi dan percobaan dapat disimpulkan bahwa BeagleBoard-XM dapat digunakan sebagai mesin utama sistem kontrol lampu lalu lintas adaptif dengan tingkat akurasi penghitungan rata-rata sebesar 91.735%

Model checking embedded system designs

We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues

Penerapan Embedded System pada Sistem Pintar Pengendali Multi Perangkat dalam Kelas Berbasis Intel Galileo dan Web

Smart systems are widely used in smart building, smart home, smart car, smart class, and others. The smart system in this paper is the result of research, exploit module microcontroller Intel Galileo technology and the Internet of Things (IoT) as a controller, which controlled devices connected to the system remote control from a web-based accessible via smart devices (smartphones, tablets, and laptops). Intel Galileo is a microcontroller module that combines a mini computer and Arduino is open source and supports IOT technology and the web. Web selection as a remote control in this research to facilitate system users to be able to control the system remotely by using the existing browsers on smart devices although the operating system is different. The devices controlled in this system are the LED (on-off automatically and setting the intensity of light), air conditioning (on-off automatically, temperature settings), a projector (on-off), and the IP camera (moved up, down, left and right) to monitor the room. All controlled embedded devices to facilitate the control and effective use of smart controllers resulting in a centralized system for multi-devices in the classroom to realize the smart class

Interactions around a contextually embedded system

This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-like viewer and a barrier-free screen, shaped visitor experiences and interactions around and with the system. The analysis investigates contextual embedding, and how the two system variants affected people's ability of sharing the experience and negotiating use

Control of the weakly damped System with the embedded system support

This paper deals with the experimental verification of the importance of embedded systems with an applied MEMS sensor in controlling weakly damped systems. The aim is to suppress actively residual oscillations. The model of a planar physical pendulum with a prismatic joint was chosen for the experiment. The sensor made by MEMS technology, in which three-axis gyroscope and three-axis accelerometer are integrated, has been used for sensing the angle of deflection of the load from the equilibrium position. The simulation model represents the crane arm with a moving carriag

The Exchange Value Embedded In A Transport System

This paper shows that a well designed transport system has an embedded exchange value by serving as a market for potential exchange between consumers. Under suitable conditions, one can improve the welfare of consumers in the system simply by allowing some exchange of goods between consumers during transportation without incurring additional transportation costs. We propose an explicit valuation formula to measure this exchange value for a given compatible transport system. This value is always nonnegative and bounded from above. Criteria based on transport structures, preferences and prices are provided to determine the existence of a positive exchange value. Finally, we study a new optimal transport problem with an objective taking into account of both transportation cost and exchange value.Comment: 20 pages, 6 figure

XinuPi3: Teaching Multicore Concepts Using Embedded Xinu

As computer platforms become more advanced, the need to teach advanced computing concepts grows accordingly. This paper addresses one such need by presenting XinuPi3, a port of the lightweight instructional operating system Embedded Xinu to the Raspberry Pi 3. The Raspberry Pi 3 improves upon previous generations of inexpensive, credit card-sized computers by including a quad-core, ARM-based processor, opening the door for educators to demonstrate essential aspects of modern computing like inter-core communication and genuine concurrency. Embedded Xinu has proven to be an effective teaching tool for demonstrating low-level concepts on single-core platforms, and it is currently used to teach a range of systems courses at multiple universities. As of this writing, no other bare metal educational operating system supports multicore computing. XinuPi3 provides a suitable learning environment for beginners on genuinely concurrent hardware. This paper provides an overview of the key features of the XinuPi3 system, as well as the novel embedded system education experiences it makes possible