Wyniki wyszukiwania - BazTech

1

Innowacyjne systemy zabezpieczenia osób i mienia jako przedmiot certyfikacji

Wach A. K.

Elektronika : konstrukcje, technologie, zastosowania

|

2013

|

Vol. 54, nr 4

87-90

PL

Certyfikacja systemu zabezpieczenia osób i mienia wykonana na zgodność z odpowiednim dokumentem normatywnym przez kompetentny personel akredytowanej jednostki certyfikującej stanowi wiarygodną ocenę jakości certyfikowanego systemu. Przeprowadzenie procesu certyfikacji (w tym wystawienie certyfikatu) wymaga jednoznacznego zdefiniowania przedmiotu certyfikacji. W publikacji omówiono podstawowe problemy producenta (importera) systemów zabezpieczenia osób i mienia, który chce zgłosić wniosek o przeprowadzenie procesu certyfikacji obiektu będącego określonego rodzaju systemem. Problemy te wynikają głównie z faktu, że producent dysponuje zbiorem elementów składowych. Z tych elementów zbudowany może być dowolny rodzaj systemu zależnie od potrzeb i wymagań klienta. Przebadanie wszystkich udokumentowanych dla elementów możliwości i potwierdzenie ich poprawności w procesie oceny jest z reguły długotrwałe i bardzo kosztowe. Identyfikacja danego systemu wymaga dodatkowego opracowania dla niego dokumentacji technicznej. W publikacji przedstawiono kryteria oceny systemów i ich elementów. Omówiono również kryteria konieczne do właściwego określenia przedmiotu certyfikacji przez producenta (lub importera).

EN

The certification of the system for protection of persons and property carried on compliance with the relevant normative document by competent personnel of the certification body provides a reliable assessment of the quality of the certified system. The certification process (inecuding the issuance of the certificate) reguires unambiguous definition of the certification subject. The paper discusses the basic problems of the manufacturer (or importer) of the systems for protection of persons and property who wants to submit a request for a certification process of that object, which is a specified type of the system for protection. These problems are mainly due to the fact that the manufacturer has only a set of the elements. From these elements can be constructed any type of the system according to the needs and requirements of the customer. Testing all these documented elements evidence of their capabilities and to confirm their correctness in the assessment process is usually long-lasting and very cost. The identification of the system for protection requires additional studies for the system technical documentation. The paper presents the criteria for the evaluation of the systems and their components. It also discusses the criteria necessary for the proper identification of the certification subject by the manufacturer (or importer).

2

Metodyka budowy komputerowych systemów srk

Maciejewski M., Zabłocki W.

Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne

|

2011

|

Nr 96, z. 158

289--305

PL

W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.

EN

The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.

3

Wprowadzenie do weryfikacji i symulacji w środowisku NuSMV

Grobelna I.

Metody Informatyki Stosowanej

|

2011

|

nr 1

23-30

PL

Specyfikacja systemu informatycznego jest jednym z pierwszych etapów jego tworzenia i stanowi fundament dalszych prac. Na tym etapie projektu określany jest sposób działania systemu oraz właściwości jego pracy. Należy zadbać o to, aby specyfikacja była w pełni poprawna, a zaprojektowany system spełniał wszystkie stawiane mu wymagania . Jedną z metod walidacji specyfikacji jest weryfikacja oraz symulacja modelu systemu. Oba zadania mogą zostać wykonane w środowisku NuSMV.

EN

The article is a short introduction into model checking and simulation in the NuSMV environment. The NuSMV tool allows description offinite state machines FSM and their verification using temporal logic formulas. Using a simple example (traffic lights), basic rules and commands of model checking and simulation process are presented. Using the NuSMV environment it is possible to detect some errors at an early stage of system development.