Keywords: سیستم های ایمنی بحرانی; Safety-critical systems; Requirements engineering; Safety analysis; Integration; Communication; Systematic literature review;
مقالات ISI سیستم های ایمنی بحرانی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم های ایمنی بحرانی; control; task-based design; mental workload; standardization process; safety-critical systems; railway transport.;
Keywords: سیستم های ایمنی بحرانی; safety-critical systems; safety requirements; ASIL allocation; DAL allocation; optimisation
Keywords: سیستم های ایمنی بحرانی; Safety requirements; Safety-critical systems; Hazard; Accident; Systematic literature review; Requirements engineering
Keywords: سیستم های ایمنی بحرانی; Safety-critical systems; Functional safety; Software safety; Software quality; Power plant operations;
Keywords: سیستم های ایمنی بحرانی; Situation awareness; Situation assessment; Safety-critical systems; Bayesian networks; Fuzzy logic systems; Risk assessment
Keywords: سیستم های ایمنی بحرانی; Safety-critical systems; Punctuality timing constraints; Temporal logics; Decidability; Tableau systems;
Keywords: سیستم های ایمنی بحرانی; Viability; Reachability; Controlled invariance; Set-theoretic methods; High-dimensional systems; Formal verification; Safety-critical systems
Identification and dynamic inversion-based control of a pressurizer at the Paks NPP
Keywords: سیستم های ایمنی بحرانی; Safety-critical systems; Robust control; Model identification; Networked control; Dynamic inversion; Nuclear power plant
Hardware certification for real-time safety-critical systems: State of the art
Keywords: سیستم های ایمنی بحرانی; Safety-critical systems; Real-time systems; Tool qualification; Hardware certification; FPGA
Sentence completeness analysis for improving team communications of safety-critical system operators
Keywords: سیستم های ایمنی بحرانی; Communication; Safety-critical systems; Emergency response; Nuclear power plant; Main control room; Syntax analysis
Safety analysis of software product lines using state-based modeling
Keywords: سیستم های ایمنی بحرانی; Product lines; Safety-critical systems; Model-based development; State-based modeling
The Perm architecture approach: Supporting embedded system development
Keywords: سیستم های ایمنی بحرانی; Microprocessor; Safety-critical Systems; Embedded Systems; Fault isolation; Software reliability;
Analysing context-dependent deviations in interacting with safety-critical systems
Keywords: سیستم های ایمنی بحرانی; User interfaces; Safety-critical systems; Context of use; Mobile devices
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
Keywords: سیستم های ایمنی بحرانی; Software requirements analysis; V&V; Safety-critical systems; Inspection; Traceability; Formal method;
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Keywords: سیستم های ایمنی بحرانی; Railway signalling; interlocking; safety-critical systems; formal specification; Statecharts; validation;
Safety-relevant mode confusions-modelling and reducing them
Keywords: سیستم های ایمنی بحرانی; Human factors; Mode confusion; Shared-control systems; Safety-critical systems;
Software complexity and its impacts in embedded intelligent real-time systems
Keywords: سیستم های ایمنی بحرانی; Software complexity; Safety-critical systems; Embedded systems; Intelligent systems; Real-time systems; Human performance; Operator performance; Software performance; Technology impact; Software evaluation; Socio-technical studies;