Tezislər / Theses



Yüklə 17,55 Mb.
Pdf görüntüsü
səhifə184/493
tarix02.10.2023
ölçüsü17,55 Mb.
#151572
1   ...   180   181   182   183   184   185   186   187   ...   493
BHOS Tezisler 2022 17x24sm

THE 3
rd
 INTERNATIONAL SCIENTIFIC CONFERENCES OF STUDENTS AND YOUNG RESEARCHERS 
dedicated to the 99
th
anniversary of the National Leader of Azerbaijan Heydar Aliyev
193
number of controllable parameters of equipment.measurement coefficient 
taking into account the importance of indicators, 
𝑎
-large-scale coefficient 
taking into account that each 
𝑥
parameter may have an absolute error, 
𝑥 (t)
-
normative values of controllable parameters, 
𝐼
-number of controllable 
parameters of equipment. 
Reference
[1] The National Energy Technology Laboratory: A vision for the Modern Grid, March 2007. p. 162.
WRITING SAFETY AND MISSION CRITICAL CODE FOR
THE INDUSTRY 
Aykhan Hagverdili 
Baku Higher Oil School
Baku, Azerbaijan 
AykhanHagverdili.std@bhos.edu.az 
Supervisor: Ph.D, Associate Professor Kamala Pashayeva
Keywords:
MISRA, Static analysis, Safety Critical Software, Mission Critical Software 
Abstract
Writing safety critical software is one of the most thoroughly researched 
fields in the industry. It is applicable for safety and mission critical industries, 
such as automotive, nuclear, medical, oil/gas, and other sectors where failure 
of the system will mean serious damage or loss of human lives and/or loss 
of unacceptable amount of money (space exploration and alike). Safety and 
predictability are of utmost importance in such fields and must be addresses 
in its entirety for those systems to operate at all. This paper presents our 
study of the application of different standards that are used in different fields 
to develop safety critical software. Application of different modern auxiliary 
tools, such as static analyzers, their relationship and application of the 
mentioned standards are also explored in this paper. 

Yüklə 17,55 Mb.

Dostları ilə paylaş:
1   ...   180   181   182   183   184   185   186   187   ...   493




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin