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.
The system configuration is an import aspect of Integrated Modular Avionics systems. These IMA blueprints are configured based on ASSAC and ARINC653 standards by analyzing all the requirements. Application requirements, such as required memory, communication, period, deadline and execution time, are stipulated in the blueprint. Hardware resources are also described in the blueprint. Moreover, the...
The study of multiple faults is becoming a hot spot. In the large software program, Multiple faults may interact with each other in some ways. In this paper, we investigated the property of multi-faults through the method of fault-injection in Siemens suits. Inspired by previous research, we focused our attention on three types of fault interaction: independent faults; faults masking; faults construction...
Although there have lots of studies on using static code attributes to identify defective software modules, there still have many challenges. For instance, it is difficult to implement the Apriori-type algorithm to predict defects by learning from an imbalanced dataset. For more accurate and understandable defect prediction, a novel approach based on class-association rules algorithm is proposed....
The integrated avionics system is a platform that integrates a series of flexible, reusable, interoperable hardware and software resources. It enables to implement the decoupled isolation of task software and physical resources under the premise of versatility of hardware resources and configuration of system applications, which can meet the requirements of software system updates and task changes...
Many accidents occurred frequently in aerospace applications, traditional software reliability analysis methods are not enough for modern flight control software. Developing a comprehensive, effective and intelligent method for software fault diagnosis is urgent for airborne software engineering. Under this background, we constructed a fault diagnosis expert system for flight control software which...
Graphical user interface (GUI) is an important feature of current software, and testing for GUI is considered as the most efficient method to guarantee the quality of GUI. It is consensus that in industry and academia automated GUI testing approach and tool have been a great help in reducing time and cost in testing, especially regression testing. However, almost all existing automated GUI testing...
The fast path, as the cache of exact-match rules in the slow path, is applied in software-based OpenFlow switches to improve the forwarding performance. A microflow in the fast path is the specification of its corresponding rules in the slow path, i.e., every field is explicit in a microflow. A rule can generate multiple microflows in the fast path, and a microflow can be generated from multiple rules...
In this paper, an electromagnetic transient (EMT) simulation model of multi-microgrid system is established in PowerFactory software for power quality study. The system structure and basic elements in the simulation model are firstly introduced, as well as the control algorithm for distributed generations (DGs). Typical operation scenarios of microgrids are then proposed, in which power quality issues...
Expert systems are widely used for software fault diagnosis. Knowledge in these Expert Systems could be learned from different ways, such as human expert, machine learning and etc‥ The scale of the knowledge is increasing quickly, due to the development of testing tools and techniques. However, it is a big challenge to integrate the knowledge from different sources. In this paper, a novel knowledge...
With the increasing popularity of cloud services, attacks on the cloud infrastructure also increase dramatically. Especially, how to monitor the integrity of cloud execution environments is still a difficult task. In this paper, a real-time dynamic integrity validation (DIV) framework is proposed to monitor the integrity of virtual machine based execution environments in the cloud. DIV can detect...
By exploring different granularities of data-level and task-level parallelism, we map 16 implementations of an Advanced Encryption Standard (AES) cipher with both online and offline key expansion on a fine-grained many-core system. The smallest design utilizes only six cores for offline key expansion and eight cores for online key expansion, while the largest requires 107 and 137 cores, respectively...
To verify the Built-in-test (BIT) in the avionics system, a MIL_STD_1553B (1553B for short) bus fault injection device under VxWorks was designed and implemented. The fault injection device was the core of the bus fault injection system. A method for 1553B bus fault injection was proposed by analyzing the characteristics of 1553B message transmission. On the basis of the research on the framework...
Mathematics model is usually used in Hardware-In-Loop simulation testing in engineering. In order to improve the limitation of this technology, we utilize the working environment simulation modeling, the real-time test script technology and the data-playback technology to propose a portable data-playback based Hardware-In-Loop simulation testing platform technology for reactive system. It could contain...
Artificial intelligence (AI) is attractive for safety critical fields. However, there have been few success cases, for the AI technique is usually lack of determinism and predictability, which is usually regarded as a disqualifier in a safety on text. Increased researches and supererogatory efforts are providing to incorporate AI into the safety-critical systems in recent years. In this paper, we...
The existence of malicious service provider could damage the correctness and availability of e-commerce systems based on web service. So a new authentic trust model for web service e-commerce is present in this paper. It says that the trust for web service e-commerce is comprised of the trust degree of service business and the trust degree of customer evaluation. During trust degree computing, service...
With the rapid development of ubiquitous computing technology, software is widely used in the intelligent mobile terminals. How to improve the intelligent mobile terminal software quality is one of the hot topics in embedded software testing field. Combined with the developed intelligent mobile terminal software automatic testing environment, the intelligent mobile terminal software testing script...
Because the number of affecting factor is very large and the correlation of factors may impact the precision of measurement result, rough set theory is introduced in the process of software testability measurement. The attribute reduction method is used to reduce the set of affecting factor because it can eliminate the attribute that cannot affect the decision according to the interrelation between...
With the existing fault injection techniques, many faults that can fully expose testability design defects can not be injected. To solve this problem, a method of fault equivalent analysis is proposed. By this means, some characteristics are extracted from the faults those unable to be injected, and ldquoyield analysisrdquo or ldquoyielded analysisrdquo is performed. Then the minimal cut sets of atom...
Application of existing architecture-based software reliability models is strictly limited to software in which the component transitions satisfy the Markov properties. When software has both deterministic and probabilistic behaviors, these models intentionally model it as a Markov process, of which estimation of reliability with poor accuracy come as a result. The objective of this paper is to present...
Failure modes and effects analysis (FMEA) and fault tree analysis (FTA) are two effective fault analysis technologies and the integration of them is also applied widely in many industry domains. But when they are used for fault diagnosis, the ability of inference is not very enough and especially they are not suitable to use the fault related symptoms to do some posterior inference. To solve this...
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.