safety-critical embedded systems
Vol 3, No 4 (2015)
... Embedded systems became an important part of our ...functional safety is a major challenge with increasing ...of safety-critical embedded systems include vehicle ...
6
Synthesizing Fault Tolerant Safety Critical Systems
... But, safety critical systems need to maintain strict dependability ...system‟s safety specifications as well as, perform all necessary steps for the completion of desired function of that ...
8
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety
... for safety-critical embedded systems has become an increasingly difficult challenge: Electronic Control Units (ECUs) in vehicles, for instance, participate in many vehicle functions, while ...
26
Journal of Embedded Systems
... as safety-critical embedded ...real-time systems employing this ...distributed embedded systems including control applications ...
6
Improving Software Comprehension In Regulating Safety-Critical Systems
... The set of data abstractions that CWolf supports is predefined in the system, which makes the proof of the soundness of abstractions and operations over them transpar- ent to users. Also embedded in the system is ...
133
Mapping AADL to Petri Net Tool Sets Using PNML Framework
... of critical systems deployed mainly in avionic and aerospace industries ...These systems are normally distributed, embedded real-time requiring anultra-degree of dependability (availability, ...
15
Travolution – An Embedded System in Passenger Car for Road Safety U Ravi Teja & Vijaykumar R Urkude
... For critical code size applications, the alternative 16-bit Thumb Mode reduces code by more than 30% with minimal performance ...medical systems, access control and ...and embedded soft modems as ...
5
An Augmented Framework for Formal Analysis of Safety Critical Systems
... control systems, car airbag, braking systems, nuc- lear reactor control and cooling systems, aerospace on-board systems, ...these systems are supposed to do and control more complex ...
13
An architectural design for LAN based web applications in a military mission and safety critical context
... layered systems is well known and used (Haupt, Karastoyanova, Leymann, & Schroth, 2014) When one logically organizes an architecture into layers the coupling between the elements in those layers can be reduced ...
64
Foundations for Safety-Critical on-Demand Medical Systems
... [58] describe the PTIDES deterministic programming model for distributed real-time embedded software. PTIDES semantics are based on discrete event simulation: Programs in PTIDES consist of actor components which ...
288
A Review on Fault Tolerant Analysis for Hard Real Time Safety Critical Embedded System
... Abstract— Safety-Critical Applications have to function correctly and deliver high level of quality-of-service even in the presence of ...in embedded system is a serious ...in embedded ...
5
NEURO FUZZY MODELLING AND CONTROL OF MULTISTAGE DYNAMIC PROCESSES THAT DEPEND ON INPUTS WITH UNCERTAINTY ELEMENTS
... Embedded systems which are used for monitoring and controlling safety critical systems are to be evolved dynamically, meaning changes required either for command language interface, or ...
13
Diversity, Safety and Security in Embedded Systems: modelling adversary effort and supply chain risks
... in embedded systems with security ...these systems have complicated requirements and design ...highly critical applications of the control system ...
14
Software Quality Assurance in Safety Critical Systems
... There is a major concern of Off-nominal behaviors in the area of embedded systems and safety critical systems. Model-based approaches have been proposed by some researchers to address ...
11
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 ...the embedded HSM to provide security ...
151
A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices
... the critical service layer, it executes the application ...unit embedded inside the same ...of safety-critical digital embedded systems operating in harsh environments, so ...
8
A testbed for embedded systems
... Transputer-based embedded systems are often programmed in occam [103] which is derived from the CSP specification language [43]. Current Transputer implementations of occam only support direct channel ...
234
Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis
... Many SA techniques have been around for a considerably long time and have proven their effectiveness in performing SA; hence they are recommended and, in some cases, mandated by industry standards and certification ...
19
Journal of Embedded Systems
... an embedded system is the energy consumed while running the ...the embedded system is expected to execute the task repeatedly, software energy is the major component in total energy consumption of an ...
6
Implementation of Vehicle Security and Driver Safety System to Prevent Road Accidents Shaik Karishma & Sirivella Yagnasree
... and embedded trace support, that combine microcontrollers with embedded high-speed flash memory ranging from 32 kB to 512 ...For critical code size applications, the alternative 16-bit Thumb mode ...
5