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.
As model-driven development methods attract intensive attention, how to effectively analyze the reliability of software developed by these methods becomes a hot topic, the same as how to ensure high reliability of this software. To estimate reliability accurately in the developing phase, a model-based software reliability analysis approach is proposed. Firstly, a general model-based software reliability...
This paper proposes a model-based software safety analysis method for flight control software. Firstly, the AADL architecture model and error model of flight control software are constructed separately. Then we convert the AADL model of flight control software into extended Markov chain model. We can evaluate safety of software component by calculate the probability of component state in different...
The femto cellular technology is observed to be quite promising for mobile operators as it improves their network coverage and capacity at the outskirts of the macro cell. In this paper, we have developed an analytical model for channel allocation in macro/femto-cell based BWA (Broadband Wireless Access) networks using Continuous Time Markov Chain (CTMC). The focus of the work is to analyze various...
As real-time systems are becoming more and more complicated, how to analyze and evaluate system dependability indices at the early stage of system development, such as reliability, availability and safety, is a crucial means of guaranteeing the usability of the developed systems. Dealing with this problem, a method of modeling and analyzing the system dependability using AADL (Architecture Analysis...
This paper summarizes an approach to using DoDAF to create executable architecture environments. The use of DoDAF to create four types of common executables models is summarized. These modeling types include Markov Chains, Petri Nets, System Dynamics models, and Mathematical graphs. Some aspects of the framework are demonstrated using a suppression of enemy air defenses scenario.
We propose an event driven semi-Markov chain model for dual radio node architecture. The performance of proposed architecture in terms of energy-latency tradeoff is compared with that of schedule based dual radio architecture. Numerical results show the usefulness of event driven dual radio architecture for delay sensitive data transmission.
Content-centric networking proposals, as Parc's CCN, have recently emerged to define new network architectures where content, and not its location, becomes the core of the communication model. These new paradigms push data storage and delivery at network layer and are designed to better deal with current Internet usage, mainly centered around content dissemination and retrieval. In this paper, we...
Ambient Assisted Living (AAL) investigates the development of systems involving the use of different types of sensors, which monitor activities and vital signs of lonely elderly people in order to detect emergency situations or deviations from desirable medical patterns. Differently from the state-of-the-art of 'push-buttons', AAL solutions need to provide high accuracy and proactive responses, 'perceiving'...
One of the major problems associated with integrating multiple cores on a single chip is the performance demand it places on the interconnect system because of the combined traffic generated by multiple simultaneously executing threads. In this paper, we analyze interconnect compression potential in the two primary types of information - instructions and data - and important interconnect components...
Recently, Long-Term Evolution or LTE for 3G has been introduced to improve service provisioning for mobile network subscribers. This service improvement includes improvements in setup delay and data rates in different services. In this paper, one of the existing architectures, proposed for LTE, is evaluated. Then, probable faults in this architecture and their impacts on network services are investigated...
There are working, fail-safe and fail-dangerous states in safety-critical manufacture systems. This paper presents three typical safety-critical manufacture system architecture models: series, parallel and series-parallel system, whose components lifetime distributions are general forms. Also the reliability related indices, such as the probabilities that the system in these states and the mean times...
As Architecture Analyze and Design Language (AADL) becomes a popular software development methodology for avionic embedded system, it is one of hot issues to ensure the quality of software which is based on models. This article studies on model-based testing (MBT) focusing on software architecture under testing which constructed with AADL, and an algorithm is proposed to carry out model-based testing...
In this paper, an effective relay based load balancing scheme, employing traffic transferring and channel borrowing, is presented for two-hop cellular relaying networks. In the proposed scheme, each relay station is allocated a set of real-time traffic channels so as to perform call relaying from a congested cell to another non-congested cell. Moreover, owing to the limited capacity of each relay...
The modern-day system-on-chip communication posses complex characteristics- (a) the communication times of individual transactions are difficult to predict, (b) concurrent communication techniques are employed to meet the performance of emerging applications, and (c) communication is hierarchical. Thus, performance of communication architecture plays major role in determining the performance of the...
Acoustic sensor networks can provide rich multimedia information, which doubtlessly benefit a plethora of data hungry applications such as environment monitoring, health care, emergency response, and security surveillance. In this paper, we study the data unit delivery process of cluster head by developing a discrete-time Markov chain model and a M/G/1 queue model, based on a single-hop cluster-based...
A new architecture of two-hop-relay variable-rate cellular system was introduced, and the analytical model of this system was built. Then based on this model, we get the average downlink throughput and the call blocking probability of the system respectively. Finally, through numerical calculation, we analyze the impact of the various parameters on the performance of the two-hop-relay variable-rate...
This paper constructs a model for studying the energy efficiency of sensor node architectures featuring a pair of low-end, low-power processor and radio and a pair of high-end, energy efficient processor and radio. Such nodes can have a highly dynamic range of operation ranging from the collection of simple temperature measurements or motion detection all the way up to sophisticated signal processing...
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.