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.
A huge amount of source code is written everyday for different languages and various platforms. It is necessary that the code written is efficient and optimized in terms of various parameters including hardware utilization, maintainability, testability, reusability, portability, understandability and simplicity etc. This paper proposes a weight based approach for measuring quality of a source code...
Model Based Systems Engineering (MBSE) is seeing increased application in planning and design of NASA's missions. This suggests the question: what will be the corresponding practice of Model Based Mission Assurance (MBMA)? Contemporaneously, NASA's Office of Safety and Mission Assurance (OSMA) is evaluating a new objectives-based approach to standards to ensure that the Safety and Mission Assurance...
The traditional static fault tree cannot capture the dynamic behavior of system fault mechanisms, so the dynamic fault tree has become one research hot spot now. Many scholars focus on the research of using the dynamic fault tree model and analyze for dynamic behavior of system fault mechanisms. However, in their studies they generally separate the software and hardware and analyze independently....
We present a first of its kind framework which overcomes a major challenge in the design of digital systems that are resilient to reliability failures: achieve desired resilience targets at minimal costs (energy, power, execution time, area) by combining resilience techniques across various layers of the system stack (circuit, logic, architecture, software, algorithm). This is also referred to as...
This paper presents a method to automate the generation of test cases from the UML activity diagram representing a process flow. The Fault Tree Diagram (FTD) and the Success Tree Diagram (STD) can be derived from condition-classification tree model. FTD and STD can then be used to facilitate the generation of test cases for functionality and reliability testing by using Fault Tree Analysis method.
Using internet of things (IoT) to connect things, service, and people for intelligent operations has been discussed and deployed in many industry domains such as smart city, smart energy, healthcare, food and water tracking, logistics and retail, and transportation. However, scarce information is available for IoT usage in industrial automation domain for reliable and collaborative automation with...
Internal and external factors that influence reliability of CPSs are analyzed in this paper. A strategy for reliability testing and evaluation of CPSs is put forward in the consideration of these factors, including the technology framework and processes. The main work comprises the testing and evaluation of component reliability covering hardware, software, and architecture, as well as the performance...
Automated Teller Machine (ATM) is an extremely popular and trusted global technology which is at the forefront of modern financial and retail-based economies; there is a need to ensure the reliable and secure performance of an ATM in the modern banking system. As the Presenter is the main transporting system in an ATM cash Dispenser, the module performance is tracked from the field. The main objective...
There are some limitations when analyzing and studying Internetware by using traditional software reliability theory and method which is not adaptive to the open, dynamic and changeable network environment. Based on the basic principle, the characteristics and the analysis of Internetware, the theory and the technology of Internetware reliability are innovated and developed. The research status, the...
Software piracy worldwide has resulted in serious industrial, academic and economic consequences. However, the problem can be solved if the root causes can be identified. Personality traits are said to be an effective positive influence on unethical behaviour. For this reason, personality traits could be a predictor for software piracy. This study investigates personality traits as a factor in students...
The proverbial question of how to increase the life of an ATE system for another 10 or 20 years is echoed in program meetings across the Aerospace industry daily. The fact is that the life spans for test and measurement equipment are undoubtedly expected to last longer than any other part of a program, even sometimes longer than the suppliers themselves or the employment of many technicians. The cost...
In future computer systems, we will need to increase the utilization ratio of existing hardware and software modules to achieve the desired efficiency of maximum speed, minimum power usage, and improved reliability. In typical hardware and software modules, once the inputs of the system are ready, the final values of the outputs become available after a certain amount of time (called execution time...
In recent years, military computers have been widely used by ASELSAN. Flexible backplanes which have backplane connectors on one end (VPX or CPCI) and military connectors on the other end are used as part of the military computers along with processor boards, Input/Output boards, communication boards etc. To meet the requirements of various projects, backplanes with different form factors (3U, 6U...
The use of Remedial Action Scheme(s) (RAS) is an economic means to facilitate the interconnection of renewable generation while supporting the reliable operation of the transmission system. With the increasing prevalence of RAS on the system, automatic modeling is imperative in order to accurately capture the potential impacts and interaction between these schemes. Within the Western United States,...
The diversity, continuous expansion and the large number of smart grid resources increase the complexity of such systems and arise the need to find a new way to manage these resources and, at the same time, reduce the complexity in the control and monitoring operations. Moreover, smart grid Systems are considered critical systems requiring reliable and real time data delivery and an efficient, flexible,...
One of the main challenges of distribution companies in the electricity market, the costs imposed on them by outages in the distribution of electrical energy and energy not supplied (ENS). One way to reduce the ENS costs is switching for reconfiguration the distribution network and thus reduce the time of the outages. Something that has been discussed in this article. The proposed method by case study...
Organizational identification is a perception that individual is consistent with the organization. The purpose of this paper was to explore the status of university teachers' organizational identification and the influencing factors by applying the computational statistics software SPSS19.0 to analyze the data. Method: 535 university teachers were investigated with two questionnaires and the data...
Teaching quality value is the key point in valuing teaching quality in universities. This paper introduces the model design and evaluation index, web design and work flow, etc, and it is combined with Teaching Evaluation System (TES) of the Yuxi Normal University. It can remedy the defects in traditional teaching evaluation. Now the TES has been adopted in practice and the results show that it can...
This paper presents a field experimentation and demonstration addressing serverless information services that provide both group messaging with ordering guarantees and robust file/media object sharing in a tactical edge communication environment. These serverless information services constitute the main functional components of our real time image and ordered annotation sharing application, called...
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.