Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: non-interference for timed automata

Sortuj według:

Ogranicz wyniki do:

A Notion of Non-Interference for Timed Automata

Barbuti R., De Francesco N., Santone A., Tesei L.

Fundamenta Informaticae

2002

Vol. 51, nr 1,2

1-11

The non-interference property of concurrent systems is a security property concerning the flow of information among different levels of security of the system. In this paper we introduce a notion of timed non-interference for real-time systems specified by timed automata. The notion is presented using an automata based approach and then it is characterized also by operations and equivalence between timed languages. The definition is applied to an example of a time-critical system modeling a simplified control of an airplane.