Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 68 for “"Safety-critical systems"”.
-
Fail-Safe Testing of Safety-Critical Systems
… dissertation proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility and necessary changes are identified to make them compatible. Then transformation rules are used to transform the fault model into …
-
Fail-Safe Test Generation of Safety Critical Systems
… for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation …
-
Verification of advanced controllers for safety-critical systems
… high running time when applied to more complex systems with more parameters. This, in some cases, limits the complexity of the system that we could consider. Therefore, we focused our attention on control problems such as obtaining an explicit MPC law for a linear time invariant system with a …
-
Next-generation safety-critical systems on multi-core platforms
… running in parallel. As a result, certifying systems deployed using multi-core platforms is significantly more challenging compared to single-core implementations. In this work, we tackle the challenge of restoring the constant WCET assumption for real-time tasks deployed on multi-core …
-
Dynamic safety assessment of FPGA-based safety critical systems with applications in nuclear power generation
… (IAEA) states that FPGA implementations of I&C systems in Nuclear Power Plants (NPPs) is expected to increase significantly in the future. One issue facing FPGAs in the nuclear field is a lack of technical standards and design/review documentation. Therefore, the research program undertaken …
-
Next-generation safety-critical systems using COTS based homogeneous multi-core processors and heterogeneous MPSoCS
… memory for multicore processors suits well for systems where the average-case performance of the system is the performance metric. However, this is not suitable for safety-critical systems where the developer is interested in the worst-case execution time (WCET) of the task on each processing …
-
Artificial Intelligence in Human Spaceflight Safety-Critical Systems: A Requirements Framework for AI-Enabled Computer-Based Control Systems
… integration of AI into computer-based control systems (CBCS) in human spaceflight. The computer-based control expectations of those safety-critical systems on the International Space Station (ISS) are captured in SSP 50038, Computer-Based Control System Safety Requirements, with one caveat: the …
-
Impediments to Effective Safety Risk Assessment of Safety Critical Systems: An Insight into SRM Processes and Expert Aggregation
Safety risk assessment forms an integral part of the design and development of Safety Critical Systems. Conventionally in these systems, standards and policies have been developed to prescribe processes for safety risk assessment. These standards provide guidelines, references and structure to …
-
A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems
Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and reliability engineering methods, including redundancy or conventional dependency analysis, …
-
QUANTITATIVE SAFETY ASSESSMENT OF AIR TRAFFIC CONTROL SYSTEMS THROUGH SYSTEM CONTROL CAPACITY
Quantitative Safety Assessments (QSA) are essential to safety benefit verification and regulations of developmental changes in safety critical systems like the Air Traffic Control (ATC) systems. Effectiveness of the assessments is particularly desirable today in the safe implementations of …
-
A formal verification assistant for TROMLAB environment
… have become a strong basis in the field of safety critical systems development. Safety, liveness and time bounded properties are characteristics of such systems where the need to secure their adequate implementation is very high. Formal verification of such properties is the research field …
-
Exploring the Vulnerabilities of Traffic Collision Avoidance Systems (TCAS) Through Software Defined Radio (SDR) Exploitation
Traffic Collision Avoidance Systems (TCAS) are safety-critical systems that are deployed on most commercial aircraft in service today. However, TCAS transactions were not designed to account for malicious actors. While in the past it may have been infeasible for an attacker to craft arbitrary radio …
-
VERIAL: Verification-Enabled Runtime Integrity Attestation of Linux
… a remote target. That confidence is valuable in safety-critical systems such as those involving health-care or finance. Layered attestation is a way of extending that confidence from one component to another. Solutions for layered attestation require strict isolation. Without that isolation, the …
-
Resource Bound Guarantees via Programming Languages
… of domains, most prominently in hard real-time systems and safety critical systems where failing to meet its time constraints can result in catastrophic failure. The use of test- ing in ensuring resource constraints is of limited use since the testing of every input or environment is impossible …
-
Development of a Supervisory Control Unit for a Series Plug-in Hybrid Electric Vehicle
… emphasis on fault detection and mitigation for safety critical systems. A power management control algorithm was developed to efficiently control the vehicle during charge sustaining operation. The first controller implemented was a simplified bang-bang controller to operate at the global …
-
Distributed dispatchers for partially clairvoyant schedulers
… memory architectures for hard real-time systems. The dispatching model accommodates process parameter variability and analyzes the effect of variable execution times.;Hard real-time systems are modeled in the E-T-C scheduling framework and dispatched if a valid schedule exists. We examine …
-
Automated test sequence generation for finite state machines using genetic algorithms
… state automata (FSA) has been of interest. Such systems include communication protocols and control sections of safety critical systems. There is extensive literature regarding how to formally validate an FSM based specification, but testing that an implementation conforms to the specification is …
-
Application of deep learning for predicting schedules in real-time systems
Hard real-time systems are often used in safety critical systems: a task missing a deadline can be catastrophic for the system and endanger human lives. To guarantee that it meets every deadline, hard real-time systems are designed to have deterministic behavior. However, such determinism is prone …
-
Relational specification as a testing oracle
… oracles. The rise of use of computers in control safety critical systems, i.e., flight control systems, necessitates that rigorous system testing is performed before the deployment. In flight control systems, requirements are mostly concerned with the safety and maneuverability of an aircraft. In …
-
Expected productivity-based risk analysis in conceptual design : with application to the Terrestrial Planet Finder Interferometer mission
… failures result in the same impact, for many non safety-critical systems, the impact of failures may vary, including variance by when a failure occurs. While current risk assessment techniques answer the question "What is the probability of failure?", the true question that needs to be answered …
Page 1 of 4