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.
With the process of non-functional properties research on real-time systems, resource estimation and analysis of real-time systems become a hotspot. Process Algebra is a formal method fitting for analyzing the functional properties of real-time systems, but it can not analyze the resource properties. Resource Timed Process Algebra (RTPA) proposed in this paper can handle it efficiently by extending...
In this paper, we present a scalable implementation of a topic modeling (Adaptive Link-IPLSA) based method for online event analysis, which summarize the gist of massive amount of changing tweets and enable users to explore the temporal trends in topics. This model also can simultaneously maintain the continuity of the latent semantics to better capture the time line development of events. With the...
Component-Based Development (CBD) reduces development time and effort by allowing systems to be built from pre-developed reusable components. Partitioning the behavior into a set of major operational modes is a classical approach to reduce complexity of embedded systems design and execution. In supporting system modes in CBD, a key issue is seamless composition of pre-developed multi-mode components...
Ability to follow and track a person robustly is an essential prerequisite for human-robot-interaction. Such capability has desires, which cannot be met pleasingly using conventional numerical process. Most rigorously, the robot has to stay at a certain safe distance as of the person that is being tracked and concurrently be in motion smoothly which does not seem to be scary to the person. In this...
Model-based design of embedded systems using Synchronous Reactive (SR) models is among the best practices for software development in the automotive and aeronautics industry. The correct implementation of an SR model must guarantee the synchronous assumption, that is, all the system reactions complete before the next event. This assumption can be verified using schedulability analysis, but the analysis...
Designing and building embedded systems is a challenging problem. Designers must ensure that the software architecture meets its functional requirements and also, since embedded systems often have real-time constraints, meets its performance requirements. It is usually difficult to determine whether or not the embedded system designs will meet functional and performance requirements. To help increase...
Human-intensive cyber-physical systems involve software applications and hardware devices, but also depend upon the expertise of human participants to achieve their goal. In this paper. we describe a project we have started to improve the effectiveness of such systems by providing Smart Checklists to support and guide human participants in carrying out their tasks, including their interactions with...
DC microgrids are suitable for a local area power system which includes dc output distributed generations, batteries and dc loads. In this paper, we propose an analysis method for a dc microgrid using hardware-in-the-loop simulation (HILS). In this case, a fast response bidirectional dc voltage source is essential for high accuracy analysis. We developed the bidirectional dc source, and installed...
This paper highlights the shortcomings of existing hospital information systems and proposes a location, identification and communication system that is able to overcome some of the inadequacies of existing systems and significantly improve the efficiency and throughput of the various units of the hospital setup. The system is based on RFID and wireless sensor network-based location and information...
AADL (Architecture Analysis Design Language) is a standardized and hierarchical modeling language which contributes to designing and analyzing architectures of both software and hardware of Embedded Real-Time Systems. However, the problems of AADL models are unenforceability and the absence of formal semantics, which limit formal analysis of attributes in AADL models. This paper proposes an approach...
Application Specific Instructions-set Processors (ASIPs) are needed to handle the future demand of flexible and high performance computation in parallel real-time computing domain. Current ASIP design methodologies are mostly based on the accurate understanding of application source codes. Profilers can automatically analyse source codes and get interesting information from them to aid processor architecture...
Safety-critical real-time applications are typically subject to stringent timing constraints which are dictated by the surrounding physical environments. Specifically, tasks in these applications need to finish their execution before given deadlines, otherwise the system is deemed unsafe. It is therefore important to test real-time systems for deadline misses. In this paper, we present a strategy...
Inspired by work on model-based design of printers, the notion of a parametrized partial order (PPO) was introduced recently. PPOs are a simple extension of partial orders, expressive enough to compactly represent large task graphs with repetitive behavior. We present a translation of the PPO subclass to timed automata and prove that the transition system induced by the Uppaal models is isomorphic...
Controller automata, adopting an unbounded stack, provide sequential execution of a group of timed automata according to various priority policies. When a preemption between two processes is considered, a time lag function is used to transform a timed automaton into one that waits a certain time when preempted by another timed automaton. This paper proposes a static algorithm for timed lag by cloning...
In this paper, a comparative study between two speech coders have been reported, considering their performances in simulation and in real-time. The speech coders taken for study are Linear Predictive Coder (LPC) and Cepstral coder. The simulation models are made on SIMULINK® and the real-time models are implemented on TMS320C6713® DSK. For simulation, a comparison between synthesized speech signals...
Abstract-The line loss of power system is an important economic indicator in the operation of power system.The analysis method of line loss for planning grid is developed. The data of system are taken from EMS. After getting data from EMS, state estimation will be carried out periodically. The feature program is that it can analyze the line loss for planning grid in the corresponding period.The program...
This paper describes INFUSION, a system for the evaluation of situations and threats in simulated military scenarios and for scenario projection, in order to support the decision making process in strategic and tactical context. The system deals with fuzzy variables that model information acquired from the on-going scenario; it adopts the Evidence Theory approach to fuse information and classify situations;...
We describe a new capability for "owners" of protected data to quickly and securely share real time data among networked decision-support and real-time control devices with whom the "owners" of the data have explicitly decided to "share the data. The service is based upon implementation of a recent formal definition and mathematical result (James et al. 2009) derived from...
This paper develops a framework to analyze the latency and delay composition of workflows in a real-time networked aggregation system. These workflows are characterized by different sensor inputs that are processed along parallel branches that eventually merge or fuse to compute the aggregation result. The results for each flow must be produced within certain end-to-end deadlines or else the information...
If you talk to a control theorist today about the road to achieve an efficient, reliable, and affordable electricity supply you will most likely be told that real-time prices will be a part of its realization. Perhaps this is true. However, we argue that appropriate design using economic models that can capture the emerging physical realities is a key requirement for achieving a reliable, and “smart”...
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.