real-time safety-critical systems
Criteria for Software Tools Evaluation in the Development of Safety-Critical Real-Time Systems 1
... generation, real-time features, safety (ability of tool to include safety-specific elements like watchdogs, redundant paths, retransmission, value checking, ...
7
Real Time Systems pdf
... developing safety-critical ...only safety considera- tions are those that follow from the stated ...on safety conditions under all possible operating conditions (see ...
290
A Review on Fault Tolerant Analysis for Hard Real Time Safety Critical Embedded System
... industrial systems” [4], a hardening infrastructure is used to support fault tolerance co design ...Embedded Systems” [1] describes a co-design flow which is motivated by taking both design constraints and ...
5
Perspectives on Safety Critical Computing Systems
... good safety design was the cause of the ...256th time, there was a flag overflow and huge electron beam was erroneously turned ...during real-time operation the software recorded only certain ...
5
Securing Safety Critical Automotive Systems
... primarily safety-focused approach which led to some de- sign decisions being in conflict with ...AUTOSAR safety mechanisms can be leveraged to improve security ...four critical aspects of the ...
151
Highly Optimized Performance in HCCA 802 11e Mechanism for Safety Critical Real Time System
... transmission time from HCCA line to higher priority EDCA ...Transmission Time - Earliest Due Date (SETT-EDD) Algorithm use time units to differ TXOP over time in accordance to need of node ...
5
Foundations for Safety-Critical on-Demand Medical Systems
... etc.), real-time operating system and platform ...on-demand systems: When the Health Delivery Organization (HDO) plugs a device into the platform the device will upload its interface ...
288
Real Time Tracking and Sensing Systems for Improved Safety and Security in Mines
... based Real Time Locating System (RTLS) and Real Time Sensing System (RTSS) [6], consists of small wearable active RFID tags, intelligent network of routers, a central coordinator and a system ...
7
Open-Source Components in Safety Critical Systems
... in safety critical software which is intended to autonomously drive vehicles under environmental conditions and sudden ...are real-time response, smart algorithms, powerful computing engines ...
10
Multi-core Cyclic Executives for Safety-Critical Systems
... highly safety-critical application domains, particularly those that are subject to stringent certification requirements, reveal that the use of the very simple cyclic executive approach [1] remains ...
17
An Augmented Framework for Formal Analysis of Safety Critical Systems
... analyzing Safety Critical Systems (SCSs) ...accomplishing critical and complex function what SCSs are supposed to ...testing safety properties of SCSs more rigorously in order to reduce ...
13
RIFD Systems Used for Real Time Management Systems
... RFID systems to track the buses and other vehicles in metros could greatly benefit commuters who could plan their trips to avoid long delays at the bus ...arrival time of a bus on a given route at a given ...
10
System health management of safety critical systems using artificial neural networks
... The health management of safety critical system is done using artificial neural network predictors and classifiers. Sensor subsystem constitutes five sensors whose parameters are given to neural network ...
5
Adaptive multiprocessor real-time systems
... advantages of these algorithms are compared by simulating both the Whisper human tracking system and the Virtual Exposure Camera (VEC), both of which were developed at The Uni- versity of North Carolina at Chapel Hill. ...
347
The Design of Real Time Operating Systems for Embedded Systems
... operating systems. Unfortunately, operating systems do introduce several forms of overhead that must be ...minimized. Real-time systems are embedded systems in which the ...
7
Design Patterns for Safety-Critical Embedded Systems
... the critical reasons for unsafe failures in safety-critical ...long time as a major fault tolerance method in the design of software for safety- critical ...
197
Synthesizing Fault Tolerant Safety Critical Systems
... Various approaches have been proposed over the years to provide fault tolerance for safety critical systems. Some approaches are based on synthesizing and some are based on transformations. All these ...
8
Model-Based Development of Safety-Critical Systems
... Templates Check Rules Modelling (by developer) Combination & Extension of Submodels (automated) User Code Model Validation (automated) Code Generation (semi-automated) Safety Mo[r] ...
24
Scheduling Feedback Algorithms For Real-Time System
... large amount of on-line resources. However, this allows them to be extremely flexible. Many dynamic-priority based algorithms also contain on off-line component. This reduces the amount of on-line resources required ...
6
Enterprise asset management for the future of public transit. Concepts and capabilities for overcoming today s challenges
... methods, systems and even cultures vary between service lines inside the same ...computer systems accumulated over a period of years. These systems do not integrate well or provide top-level, ...
12