Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: modelowanie formalne

Sortuj według:

Ogranicz wyniki do:

Oz M. A., Kaymakci O. T., Koyun A.

Eksploatacja i Niezawodność

2017

Vol. 19, no. 1

114--120

Within its structure railway transportation systems contain very critical subsystems that can seriously harm the system itself, people or the environment if not properly controlled. Therefore, these critical subsystems are analysed according to the related standards and necessary safety functions are implemented, verified and operated. On the other hand, railway power supply system, which is a critical subsystems, is generally properly analysed from a reliability perspective whereas the corresponding safety related functions are roughly examined. This paper proposes that the railway power supply systems should be considered as safety critical systems and justifies this proposal using risk analysis as presented in the standard IEC 61508. The safety related functions of the system are examined and each function is modelled in detail using Markov modelling method. These models are implemented over a power supply system of Istanbul Transportation Co. and SIL values of the safety functions are calculated using these modular and easily adaptable Markov models. Furthermore the obtained results are compared with simplistic Fault Tree analysis (FTA) and the significance of accurate calculation is demonstrated.

W skład struktury kolejowych systemów transportowych wchodzą krytyczne podsystemy, które, nieodpowiednio monitorowane, mogą narażać sam system, a także ludzi oraz środowisko na poważne szkody. Dlatego też, podsystemy krytyczne analizuje się zgodnie z odpowiednimi normami oraz wdraża w nich, weryfikuje i realizuje niezbędne funkcje bezpieczeństwa. W przypadku systemów zasilania kolei, które należą do grupy podsystemów krytycznych, system na ogół analizuje się dokładnie z punktu widzenia niezawodności, natomiast funkcje bezpieczeństwa bada się jedynie pobieżnie. W prezentowanej pracy postuluje się że systemy zasilania kolei powinny być traktowane jako krytyczne dla bezpieczeństwa, co autorzy uzasadniają z wykorzystaniem analizy ryzyka przedstawionej w normie IEC 61508. W proponowanym rozwiązaniu, bada się funkcje bezpieczeństwa systemu, przy czym każda funkcja zostaje szczegółowo zamodelowana za pomocą metody modelowania Markowa. Modele tego typu wdrożono w systemie zasilania firmy Istanbul Transportation Co. Wartości poziomu nienaruszalności bezpieczeństwa (SIL) badanych funkcji bezpieczeństwa obliczano za pomocą wspomnianych modularnych modeli Markowa charakteryzujących się łatwością adaptacji. Ponadto, uzyskane wyniki porównano z symplistyczną analizą drzewa błędów (FTA), a także wykazano znaczenie prowadzenia dokładnych obliczeń.

Alvis approach to Hexor robot controller development

Szpyrka M., Matyasik P., Mrówka R.

Elektronika : konstrukcje, technologie, zastosowania

2010

Vol. 51, nr 11

63-66

Alvis jest językiem modelowania, rozwijanym głównie z myślą o projektowaniu i weryfikacji systemów wbudowanych. Wywodzi się on z algebr procesów CCS i XCCS, ale w języku tym równania algebraiczne zostały zastąpione przez język programowania wysokiego poziomu oparty na języku Haskell. W przeciwieństwie do algebr procesów, które umożliwiają wyłącznie tekstowy opis systemów wbudowanych, w języku Alvis struktura projektowanego systemu, z punktu widzenia przepływu danych i sterowania, przedstawiana jest graficznie za pomocą diagramów komunikacji. Poniższy artykuł zawiera wprowadzenie do języka Alvis zilustrowane modelem sterownika dla robota mobilnego Hexor II.

Alvis is a novel modelling language defined especially for the embedded systems design and verification. The language has its origin in CCS and XCCS process algebras, but algebraic equations have been replaced with a Haskell based high level programming language. Moreover, Alvis provides communication diagrams for the visual modelling of an embedded system structure, especially from the control and data-flow point of view. This paper presents an introduction to Alvis based on a model of a controller for the Hexor II mobile robot.