• No results found

safety-critical software applications

Improving Software Comprehension In Regulating Safety-Critical Systems

Improving Software Comprehension In Regulating Safety-Critical Systems

... such applications remains ...off-the-shelf software or software venders hesitate to disclose their overall implementations, which make the code ...

133

FPGA Implementation of an Improved Watchdog Timer for Safety Critical Applications

FPGA Implementation of an Improved Watchdog Timer for Safety Critical Applications

... Thus from the results we prove that timing taken by the windowed watchdog timer is taking much slower time than the existing without window technique. This project presented in detail the architecture and design of an ...

5

Safety-Critical Software Development for Integrated Modular Avionics

Safety-Critical Software Development for Integrated Modular Avionics

... These contexts are referred to as partitions in ARINC 653. Each partition contains an application with its own heap for dynamic memory allocation and a stack for the application’s processes (the ARINC 653 term for a ...

10

Software fault-freeness and reliability predictions

Software fault-freeness and reliability predictions

... Many software development practices aim at ensuring that software is correct, or ...In safety critical applications, require- ments are in terms of probabilities of certain behaviours, ...

13

Software Quality Assurance in Safety Critical Systems

Software Quality Assurance in Safety Critical Systems

... Those software whose failure result in some kind of harm such as loss, damage to life, property or environment are known as safety critical ...Life critical system is another name of ...

11

Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety

Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety

... network applications, in particular electronic distribution of software (EDS), and onboard collection and off-board retrieval of airplane health ...airplane safety may be heavily dependent on the ...

13

A Quality Assurance Model for Airborne Safety Critical Software

A Quality Assurance Model for Airborne Safety Critical Software

... of safety-critical software have been developed by authori- ties and the industry, very little research has been done addressing safety-critical software ...Is ...

15

A Critical Review on Software Metrics in Mobile Applications

A Critical Review on Software Metrics in Mobile Applications

... the software. It can even define as the time period the software runs before the software ...For safety of the significant systems, MTTF parameters are ...commercial software system, ...

7

Open-Source Components in Safety Critical Systems

Open-Source Components in Safety Critical Systems

... some applications. NASA has used in one mission-critical application eight open source components (Castor, Java Expression Parser, Xerces-J, MySQL, MySQL Connector, HSQL Database Engine, Virtual Reality ...

10

An architectural design for LAN based web applications in a military mission  and safety critical context

An architectural design for LAN based web applications in a military mission and safety critical context

... modular applications that can be published, located and invoked across the Web’” (Sheng, et ...and applications (Like HTTP); XML Messaging Layer to encode the messages; The Service Description Layer to ...

64

The use of computers in safety-critical applications

The use of computers in safety-critical applications

... the software, after its commissioning, could not be sanctioned because establishing their benign impacts upon reliability was judged ...a software design will also assist its ...different safety case ...

114

Improving the Test Quality of Safety Critical
          Software by using Combined KPSO Mutation
          Method

Improving the Test Quality of Safety Critical Software by using Combined KPSO Mutation Method

... The applications of every mutation operator created one or more instances of code item and it is necessary to evaluate the success of each mutant in order to identify mutants whose behavior is identical to ...

6

Case-Based Reasoning for the Evaluation of Safety Critical Software. Application to The Safety of Railway Transport.

Case-Based Reasoning for the Evaluation of Safety Critical Software. Application to The Safety of Railway Transport.

... the safety analyses for railway transport systems in ...of safety analysis and the very nature of knowledge about safety mean that a conventional computing solution is unsuitable and the utilization ...

7

Some conservative stopping rules for the operational testing of safety-critical software

Some conservative stopping rules for the operational testing of safety-critical software

... the test occurred after executing only a small number of demands, we have received some bad news. A regulator might reasonably be wary of ignoring such information and merely requiring the same target be achieved from ...

23

DO-254 Implementation of CAN for Mil-Aero/ Safety Critical Applications

DO-254 Implementation of CAN for Mil-Aero/ Safety Critical Applications

... ABSTRACT: Aim is to design CAN and to make it D0-254 compatible to ensure compliance in designing safety critical/avionic hardware. D0-254 standards provide most stringent policies and compliance rules to ...

5

Does software have to be ultra reliable in safety critical systems?

Does software have to be ultra reliable in safety critical systems?

... that safety-critical software is com- pletely free of dangerous ...of safety performance required for critical software-based systems like ...of safety performance can be ...

13

Towards an industrial use of FLUCTUAT on safety-critical avionics software

Towards an industrial use of FLUCTUAT on safety-critical avionics software

... Beyond local accuracy analyses of basic operators, FLUCTUAT can also be used to perform very accurate analyses on C code generated from sets of SCADE sheets. First steps have been made in that direction with the ...

17

Magnetically geared pseudo direct drive for safety critical applications

Magnetically geared pseudo direct drive for safety critical applications

... actuator applications, while the PDD exhibits half the mass, the inertia of the rotor in contact with the mechanical drivetrain can be an order of magnitude smaller than that of an equivalent conventional ...

12

SAFETY-CRITICAL VERSUS SECURITY-CRITICAL SOFTWARE

SAFETY-CRITICAL VERSUS SECURITY-CRITICAL SOFTWARE

... of safety and security-critical software, a series of round table focus groups to explore specific subjects in more depth and a Q&A (Question and Answer) session to further raise issues and ...

7

High Power-Factor Preregulator

High Power-Factor Preregulator

... While allowing higher peak switch currents than continuous PFCs such as the UC1854, this device offers less external circuitry and smaller inductors, yet better performance and easier line-noise filtering than ...

10

Show all 10000 documents...

Related subjects