scholarly journals Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded Systems

Electronics ◽  
2020 ◽  
Vol 9 (5) ◽  
pp. 797 ◽  
Author(s):  
Bongjoo Koo ◽  
Jungho Bae ◽  
Seogbong Kim ◽  
Kangmin Park ◽  
Hyungshin Kim
Keyword(s):  
Embedded Systems ◽  
Software Testing ◽  
Software Reliability ◽  
Test Case ◽  
Testing Time ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Implementation Under Test ◽  
Finite State

Finite-state machines (FSMs) and the W method have been widely used in software testing. However, the W method fails to detect post-processing errors in the implementation under test (IUT) because it ends testing when it encounters a previously visited state. To alleviate this issue, we propose an enhanced fault-detection W method. The proposed method does not stop the test, even if it has reached a previously visited state; it continues to test and check the points that the W method misses. Through various case studies, we demonstrated software testing using the W method and the proposed method. From the results, it can be inferred that the proposed method can more explicitly determine the consistency between design and implementation, and it is a better option for testing larger software. Unfortunately, the testing time of the proposed method is approximately 1.4 times longer than that of the W method because of the added paths. However, our method is more appropriate than the W method for software testing in safety-critical systems, even if this method is time consuming. This is because the error-free characteristics of a safety-critical system are more important than anything else. As a result, our method can be used to increase software reliability in safety-critical embedded systems.

scholarly journals Implementing Syntax Evolution of Embedded Systems

2015 ◽  
Vol 5 (6) ◽  
pp. 1525
Author(s):  
Sasi Bhanu Jammalamadaka ◽  
Vinaya Babu A ◽  
Trimurthy P
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Critical Systems ◽  
Internet Communication ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
Remote Locations ◽  
Safety Critical Systems ◽  
The Embedded System

<p>Safety critical systems such as nuclear recator systems cannot be shutdown as restrating is a huge process and incurs heavy cost.  The embedded systems which are used for monitoring and controlling the safety critival systems cannot be shut down as well. ES systems which drives safety critical systems must be communicated from remote locations generally through a HOST connected on to Internet. Communication between the HOST and ES system is done using commnd lanaguage which has to be evolved from time to time.  The chnage to the commnd lanauage must be undertaken while the embedded system is up and running, the evolution thus must be dynamic. Many architetcuers have been propsoed in the lieteratuer for evolving  synatx of command lanaguage.The implemntaion of effcient architetcuer as such has not been found in the literatuer without which existing architetcuer as such has no menaing.</p><p>The paper presntes a set of methods using which the syntax evolution of embedded systems as such can be achived. The synatx evolution methods have been applied to a safety critical system that monitors and controls tempartuers within a Nuclear recator system.</p>

Characteristics for Performance Optimization of Safety-Critical System Development (SCSD)

2020 ◽  
Vol 24 (2) ◽  
pp. 232-242
Author(s):  
Abdulaziz Ahmed Thawaba ◽  
Azizul Azhar Ramli ◽  
Mohd. Farhan Md. Fudzee ◽  
Junzo Wadata ◽  
◽  
...  
Keyword(s):  
Flight Control ◽  
Performance Optimization ◽  
System Development ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Railway Systems ◽  
Safety Critical System ◽  
Nuclear Systems ◽  
Causes Of Failure

Safety-critical systems (SCS) are the most significant systems that affect our daily life in many areas such as flight control systems, railway systems, medical devices, nuclear systems, and military weapons. SCS failures could result in losing life or serious injuries. Improving the practices during development phases of SCS can reduce failures up to 40%, thus resulting developers to follows specific development practices and techniques. Developers should improve safety-critical system development (SCSD) by taking into account all factors and understanding the causes of failure. Previous studies have highlighted the causes of failure during the development of SCS, but for specific areas such as designs, requirements, or the human factor, while developers need to know the causes of failure in all areas and the relationship between them clearly and comprehensively. This research aims to analyze SCSD characteristics and discuss performance improvement as well as causes of failure. This paper proposed a guideline that helps developers reduce the causes of failure during SCS development. This guide has four characteristics, each with a role in improving SCSD and reducing causes of failure.

