The main benefit of the project is the consideration of what safety and security mean in the context of embedded systems networks and the study of methods and techniques that can be used to achieve it. Goal is determine methods and techniques for the development of embedded systems networks with demands on safety and security in adherence to international standards, and to use, operate and modify the most promising internationally available techniques and tools for analysis and model checking aiming at validating safety and security properties. Adherence to standards is a growing need in today's interoperable environments of embedded system networks. The development of embedded systems networks necessitates that the safety and security features of the system be compared against appropriate protection profiles and security targets of the common criteria. This involves identifying the appropriate evaluation assurance level and then performing the actual validation. Internal and external safety and (en)
Hlavním přínosem projektu je určit jaký má význam spolehlivost a bezpečnost v sítích vestavěných systémů a výzkum metod a technologií, které je nutno použít pro jejich dosažení. Cílem je stanovit metody a technologie pro vývoj sítí vestavěných systémů s požadavky na bezpečnost a spolehlivost včetně jejich souvislost s použitím mezinárodních standardů. Dodržování standardů je stále potřebnější v každodenní spolupráci v prostředí sítí vestavěných systémů. Použít a modifikovat perspektivní mezinárodní technologie a nástroje pro analýzu a modelování pro sledování cíle při hodnocení vlastností bezpečnosti a spolehlivosti. Vývoj sítí vestavěných systémů nutně vyžaduje, aby vlastnosti sítí vestavěných systémů jako je bezpečnost a spolehlivost byly srovnány s odpovídajícími profily ochrany a bezpečnosti na základě obecného kriteria. Toto vyžaduje vyhodnocení příslušné úrovně zabezpečení a pak provedení aktuálního vyhodnocení. Vnější a vnitřní bezpečnost se stává stále více kritickou a stále více
Řešitelé se zabývali problematikou bezpečné a spolehlivé architektury vzájemného spojení sítí vestavěných systémů zejména při použití bezdrátového spojení. Byly vytvořeny modely základních bezdrátových komunikačních sítí s algoritmy modulací a byla provedena simulace základních modulací a demodulací přenášených dat a signálů využitelných v bezdrátových komunikačních sítích. Experimentální model u (cs)
Researchers have dealt with the issue of safe and reliable mutual connection network architecture of embedded systems, especially when using wireless connections. Some basic models of wireless communication networks and modulation algorithms have been developed. Also, there have been simulated the basic modulation and demodulation modes of the transmitted data signals and used in wirel (en)