Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formal modeling

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ń.

Towards a process calculus for REST: current state of the art

Dwornikowski D., Stroiński A., Brzeziński J.

Foundations of Computing and Decision Sciences

2015

Vol. 40, No. 4

237--265

SOA is a popular paradigm for building distributed systems that has gained a great recognition over past years. There are two main approaches to implementing SOA: SOAP-based and RESTful Web services. In order to address problems of modeling and verification of Web services, several process calculi have been proposed for SOAP-based Web services but none for the RESTful Web services based systems. This article is a comparative survey on existing process calculi for SOA systems, also the existing attempts to formalize REST systems are discussed. The aim of the article is to see how process calculi for SOAP-based systems deal with different aspects of their modeling domain, and whether their approaches can be used to model RESTful and ROA systems. Finally, basing on the survey, requirements for a new process calculus specific for REST are defined.