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.
We develop and describe some algorithms dedicated to people characteristic movement type detection using ultra wide band radar. Derived methods are implemented in real time system where breath detection and its basic parameters e.g. frequency and depth are estimated. We present also some crucial details of software implementation where we deal with radar signal acquisition and processing in real time...
Modern real-time embedded systems often require the capability of switching between operating modes to adapt in dynamically changing environments. The development of such real-time multi-modal systems fundamentally relies upon effective schedulability analysis. Recently, researchers have proposed serial schedulability analysis algorithms for multi-modal systems that account for mode changes at both...
To obtain the functional size of software and reduce measurement variance caused by the interpretations of individual measurers, a number of measurement procedureshave been designed based on measurement methods approved as international standards. To date, most of these procedures have targeted Management Information Systems software, while only a few were designed for real-time and reactiveembedded...
Real-time systems (RTS) have, as main characteristics, the need of satisfying time constraints while their behavior is executing. RTS are usually reactive, concurrent and deals with both synchronous and asynchronous events. Those properties end up making modeling a very important activity to enable the satisfaction of the requirements and timing constraints. This work shows a way of modeling soft...
UPPAAL is a model-checking tool primarily aimed for real-time and embedded systems in which timing plays an important role. It has existed for over 16 years and has become very popular among formal method scientists in academia. In recent years, licenses of the tool have also been offered and sold on commercial basis. In this paper, the characteristics of the tool, its domains of application, as well...
Course plotter is one of the main equipments of the ship navigation system. Presented a design of a new intelligent course plotter based on the integrated navigation theory and the conventional apparatus in this paper. The new system adopted the embedded architecture based on ARM, and the Linux real-time operating system was selected as the software platform, and use the Integrated Development Environment...
Modern power-electronic systems need real-time simulations with short frame times to minimize switch-timing errors. At ESTS'09 we reported using FPGAs to achieve frame times as low as 400nS. We also described a non-real-time implementation of a multi-rate benchmark of an unmanned underwater vehicle. Recent research has resulted in a real-time implementation of the UUV benchmark with hardware in the...
Discrete manufacturing (DM) refers to produce products in non-sequential processes so as to respond to market and customer requirements quickly under limited lead-time. However, in shop-floor management, DM companies usually confront challenges such as information gaps between different manufacturing units, slow responsiveness to customer changes, and poor visualization. The main reasons are lacking...
CARS (Computational Architecture for Reflective Systems) is a low-cost test bed for studying self-organization and real-time distributed behavior, using cars with on-board computers as autonomous agents, in an uncontrolled and largely unpredictable environment. This paper describes the software infrastructure for CARS, based on our Wrapping approach to knowledge-based integration. It allows us to...
The paper describes a new methodology developed for model calibration and simulation of water distribution networks, starting from real time monitoring of pressures and flows throughout the system. In particular, the data recorded at the measurement stations are transmitted via GPRS to a server, archived in Oracle format, and used by the numerical simulator. Model calibration is based on a genetic...
AUTOSAR (Automotive Open System Architecture) is enjoying increasing interest and broad acceptance in the automotive domain. AUTOSAR aims at defining an open standardized software architecture to face future challenges in automotive development including the development of time-critical systems (e.g. brake-by-wire or steer-by-wire). Mastering the development of such systems requires being able to...
On the basis of in-depth study of the relaying protections' free distribution characteristics in digital substation, a solution to cope with the transitional situation is proposed against the background of little technology maturation in primary apparatus and the communication on process level. A design method of relaying protection software based on VxWorks is provided, and the execution path, interrelations...
A new real-time collaborative design technology of cloud computing CAD system is introduced in this paper. By using the cloud computing CAD system with the new technology, multi-designer can do their design in one document at the same time, and exchange design data conveniently. A new document structure used in cloud computing CAD system is given. This is a multi-layer structure, and can be expanded...
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over 40% of device recalls. Testing remains the principal means of verification in the medical device certification regime. Traditional software test generation techniques, where the tests are generated independently of the operational environment, are not effective as the...
The partial reconfigurability of FPGAs allows real-time systems to adapt to changing application requirements. However, the additional time and power needed for partial reconfiguration as well as the sequential reconfiguration process degrade the overall system performance. This is considered as one of the main reasons for restricted use of partial reconfiguration technology. In addition, hardware...
In this paper, we propose a method for modeling and analysis of fault detection in real-time systems. This approach is based on the model of time petri net (TPN), which derives from the timing analysis of the TPN models with guarded transitions. With the reachability analysis of each mark of TPN model, some finite length of test sequences are generated through computing the shortest path from the...
Software validation is an attempt to ensure the product fulfills its specific intended purpose. Software validation is very important since software is widely embedded in devices, and these devices are ubiquitous in our daily life nowadays. As software is getting more complex, the software validation process is getting more complicated and time consuming. The study of software validation is therefore...
Research efforts have been gradually invested in online automatic business system health-checking in order to improve enterprise business capability in real-time. The paper proposes a service-based framework to automatically check the health situation of business execution in online way. Based on enterprise organizational behavior analysis, paper establishes collaborative health-checking system by...
Marine engine room's unmanned monitoring is the basic requirement for modern ship steering and control. The definition, developmental trend and the monitoring requirements of unmanned marine engine room are introduced. Take a practical application in the marine engine room as an example; the components of the unmanned monitoring system are analyzed. The design procedure and key technology of monitoring...
Time synchronization is one of the key points in distributed real-time computer system. At first, a time synchronization method under 1PPS signal is put forth. Secondly, two kinds of relevant synthetic disturbance are analyzed, and time synchronization logic is studied to cope with the disturbance. Arena software is chosen to model and simulate the time synchronization procedure. At last, the whole...
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.