Keywords: سیستم ایمنی بحرانی; Safety-critical system; Dependability; Metrics; Dependability analysis techniques;
مقالات ISI سیستم ایمنی بحرانی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم ایمنی بحرانی; Safety-critical system; Safety certification; Safety assurance; Reuse; Safety standard; Cross-domain;
Keywords: سیستم ایمنی بحرانی; Human Performance; Main Control Room; Operating Team; Safety-Critical System; Situation Awareness;
Keywords: سیستم ایمنی بحرانی; Safety-critical system; Safety standard; Safety compliance; Safety assurance; Safety certification; Reference assurance framework
Keywords: سیستم ایمنی بحرانی; Temporal logic; Model validation; Specification debugging; Model checking; Safety-critical system
Design verification enhancement of field programmable gate array-based safety-critical I&C system of nuclear power plant
Keywords: سیستم ایمنی بحرانی; Enhanced functional flow block diagram (EFFBD); Field programmable gate array (FPGA); Finite state machine with data path (FSMD); Modified condition decision coverage (MC/DC); Safety-critical system;
An improved formal failure analysis approach for safety-critical system based on MBSA
Keywords: سیستم ایمنی بحرانی; Failure analysis; MBSA; Model checking; Safety-critical system;
Design of safety-critical systems using the complementarities of success and failure domains with a case study
Keywords: سیستم ایمنی بحرانی; Safety-critical system; Axiomatic Design; Fault Tree Analysis; TRIZ; Success domain; Failure domain; Complementarities
Effects of introducing collaborative technology on communications in a distributed safety-critical system
Keywords: سیستم ایمنی بحرانی; Technology impact; Technology introduction; Automation; Group support systems; Group decision support systems; Decision support systems; Safety-critical system; Marine transportation; Vessel traffic systems; Case study; Communication; Lean media; Rich tec
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)
Keywords: سیستم ایمنی بحرانی; Safety-critical system; V&V; Design specification and analysis; PLC
Formal verification of functional properties of a SCR-style software requirements specification using PVS
Keywords: سیستم ایمنی بحرانی; Safety-critical system; Software safety; Software requirements specification; Formal methods; Formal verification; Nuclear power plant system;