Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: poprawność oprogramowania

Sortuj według:

Ogranicz wyniki do:

Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania

Szmuc T., Rogus G.

Pomiary Automatyka Kontrola

2005

R. 51, nr 9 bis

288--290

W artykule opisano zastosowanie języka formalnej specyfikacji LOTOS do wspomagania systematycznej analizy poprawności. Scharakteryzowano możliwości tego języka (tzw. style projektowe), jak również opisano koncepcję analizy poprawności. Przedstawiono również ramowe algorytmy analizy poprawności z wykorzystaniem pakietu CADP.

An application of LOTOS formal specification language for systematic correctness verification support is described in the paper. Basic possibilities (the so-called design frameworks) of this language are described, as well as the correctness concept is discussed. General algorithms for the correctness analysis using CADP package are also described.

Badanie niezawodności i poprawności oprogramowania w kolejowych systemach komputerowych

Trzaska K.

Zeszyty Naukowe. Transport / Politechnika Śląska

2003

z. 48

245-264

W referacie przedstawiono problemy budowy bezpiecznego oprogramowania aplikacji kolejowych przy wykorzystaniu teorii poprawności oprogramowania. Poprawne oprogramowanie ma bardzo istotny wpływ na działanie systemów uwarunkowanych bezpieczeństwem, zwłaszcza 4 poziomu bezpieczeństwa (SIL4). Jako przykład przedstawiony został uproszczony system samoczynnej sygnalizacji przejazdowej.

This paper presents a problem of build the safety software of railway control system using theory of software correctness. The correctness of software has an important effect to performance the fail-safe systems, especially SIL4 (safety integrity levels 4). For example was presented the railway control system applied to cross level protection.