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.
Estimation of bus travel time is one of crucial issues for passengers to let them know their departure time and arrival time at the destination, and to reduce their waiting time at the bus stop. Furthermore, it can also help to promote the development of city public transportation. To estimate bus travel time, it is worth of knowing whether target routes for passenger's travel is unstable or not,...
Mixed-criticality is a significant recent trend in the embedded system industry, where common computing platforms are utilized to host functionalities of varying criticality levels. To date, most scheduling techniques have focused on the timing aspect of this problem, while functional safety (i.e. fault-tolerance) is often neglected. This paper presents design methodologies to guarantee both safety...
This paper presents a simple method for detection of commutation instants of the extensively used low power brushless DC motors. In the proposed method the commutation signals are obtained without any phase shift circuit which is required in the conventional sensorless control methods. So the overall cost is decreased and the sensorless control is easy to be implemented. In the proposed method, instead...
In this paper we introduce and verify our Automated Covert Channel Modeling (ACCM) framework for evaluating and modeling covert channel algorithms. This work continues our efforts we reported at MILCOM 2013. Our ACCM framework is defined based on two different use cases: ACCM-Sim is designed to model covert channel algorithms in a simulation environment, whereas our ACCM-Net can be utilized to evaluate...
Safety-Critical systems, as used in the automotive, avionics, or aerospace domains, are becoming increasingly software-reliant to the extent that the system cannot function without the software. On one hand the software system provides an integrated set of functionality to operate the system and manage failure and unsafe conditions. Current best safety engineering practices, such as DO178B/C or SAE...
Whereas a software component may be perfectly suited to one application, it may prove to cause severe faults in other applications. The pre-standard IEC/PAS 62814 (Dependability of Software Products Containing Reusable Components - Guidance for Functionality and Tests), which has recently been released, addresses the functionality, testing, and dependability of software components to be reused and...
The Department of Electronic Engineering of Beijing Institute of Technology is integrating emerging interconnect technologies with other high-performance technologies to meet the demanding requirement of future, real-time signal processing applications. For next-generation, scalable, modular and adaptable signal-processing system, a universal, flexible and high-performance signal processing module...
This paper describes the Layer of Protection Analysis (LOPA) method for determining the needed SIL (Safety Integrity Level) of a SIS (Safety Instrumented System). The paper also shows the relationship of LOPA to other analysis methods for safety system requirements. Building on the CCPS (Center for Chemical Process Safety) Guidelines for Safe Automation of Chemical Processes, this paper shows how...
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.