12 Infrastructure Intellectual Property for SoC Simulation and Diagnosis Service

C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets

“…Petri nets are supported by analysis and verification methods [21], [22], [28], [32]- [36]. It is possible to use them as an input format for formal verification (such as model checking) which facilitates finding divergences between the formal model and the requirements of the customer/user [32]- [34]. The verification is usually performed automatically by dedicated tools, such as symbolic model checker NuSMV [21] or its extension -nuXmv [35].…”

Відношення Між Відношеннями Кібер-Соціального Комп'ютингу

“…Завдяки нещодавнім досягненням [2] Інтернету речей (IoT) та зростаючій доступності повсюдно поширених обчислювальних ресурсів та мобільних пристроїв, поширенню мультимедійного контенту та подальшим соціальним, економічним та культурним змінам обчислювальні технології та програми швидко розвиваються для обслуговування громадян. Тепер вони виходять за межі персональних комп'ютерів [3], полегшуючи спільну роботу та соціальні взаємодії в цілому, викликаючи швидке поширення соціальних відносин між об'єктами IoT.…”