检索结果-内蒙古大学图书馆

7th International Conference on system Reliability and Safety, ICSRS 2023

作者： Ouertani, Aymen Krini, Ossmane Börcsök, Habil. Josef Institute of Functional Safety & Cyber Security Baden-Wuerttemberg Cooperative State University Lörrach Germany Computer Architecture und System Programming University of Kassel Kassel Germany

ISBN: (纸本)9798350306057

This paper introduces a novel and comprehensive approach for estimating the reliability of safety critical software components in autonomous vehicle motion systems. The proposed approach in this paper presents a combination software reliability model (CSRM) that integrates multiple non-homogeneous Poisson process (NHPP) software reliability growth models (SRGMs) to achieve a reasonable compromise between accuracy, the trade-off between the goodness of fit and the simplicity, and stability. By using machine learning techniques, the CSRM effectively combines the strengths of individual SRGMs while mitigating their weaknesses through suitable evaluation and calibration techniques. The developed CSRM has been successfully applied and validated to facilitate a smoother and more efficient evaluation of reliability targets for software components in autonomous robotic wheelchair (ARW). Based on the validation results, the new CSRM has significantly enhanced the efficiency of the process for evaluating whether the defined reliability goals were being achieved. Furthermore, has facilitated a more accurate assessment of the need for further test executions and better planning of the required verification and validation session. This new approach provides valuable insights into the reliability of the developed software, particularly for software developers lacking extensive experience in identifying and applying appropriate SGRM. © 2023 IEEE.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Extended Approach to Selecting a project-specific Reliability Growth Model

Extended Approach to Selecting a project-specific Reliabilit...

引用

International Convention on Information and Communication Technology, Electronics and Microelectronics

作者： Jamal Krini Abderrahim Krini Ossmane Krini Josef Borcsok Department of Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781509025435

The software reliability represents one of the most crucial aspects of functional safety. Software is used in almost any electronic systems. When a safety-critical system is considered, it has to be ensured that the software is able to fulfil the minimum safety requirements. If this is not the case, the software will have to be improved until the minimum requirements are fulfilled. Reliability growth models are used to determine the reliability of software. Depending on the area of application one specific model can deliver better prognosis results than another. This paper serves to introduce a methodology, which is provided for the purpose of selecting the most appropriate model.

关键词： Functional safety Error-related hazard rate Mean value function Forecasting Poisson model Program hazard rate Sigmoid function systematic errors Shooman model Unknown errors Prediction Failure rate Reliability growth models Time-dependent models Software engineering Safety-related systems Prognosis Bathtub curve Early failures Normal failures Late failures Probability of default Failure density MTTR MTTF MTBF Maximum likelihood estimation Estimation procedures Model parameters Effectiveness investigation model Quality criterion Absolute error

来源：评论

学校读者我要写书评

暂无评论

Contribution to reducing the critical faults in critical Software systems

Contribution to reducing the critical faults in critical Sof...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Jamal Krini Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

The software reliability plays an important role nowadays. From year to year the systems become more and more complex. Consequently, the software becomes more and more complex, too and this can cause more software errors. In this paper a new method is introduced, which serves to predict the reliability of software in a better way. Furthermore, the presumption that the hazard rate is constant is rebutted and a more realistic assumption is made. It is demonstrated that by the use of the new approach the prediction of the number of remaining errors is possible in a better way.

关键词： Software Hazards Optimization Data models Software reliability Mathematical model

来源：评论

学校读者我要写书评

暂无评论

New concept to develop a safety sensor network for continuous noninvasive blood pressure monitoring

New concept to develop a safety sensor network for continuou...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System programming University of Kassel Kassel Germany

ISBN: (纸本)9781467347358

This paper proposes a continuous, non-invasive blood pressure monitoring system concept, which uses a safety microprocessor to connect sensors for building a body sensor network. The changes in Pulse Transit Time (PTT) can be detected with the sensor network. The microprocessor gathers the PTT and other vital signs of the patient to derive changes in blood pressure. Through the new Bluetooth protocol for safety systems, the current blood pressure value can be sent to a variety of terminals present in the wireless network, such as mobile phone, PC and medical monitoring systems. The 1oo2 architecture of the used microprocessor can provide high safety to a rating of safety integrity level 3 (SIL3), thus the whole network can meet the safety required in medical care systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A partially automated HiL test environment for model-based development using Simulink® and OPC technology

A partially automated HiL test environment for model-based d...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： W. Chaaban M. Schwarz B. Batchuluun H. Sheng J. Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the “semantic” or “functional” correctness of the automatically generated C++ - Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects.

关键词： Mathematical model Software Testing Hardware Servers Real time systems Process control

来源：评论

学校读者我要写书评

暂无评论

Model Based Development Methodology in Compliance with ISO 26262 for Safe Automotive ECU

Model Based Development Methodology in Compliance with ISO 2...

引用

Electrical, computer and Energy Technologies (ICECET), International Conference on

作者： Muhammad Ikram Hafiz Department of Computer Architecture and System Programming University of Kassel Kassel Germany