Providing Network Resilience for Safety Critical Systems

2014 ◽  
Author(s):  
Arash Aziminejad ◽  
Andrew W. Lee
Keyword(s):  
Information Age ◽  
Simulation Models ◽  
Cost Effective ◽  
Design Parameters ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
Safety Critical Systems ◽  
Selection Of

Ethernet was commercially introduced in 1980 and standardized in 1985 as IEEE 802.3. Due to the instability and unreliability of the initial introduction, safety critical systems have been slow to adapt Ethernet technologies. It is only until the Information Age brought on by the globalization of Internet in the 1990s that network gears become more cost effective, reliable, and technically suitable. With many Ethernet technologies to pick from, selection of a suitable network topology can be challenging. This paper offers insight on the problem of the optimum choice of an Ethernet technology for the purpose of safety critical system. Example of a typical CBTC system will be given along with the key design parameters and several Ethernet technologies analyzed. Simulation models are built on the basis of the two most common Ethernet technologies to provide means of comparison, and numerical results are presented in the paper.

scholarly journals Two-Dimensional Software Defect Models with Test Execution History

2012 ◽  
Vol 2012 ◽  
pp. 1-12 ◽  
Author(s):  
Tomotaka Ishii ◽  
Tadashi Dohi
Keyword(s):  
Software Testing ◽  
Time Scales ◽  
Software Reliability ◽  
Execution Time ◽  
Testing Time ◽  
Two Dimensional ◽  
Time Data ◽  
Test Execution ◽  
Software Defect ◽  
Software Reliability Models

In general, the software-testing time may be measured by two kinds of time scales: calendar time and test execution time. In this paper, we develop two-dimensional software reliability models with two-time measures and incorporate both of them to assess the software reliability with higher accuracy. Since the resulting software defect models are based on the familiar nonhomogeneous Poisson processes with two time scales, which are the natural extensions of one-dimensional software defect models, it is possible to treat the time data both simultaneously and effectively. We investigate the dependence of test-execution time as a testing effort on the software reliability assessment and validate quantitatively the software defect models with two-time scales. We also consider an optimization problem when to stop the software testing in terms of two-time measurements.

Test based safety-critical software reliability estimation using Bayesian method and flow network structure

2019 ◽  
Vol 233 (5) ◽  
pp. 847-856
Author(s):  
Yaguang Yang
Keyword(s):  
Software Reliability ◽  
Probabilistic Method ◽  
Reliability Estimation ◽  
Software Test ◽  
Consensus Method ◽  
Software Systems ◽  
Engineering Systems ◽  
Critical Systems ◽  
Safety Requirements ◽  
Safety Critical

System safety is closely related to system reliability. Safety requirements many times are translated to reliability requirements. Nowadays, software systems exist in many engineering systems. However, there is no consensus method for software reliability estimation. On the contrary, there is an increasing interest in estimating the software reliability due to concerns for safety-critical systems. In this article, we try to close the gap by proposing a systematic and probabilistic method to estimate the software reliability based on software test data.

Embedded Software Formalization Testing Method and its Application in Missile-Borne Software

2014 ◽  
Vol 574 ◽  
pp. 646-650
Author(s):  
Ji Cun Ma ◽  
Xing Lin Qi ◽  
Jing Lv
Keyword(s):  
Software Testing ◽  
Formal Method ◽  
Unified Modeling Language ◽  
Embedded Software ◽  
Test Case ◽  
Unified Modeling ◽  
Testing Method ◽  
Finite State ◽  
Z Language ◽  
Collection Methods

The formal modeling method can accurately describe systems. Using formal method to test software improves the efficiency of software testing and it is comprehensive. Common real-time embedded software formal testing methods include Z language, finite state machine (FSM) and unified modeling language (UML), Petri net and time input/output automata (TIOA). This paper analyzes the characteristics of embedded software testing. The above formal methods and test case coverage criterions and test data collection methods are introduced. Combined with the characteristics of missile-borne software, this paper presents suitable ideas of testing missile-borne software.

Sign in / Sign up

Export Citation Format

Share Document