Wyniki wyszukiwania - BazTech

1

Application of UML modelling for analysis of safety integrity level in railway traffic control systems

Marzec M., Uhl T., Barszcz T.

Diagnostyka

|

2011

|

nr 4(60)

21-26

EN

Railway traffic control systems require extremely high level of operational safety. Due to very high costs of safety failure, this field is subject to the regulation by numerous norms, which describe formal methods of safety level calculation (denoted as Safety Integrity Level - SIL). Such an analysis is tedious and time consuming, especially in case of complex systems. The paper proposes application of UML modeling approach to perform joint analysis of the system architecture and its operation. The approach also uses the Fault Tree Analysis (FTA) and can be used to identify the weakest links in the whole system. The method allows to quickly introduce changes in system architecture or parameters and evaluate the impact on the safety. The proposed approach was successfully applied to the real case of a railway system.

PL

Systemy SRK wymagają szczególnie wysokiego poziomu bezpieczeństwa eksploatacji. Ze względu na bardzo wysokie koszty awarii, dziedzina ta jest przedmiotem podlegającym regulacjom wielu norm opisujących formalne metody obliczania poziomu bezpieczeństwa (oznaczony, jako poziom nienaruszalności bezpieczeństwa - SIL). Analiza prowadząca do wyznaczenia poziomu SIL jest trudna i czasochłonna, zwłaszcza w wypadku bardzo skomplikowanych systemów. Niniejsza praca proponuje aplikację podejścia z wykorzystaniem modelowania UML do przeprowadzania analizy architektury systemu i jego działania. Podejście to korzysta również z analizy drzewa błędów FTA i może być użyte do identyfikacji najsłabszych elementów systemu. Metoda ta pozwala również na szybkie wprowadzanie zmian w architekturze lub parametrach systemu, oraz pozwala obliczyć ich wpływ na bezpieczeństwo. Zaproponowane rozwiązanie zostało z powodzeniem zastosowane w prawdziwym systemie kolejowym.

2

Ocena funkcjonalna środowisk modelowania UML jako składowa wielokryterialnej oceny technologii informa-tycznych

Sitek T.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2007

|

T. 13

273-280

PL

W artykule przedstawiono koncepcję systemu wieloagentowego do oceny technologii informatycznych stosowanych do wytwarzania oprogramowania. Jednym z komponentów takiego rozwiązania ma być system ekspertowy bazujący na wiedzy. Jako, że niezbędnym etapem prac będzie przygotowanie bazy wiedzy, konieczny będzie w pierwszej kolejności dobór adekwatnych parametrów. Autor prezentuje wyniki pierwszych, wstępnych badań nad środowiskami do modelowania UML opartych na wybranej grupie parametrów funkcjonalnych. Parametry te zostaną w dalszych etapach poddane weryfikacji przez ekspertów i wykorzystane do budowy baz wiedzy.

EN

In the paper author presented concept of multiagent system for evaluation of IT technologies applied in building software process. Knowledge-based expert system is going to be one of the main components of such system. Preparing knowledge base is the first step in whole project. That is why identification of key parameters must be done as the first step. Author included the results of his preliminary researches of UML modeling applications. The goal was to identify group functional parameters. These parameters will be verified by experts and used later for building knowledge base.

3

Modelowanie obiektowe w procesie wytwarzania systemu informatycznego wspierającego badania i projektowanie kamiennych regeneratorów ciepła

Rogacki P., Mueller W., Weres J.

Inżynieria Rolnicza

|

2007

|

R. 11, nr 2 (90)

257-263

PL

Skuteczną metodą radzenia sobie ze złożonością systemów empirycznych, które między innymi stanowią przedmiot zainteresowania inżynierii rolniczej jest wieloetapowe i wieloaspektowe modelowanie dziedziny problemowej. Zakres tych działań rozszerza się, jeżeli do celów badawczych chcemy wykorzystać symulacje komputerowe realizowane na bazie wytworzonego systemu informatycznego. Wygodnym standardem ułatwiającym zrealizowanie poszczególnych etapów modelowania wybranej, złożonej dziedziny problemowej, zmierzające do jej poznania, jest język UML 2.0. Bazując na nim, autorzy przeprowadzili ponowne modelowanie systemu empirycznego, jakim jest kamienny regenerator i pełniej niż dotąd wyjaśnili jego zachowanie.

EN

The complexity of empirical systems which are among others the subject of interest of agricultural engineering, can be effectively dealt with by means of multi-staged and multi-faced problem area modeling. The scope of these actions widens if we want to use computer simulations realized using the created informatics system. The UML2.0 language is a handy standard facilitating particular levels of modeling the chosen problem area. Using it, the authors conducted a modeling of a stone regenerator and gave a fuller explanation of its behaviour.