Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Fault injection testing of safety-critical applications

Trawczyński D., Sosnowski J.

Czasopismo Techniczne. Informatyka

2011

R. 108, z. 1-I

87-107

In the paper, we discuss an original methodology of dependability evaluation dedicated for safety-critical embedded systems. It is based on a fault simulation technique known as Software Implemented Fault Injection (SWIFI). This methodology combines functional and structural models to achieve higher modeling accuracy than existing approaches. The method was implemented and verified on a representative safety-critical case study, namely the automotive anti-lock braking system.

W artykule przedstawiono oryginalną metodologię oceny wiarygodności krytycznych aplikacji wbudowanych opartą o tzw. programową symulację błędów (SWIFI). Metodologia ta łączy modele funkcjonalne i strukturalne w celu dokładniejszej (niż dotychczasowe podejścia) analizy wrażliwości na błędy w systemach wbudowanych. Została ona zaimplementowana i zweryfikowana na reprezentatywnym przykładzie systemu czasu-rzeczywistego, sterującym hamulcami samochodowymi (algorytm przeciwpoślizgowy ABS).

A study on avionics and automotive databus safety evaluation

Kornecki A., Zalewski J., Sosnowski J., Trawczyński D.

Archives of Transport

2005

Vol. 17, iss.3-4

107-132

This study presents an approach to evaIuating safety of computer databuses for use in avionics and automotive industries. It responds to the need for quaIification and certification of electronic devices used in safety-related applications. Some of these applications, such as fly-by-wire systems on the aircraft and steer-by-wire systems in cars, are reviewed briefly, first. Then the process of designing for safety is discussed, involving an outline of criteria for databus assessment with respect to the risk involved, folIowed by descriptions of respective approacbes to hazard anaIysis and failure mode anaIysis. After presenting typical characteristics of major databuses used in avionics and automotive applications, incIuding ARINC 429, 629 and 659 databuses, MIL-1553, IEEE-1394, CAN, TTCAN, FlexRay, TTP/C, Safe-by-Wire, and others, experimentaI results are presented and discussed for data throughput and latency evaIuations with regard to safety in databus technologies. This is folIowed by a discussion of databus scheduling experiments for CAN and TTCAN networks with fault injection, which show significantIy better databus utilisation in case of TTCAN, even though CAN databuses can operate with higher performance in a fault-free environment.

Artykuł przedstawia pewne określone podejście do oceny bezpieczeństwa komputerowych magistrali używanych w lotnictwie i w przypadku zautomatyzowanych technologii. Odpowiada na zapotrzebowanie kwalifikowania i certyfikacji urządzeń elektronicznych stosowanych w dziedzinach aktywności ludzkiej, wymagających zapewnienia wysokiego poziomu bezpieczeństwa. Dyskutowane jest projektowanie magistrali w aspekcie bezpieczeństwa przy uwzględnieniu kryteriów oceny ryzyka, analizy zagrożeń i uszkodzeń. Po przedstawieniu typowych głównych charakterystyk magistrali stosowanych w lotnictwie i zautomatyzowanych procesach omówione zostały wyniki eksperymentalne związane z bezpieczeństwem ich technologii.