Development Of Real-time Embedded Systems Research Articles

Real time embedded system development for missile angular position acquisition through image processing

In recent days, our Indian nation moves towards “Make in India” and “Digital India” concepts. To make those concepts go live, the proposal aims at the development of an indigenous embedded system for the real time acquisition of the missile position when it is ready to be launched. The system to be developed will also communicate from the Missile Launch vehicle to the control center. It displays the position of the missile in addition to its video stream displayed on the operator’s console in control center. An extensive algorithm to calculate the angular position of the missile using the video streams captured from three different cameras will be formulated. The possibilities of real-time implementation will be explored and an extensive effort on developing a framework to implement using Field programmable Gate Arrays (FPGAs) will be carried out. The final outcome of this work will be the system on programmable chip (SoPC) implementation using FPGA for video streams, angular position display of the missile and Wireless communication between Missile launch vehicle and operator’s console in the Control center. This entire module will ensure the reliability of the angular position at which the missile has to be launched and also compactness can be achieved since the conventional computing systems will be replaced by FPGAs.

Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫

Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where counting time (i.e., durations) may play an important role in the development process. Focusing on the real-time constraints inherent to these systems, we present a framework that addresses the specification of duration properties for runtime verification by employing a fragment of metric temporal logic with durations. We also provide an overview of the framework, the synthesis tools, and the library to support monitoring properties for real-time systems developed in C++11. The results obtained provide clear evidence of the feasibility and advantages of employing a duration-sensitive formalism to increase the dependability of avionic controller systems such as the PX4 and the Ardupilot flight stacks.

A hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation

In this paper, we present a technology for integration of distributed real-time embedded systems (RTES) based on hardware-in-the-loop simulation. The environment to support this technology is described. This environment also enables simulation-based development of RTES software and evaluation of RTES architecture on early stages of RTES development.

The CAN microcluster

Most electrical engineering and computer science undergraduate programs include at least one course on microcontrollers and assembly language programming. Some departments offer legacy courses in C programming, but few include C programming from an embedded systems perspective, where it is still regularly used. Distributed computing and parallel processing are subjects generally reserved for graduate programs or specialized degrees. And although it is common to provide undergraduate courses on computer networks, the typical curriculum focuses on TCP/IP and Ethernet LANs, rarely venturing into the lesser known but commonly used networks such as the controller area network. By developing a computer cluster using simple microcontroller cards which communicate over a CAN, students are exposed to the intricacies of network communication, basic parallel and distributed processing concepts, and real-time embedded systems development. This paper presents the design of a <i<CAN Microcluster</i<, constructed using low-cost hardware components commonly available in ECE and CECS microcontroller laboratories. The software implementation is evaluated for both assembly language and C, and development issues are discussed.

AN APPROACH FOR DESIGNING REAL-TIME EMBEDDED SYSTEMS FROM RT-UML SPECIFICATIONS

The current work presents an API based on the Real-Time Specification for Java (RTSJ) that optimizes real-time embedded systems development. Using this API it is possible to state non-functional specifications, like time constraints, and guarantee its implementation in the selected platform. Moreover, it discusses how real-time requirements derived from the RT-UML standard can be mapped to the elements from the proposed API. An integrated toolset is used to support the intermediate steps of this mapping process. The paper illustrates the mapping mechanism by means of a case study that implements the control system of an automated wheelchair.