The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Unmanned Aerial Vehicles (UAVs) are remotely piloted or self-piloted aircraft that are capable of flight without any on-board operator and can carry cameras, sensors, communications equipment or other payloads. UAVs have been used in a reconnaissance and intelligence-gathering role, including combat and rescue missions. This paper describes development and implementation of remote manual control system...
Embedded hard real-time systems that are based on software product lines using dynamically derivable variants are prone to over estimations in static WCET analyses. This is due to the fact that infeasible paths in the code resulting from infeasible variant combinations are unknown to the analysis. This paper presents an approach to incorporate variant constraints in the calculation to exclude infeasible...
AADL (Architectural Analysis & Design Language) is an architecture description language standard for embedded real-time systems, and it is widely used in aerospace and other safety-critical applications. However, the AADL standard lacks at present a formal semantics. This paper proposes a formal semantics and a verification framework of AADL models with regard to mode change. The precise semantics...
In this paper, an efficient control system development method based on real-time virtual hardware-in-the-loop simulation is presented. Instead of developing and testing control system after physical prototype is produced, it can be conducted immediately after concept of controlled system is designed by developing a pure software real-time simulator. In this simulator, all the hardware is virtual....
The potential of applying search-based testing principles to functional testing has been demonstrated in various cases. The focus was mainly on simulating the system under test using a model or compiled source code in order to evaluate test cases. However, in many cases only the final hardware unit is available for testing. This research presents an approach in which evolutionary functional testing...
System-on-chips (SoCs) for modern embedded systems are becoming more and more complex, together with the short time to market demand are challenging the current hardware and software development methodology, which has been driving recent ESL methodology development in the industry. In this paper, we introduce a SystemC virtual platform for early software development. A sub-system of the virtual platform...
Ambient computing is one of the more significant recent advances in computer-human interactions. With the ambient intelligence paradigm, computers become embedded in our natural surroundings. As they are context sensitive and adaptable, they better provide smart services to humans. But ambient computing requires communication between several heterogeneous components that are not supposed to communicate...
Bosch has established Component Based Software Development (CBSD) for automotive systems, which are resource constrained real-time embedded systems such as engine control systems. Classical CBSD approaches enable effective software reuse mainly in functional aspects by managing complexity with abstraction and encapsulation. However, to fully exploit the advantages of CBSD for real-time embedded systems,...
The purpose of the presented system is to recognize the user's voice which is then converted into system recognizable commands. The system connects to the Internet and uses the commands to navigate through the Internet. In doing so, it reads back news from various Websites to the user through a speaker. The system is designed to use natural language processing, meaning the user is able to converse...
EVM (evaluation module) has become an important and useful tool both in developing embedded systems and in teaching course modules which cover embedded system programming. However, an EVM with the configuration suitable for the diversity in embedded system programming is usually quite expensive such that setting up a laboratory for students to practice programming embedded system sums a large amount...
The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with other IP components, they suffer from the complicated bus protocol and IP conflict problems. This paper proposes a automatic method to verify the microprocessor external interrupt behaviors on the OCB. The verification approach...
In this paper a BISR architecture for embedded memories is presented. The proposed scheme utilises a multiple bank cache-like memory for repairs. Statistical analysis is used for minimisation of the total resources required to achieve a very high fault coverage. Simulation results show that the proposed BISR scheme is characterised by high efficiency and low area overhead, even for high defect densities...
This paper describes how we can use existing mobile technology to track the vehicle. Here the embedded system along with the mobile is used to prevent the vehicle from being stolen and also if the vehicle is stolen then its location can be tracked. Mobile technology is the fastest growing communication mode. In todaypsilas mobile technology we all are acquainted with short message service (SMS). In...
In this paper we present a component model for development of distributed real-time systems. The model is developed to support development of embedded control systems for ground vehicles. The model aims at supporting three important activities in real-time development, (i) design, (ii) analysis and (iii) synthesis. These activities emphasise different and sometimes conflicting requirements that need...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.