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 13 of 13 for “"Safety-critical system"”.
-
An integrated formal approach for developing reliable software of safety-critical system
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1995.
-
Design and implimentation of a supervisory safety controller for a 3DOF helicopter
… controller for a 3DOF helicopter. This safety critical system is used in undergraduate laboratories in the Department of Aeronautics and Astronautics at MIT. There already exists a framework for designing a supervisory safety controller for motions about one axis. It is based on an …
-
Assessment of a Space Shuttle trajectory evaluation system (DOLILU II)
DOLILU II is a ground control system that generates space shuttle's launch trajectories, first stage guidance commands and verifies whether the generated trajectories are safe for the flight. It is a safety critical system and a high degree of confidence in its safety and reliability must be gained …
-
Design of a fault tolerant control scheme based on sliding mode for Canadian supercritical water reactor
Canadian Super Critical Water Reactor (SCWR) is one of the Generation IV reactor types and possible heat source for co-hydrogen production through copper chlorine thermochemical cycle. To maintain the balance between the hydrogen production and electricity production effectively and to utilize the …
-
Risk Mitigation for Low Latitude Ground-Based Augmentation System (GBAS) Precision Approach Operations
<p>The ground-based augmentation system (GBAS) is a safety-critical system consisting of the hardware and software that augments the Global Positioning System (GPS) to provide precision approach and landing capability and is one of the navigational cornerstones of the International Civil Aviation …
-
Architectural modelling and verification of open service-oriented systems of systems
Systems of Systems (SoS) have received a lot of attention recently. In this thesis we will focus on SoS that are built atop the techniques of Service-Oriented Architectures and thus combine the benefits and challenges of both paradigms. For this thesis we will understand SoS as ensembles of single …
-
Uni-REPM SCS: a safety maturity model for requirements engineering process
Context: Software is an important part in safety-critical system (SCS) development since it is becoming a major source of hazards. Software has been responsible to implement innovative and complex functions and to send instructions to the hardware. Requirements-related hazards have been associated …
-
Managing design changes using safety-guided design for a safety critical automotive system
The use of software to control automotive safety critical functions, such as throttle, braking and steering has been increasing. The automotive industry has a need for safety analysis methods and design processes to ensure these systems function safely. Many current recommendations still focus on …
-
Safety of Self-driving Cars: A Case Study on Lane Keeping Systems
… it to drive the car. A self-driving car is a safety-critical system. However, the neural network is not necessarily reliable. The output of a neural network can be easily influenced by many factors, such as the quality of training data and the runtime environment. Also, it takes time for the …
-
A development and assurance process for Medical Application Platform apps
… emerging that would enable compositional medical systems to be instantiated at the point of care from a collection of trusted components. This work details efforts to create a development environment for applications that run on these MAPs. The first contribution of this effort is a language and …
-
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets
To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. Generally, existing techniques focus either on modelling the user interface or on modelling the functionality of a system. Although there are many benefits to using the individual models for …
-
Cyber Maintainable Safety-Critical Complex-Systems
… the growing threat of cyber-attacks on control systems. Whilst the convergence of Operational and Informational Technology becomes essential, the traditional security approach has proven inadequate in addressing the unique challenges faced by such industries. As a result, Cyber Resilience is …
-
New techniques for the Reliability Evaluation of AI-oriented Hardware Accelerators
L'abstract è presente nell'allegato / the abstract is in the attachment