This work presents a practical approach of designing a functionally safe ECU for automotive application by implementing the Model Based Development (MBD) methodology. Functional safety (FuSa) in automotive can be achieved by strictly following the processes of electrical and electronic systems development as given in the ISO 26262. The scope of FuSa encompasses the risks emerging from systematic failures and random hardware failures. One approach to mitigate these failures is the Model Based Development (MBD) on which the ISO 26262 provides guidance. This approach enables to model an ECU and accelerates an IP creation by automatic RTL code generation for rapid prototyping on an FPGA level. In this work the MBD is implemented in accordance to the ISO 26262 to design and test a hardware model of an embedded ECU. The embedded Design under Test (DUT) is simulated and its output verified in Matlab/Simulink. Upon successful results, the RTL codes of the DUT are generated for a target FPGA. The RTL codes are simulated and the functionality of the DUT is verified at the FPGA level.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Safe position detection based on safety system-on-chip (SSOC) for wireless IoT application

引用

International Journal of Circuits, systems and Signal Processing 2020年 14卷 1040-1046页

作者： Börcsök, Josef Hafiz, Muhammad Ikram Alsuleiman, Ahmed Schwarz, Michael Abdelawwad, Mohamed ICAS Institute for Computer Architecture and System Programming University of Kassel Kassel Germany

— Cyber Physical systems (CPS) are predestined for use in Industry 4.0 applications. However, the interaction between the virtual and physical world also creates risks that is essential to be controlled. In highly automated industrial systems, for example, robots are used in confined spaces together with working humans. The risk posed by such systems endangers, among others, the people working there. This paper presents an approach to ensure the safety of the situation described above, which makes the workspace of industrial robots safer by implementing a safe workspace detection system. This system comprises several detection sensors implemented in a 2oo3 safety architecture and a Safety system on a Chip (SSoC) based on a safe 1oo2 system architecture. The safety-related redundancy provided by the detection and calculation elements enables a safe position detection of the robotic arm in the 3-dimensional space. The presented system monitors the position of the robotic arm and thus supports the safety of the surrounding objects and the people working there by leading to a safe standstill or to a reduced speed of movement of the robot as soon as the defined and permitted working space is left. © 2020, North Atlantic university Union NAUN. All rights reserved.

关键词： system theory

来源：评论

学校读者我要写书评

暂无评论

ATPG Method with a Hybrid Compaction Technique for Combinational Digital systems

ATPG Method with a Hybrid Compaction Technique for Combinati...

引用

SAI Computing Conference

作者： Abdul Rafay Khatri Ali Hayek Josef Borcsok Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781467384612

In this paper, the Test Pattern Generation (TPG) with a new simple hybrid (dynamic and static) compaction technique for combinational logic circuits and systems is presented. Digital systems are implemented nowadays on an advance VLSI technology, which is called Field Programmable Gate Array (FPGA). The test procedure requires a deliberate introduction of faults in the system Under Test (SUT). FPGA circuits and systems are developed and written in Hardware Description Languages (HDLs). In addition, a novel method is also proposed and implemented in order to intentionally inject faults in the Verilog HDL code design of the SUT. It covers all possible fault locations in the SUT. This approach provides high quality compact test vectors and efficient memory utilization in comparison with other state-of-the-art methods. Not only are the hardness of individual faults and the sensitiveness of fault locations determined, but also their effectiveness is proposed in the fault tolerance strategy.

关键词： Test pattern generation Dynamic compaction Static compaction Fault coverage Hardness

来源：评论

学校读者我要写书评

暂无评论

引用

International Conference on Technological Advances in Electrical, Electronics and computer Engineering (TAEECE)

作者： Samer Telawi Ali Hayek Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Nowadays, many noticeable continues efforts are taken in the vehicle industry to develop robust intelligent systems that control and monitor the vehicles during operational time to lower the side effects of some abnormal conditions such as sliding and spinning; because of their main role in affecting the human safety and the vehicle life-time as well as the costs related to maintenance. Therefore, the importance of manipulating and controlling these special statuses with respect to safety and cost are the main motivations behind conducting this research work. In this paper a conceptual prototype of a safety-related platform for monitoring and recognizing the vehicles states by means of vibration sensors incorporated with incremental rotary encoders is presented. Additionally, the proposed approaches and algorithms to detect the vehicle status based on the captured sensory data are also presented.

关键词： Vehicles Vibrations Sensors Safety Acceleration Spinning Wheels

来源：评论

学校读者我要写书评

暂无评论

Modeling a safety-related system for continuous non-invasive blood pressure monitoring

Modeling a safety-related system for continuous non-invasive...

引用

IEEE Biomedical Circuits and systems (BIOCAS)

作者： Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System Programming University of Kassel Kassel Germany

In recent years, Pulse Transit Time (PTT) - based non-invasive continuous blood pressure monitoring systems have been investigated extensively. But the most relevant studies did not pay attention to the safety requirement of the system. In this paper a method is proposed to model the safety-related system for continuous noninvasive blood pressure monitoring. The V model, 1oo2 system and safe Bluetooth communication are used to enhance the safety of the system.

关键词： Biomedical monitoring Blood pressure Monitoring Safety Pressure measurement Wireless communication Medical services

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：