scholarly journals Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems

2007 ◽  
Author(s):  
Tariq Mahmood ◽  
Edmund Kazmierczak ◽  
Tim Kelly ◽  
Dennis Plunkett
Keyword(s):  
Software Systems ◽  
Safety Critical

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.

scholarly journals Safety critical software ground rules

2018 ◽  
Vol 7 (2.28) ◽  
pp. 344
Author(s):  
Krishna Chaya Addagarrala ◽  
Patrick Kinnicutt
Keyword(s):  
Software Development ◽  
Software Systems ◽  
Critical Systems ◽  
Safety Critical ◽  
Research Areas ◽  
Safety And Reliability ◽  
Serious Injury ◽  
Active Research ◽  
Software Development Practices

Safety critical software development field is one of the active research areas in many industries like automotive, medical, railways, nuclear and aerospace are placing increased value on safety and reliability. Safety critical software systems are those systems whose failure could result in the death or a serious injury to the people’s life, security is one of the important topics in the field of safety-critical systems and it must be addressed completely in order to operate safety critical software successfully. In this paper we present a study about the set of standards and different ground rules to be followed in critical software development practices in different industries and the challenges in applying these standards. We also discuss the role of static analysis and software integrity levels in these standards, similarities in these standards and the set of activities followed in the development process of these standards. 

scholarly journals Continuous Contract Based Verification of Updates in Maritime Shipboard Equipment

2021 ◽  
Vol 9 (7) ◽  
pp. 688
Author(s):  
Georg Hake ◽  
Carl Philipp Hohl ◽  
Axel Hahn
Keyword(s):  
Impact Analysis ◽  
Software Systems ◽  
Test Procedures ◽  
System Failures ◽  
Safety Critical ◽  
Novel Approach ◽  
System Composition ◽  
Software Lifecycle ◽  
Update Process ◽  
Configuration Changes

Modern control systems in the maritime domain are increasingly controlled by software systems and become subject to updates and configuration changes during operation. Moreover, with the shift to autonomous vessels and cars, these software-based systems are taking on more and more safety-critical tasks, so the risks associated with system failures are increasing. Unlike before, it becomes necessary to verify the continuously adapting modules of a vehicle not only before deployment, but to establish continuous verification capabilities during all phases of the product lifecycle, from the design to the system in operation. Hence, in case of an update, deviations from the expected behavior can be automatically detected and relevant measures can be initiated. In this work, a contract-based verification framework is presented that includes automatable and formally analyzable behavioral descriptors in form of assumption-guarantee contracts for all phases of the software lifecycle to provide static and dynamic verification capabilities alongside a dynamically changing system composition. By utilizing contractually defined behavior descriptions, classic test procedures, such as simulations, are supplemented by a formally testable level that is applied to all phases of the update process. A conceptual-deductive methodology was chosen, building on the identified requirements to develop an overarching update framework that adds contractual descriptions to the traditional development case. Based on the presented framework, the verifiable modification of a safety-critical software system is demonstrated. The approach is evaluated using a maritime collision-avoidance system and the verification steps are evaluated along the update process. The framework offers a novel approach to complement existing test procedures by enabling formal impact analysis and incremental verification of updates.

Sign in / Sign up

Export Citation Format

Share Document