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 279 for “"Safety-critical"”.
-
Cyber Maintainable Safety-Critical Complex-Systems
… not yet suitable for specific cases such as in a critical manufacturing system (e.g., metrics that are essential for evaluating production impact during a cyber-attack). Consequently, this thesis offers an approach that enables an objective, quantitative measurement of a critical manufacturing …
-
What Inhibits Teamworking in Safety Critical Organisations?
Teamworking is far from an exclusively modern method of workplace management, humans have been arranged into teams for over two-hundred thousand years (West, Tjosvold and Smith, 2005). Its application in the private, public and third sectors has however experienced huge growth during recent decades …
-
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 …
-
Formal verification of safety-critical hybrid systems
… plant at hand does not violate its various safety requirements. The thesis is split into two major parts. In the first part, we develop an abstract model of a physical plant and its various protection subsystems - also referred to as protectors. The specialization of this abstract model …
-
The design of safety-critical medical infusion devices
… the accurate dosing of potent fluid therapies to critically ill patients. In critical care applications, fluid dosing must be both accurate and safe since unwanted flow disturbance can cause physiological harm to the patient. This study consists of three discrete projects based on these vital …
-
Multi-objective optimisation of safety-critical hierarchical systems
Achieving high reliability, particularly in safety critical systems, is an important and often mandatory requirement. At the same time costs should be kept as low as possible. Finding an optimum balance between maximising a system's reliability and minimising its cost is a hard combinatorial …
-
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
In order to design and deploy a feedback controller in a real application, one must determine suitable specifications that the design must meet ("validate"), and then ensure that the chosen specifications have been met ("verify"). In this thesis, we investigate a verification paradigm based on …
-
Towards verifiable adaptive control for safety critical applications
To be implementable in safety critical applications, adaptive controllers must be shown to behave strictly according to predetermined specifications. This thesis presents two tools for verifying specifications relevant to practical direct-adaptive control systems. The first tool is derived from an …
-
Reliability improvement and assessment of safety critical software
In order to allow the introduction of safety-related Digital Instrumentation and Control (DI&C) systems in nuclear power plants, the software used by the systems must be demonstrated to be highly reliable. The most widely used and most powerful method for ensuring high software quality and …
-
Next-generation safety-critical systems on multi-core platforms
… determinism are of paramount importance in safety-critical applications, cost containment and time-to-market are dominant factors for the large-scale adoption of novel technologies. Hence, our work proposes solutions that can be adopted with commercially available components, also known as …
-
Modelling and Synthesis of Safety-critical Software with IEC 61499
Software forms a central part of modern industrial control systems. It is routinely used, nowadays, to control a variety of physical processes through an integration of computing elements with sensors and actuators. The falling cost of digital electronics have also led to an increasing use of …
-
Designing highly automated safety-critical railway system and its organization
… of the train operation. At the same time, safety has become an increasingly critical aspect as the severity of the accidents has become much more severe. Although the automation and newly developed software might have decreased the number of accidents that would not have been prevented …
-
Integrative risk-based assessment modelling of safety-critical marine and offshore applications
… status and future aspects of marine and offshore safety assessment. The major problems identified in marine and offshore safety assessment in this research are associated with inappropriate treatment of uncertainty in data and human error issues during the modelling process. Following the …
-
Software development and risk management in the safety critical medical device domain
The healthcare sector is one of the fastest growing economic sectors of today. The medical device domain is one part of that sector. An increasing part of functionality in medical devices and systems is implemented in software and many features should not be possible to implement without software. …
-
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, …
-
An integrated formal approach for developing reliable software of safety-critical system
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1995.
-
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 …
-
Improving the dependability of safety critical wireless sensor network scheduling using artificial intelligence
… resource constraints typical of WSNs. Moreover, safety critical WSNs applications require to follow rigid and strict policies such as strict deadlines while deploying in emergency situations which adds an additional layer of complexity. This layer of complexity is caused by new set of additional …
Page 1 of 14