Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/handle/ntb/39781
Title: Розумні вимірювальні засоби для кіберфізичних систем
Other Titles: Smartmeasuring instruments for cyber-physical systems
Authors: Микийчук, Микола
Стадник, Богдан
Яцишин, Святослав
Луцик, Ярослав
Affiliation: Національний університет “Львівська політехніка”
Bibliographic description (Ukraine): Розумні вимірювальні засоби для кіберфізичних систем / М. Микийчук, Б. Стадник, С. Яцишин, Я. Луцик // Вимірювальна техніка та метрологія : міжвідомчий науково-технічний збірник / Міністерство освіти і науки України ; відповідальний редактор Б. І. Стадник. – Львів : Видавництво Львівської політехніки, 2016. – Випуск 77. – С. 3–16. – Бібліографія: 28 назв.
Journal/Collection: Вимірювальна техніка та метрологія
Volume: 77
Issue Date: 2016
Publisher: Видавництво Львівської політехніки
Country (code): UA
Place of the edition/event: Львів
UDC: 536.5; 536.5.081
Keywords: розумні вимірювальні інструменти
мережі із розумних сенсорів
сенсорні розподілені мережі
основне і проміжне метрологічне програмне забезпечення
верифікація
умные измерительные инструменты
сети из умных сенсоров
сенсорные распределенные сети
основное и промежуточное метрологическое программное обеспечение
верификация
smart measuring instruments
smart sensors grids
distributed sensors networks
metrological software and middleware
verification
Number of pages: 3–16
Abstract: Праця спрямована на розвиток кіберфізичних систем, які стають ключовим фактором повсякденного життя, а розумні вимірювальні прилади вважають невід’ємним компонентом цієї системи. Розглядається верифікація метрологічних підсистем за параметрами, що визначають керованість обладнання та процесів, розробленням, впровадженням та реалізацією конкретних метрологічних методів та інструментів, які успішно описуються термінами “апаратна підтримка, основне і проміжне метрологічне програмне забезпечення”. Работа направлена на развитие киберфизических систем, которые становятся ключевым фактором повседневной жизни, а умные измерительные приборы считаются неотъемлемым компонентом этой системы. Рассматривается верификация метрологических подсистем по параметрам, определяющим управляемость оборудования и процессов, путем разработки, внедрения и реализации конкретных метрологических методов и инструментов, которые успешно описываются терминами “аппаратная поддержка, основное и промежуточное метрологическое программное обеспечение”. Smart measuring instruments are the prerequisite for CPS design as they constitute the essential units of informationmeasuring subsystems. There is a set of smart measurement instruments which is divided into the following subsets: smart sensors, smart transducers, their grids etc. that can be joined together in modern wireless sensor networks. The emerging field of cheap and easily deployed sensors offers an unprecedented opportunity for a wide spectrum of various applications. When combined, they offer numerous advantages over traditional networks. These include a large-scale flexible architecture, high-resolution data, and application-adaptive mechanisms as well as a row of metrological specific features and performance (self-check, self-validation, self-verification, self-calibration, self-adjustment). Milestones in everyday work aiming to ensure reliable wireless sensors networks operation lie in the direction of functional and probabilistic verifications. We provide the software and middleware development aiming to reach predetermined behavior. The easiest way to achieve this may be demonstrated on the example of widespread wireless fire detector networks. They are characterized by a number of special algorithms directed on as fast as possible and accurate triggering and actuating the automation of higher level. So, it becomes necessary to research and implement the original operation algorithms for fire sensors and also check algorithms for periodic real-time software examination. Considering their structural complexity (presence of smoke and heat sensitive elements, various principles of elaboration of the received signals, their drift of characteristics, and pollution of translucent elements, etc.) the development of such algorithms is a daunting task. Herein, human life may be the price for a bug. Equally important seems to be probabilistic verification that is to boost the probability of reaching wireless sensors network declared goals (estimation of their chances being achieved). Each network consists structurally of a large number (up to 103) of nodes which are individual sensors able to radio communicate with one or several neighboring units. The most common wireless sensors network is the fire alarm sensors network each branch of which has up to 26 sensors which was caused by limiting the length of microcontroller register. Topology of every network may differ: star, cluster tree, mesh, up to advanced multi-hop mesh network. Propagation technique between hops of network can be routing or flooding. Nowadays, problem arises to adapt traditional network topologies to contemporary communicating conditions. If a centralized architecture is used in a sensor network and the central node fails, then the entire network will collapse, however the reliability of sensor network can be increased by using distributed control architecture. Distributed control is used in such networks for the following reasons: sensor nodes are prone to failure; for better collection of data; to provide nodes with backup in case of the central node failure; resources have to be self -organized. Aiming at the substantial development of Cyber-Physical systems, which are becoming a key element of everyday life,the smart measuring instruments are considered below as an indispensable part of entire systems. Verification of the metrological subsystems for parameters determining the controlled equipment and processes through the development,implementation and realization of specific metrology and standardization methods, instruments, that is successfully described by the terms “metrological hardware, software, and middleware”. Smart sensors are supplied with digital information transmissive means by equipping them with built-in digital controllers to match the universal network interface or by combining technology of analogue and digital transmission in a single measuring channel. According to the structure all smart sensors are divided into 4 groups: sensors of centralized and decentralized types, as well as sensors with digital and analogue buses. According to correction methods the analogue interfaces with smart sensors are divided into the groups: with manual error correction, with auto correction of errors in analogue-digital form, and with digital correction of errors. Specific measurement consists in evaluating MIs performance reliability, trueness, and other metrological properties, due to the quality of a certain kind of metrological software, or the software linked to metrological features of MIs. MI software metrological verification raises the problem of appropriate methods choice of software and middleware assessing, testing, and certifying. The metrological validation must result in confirmation or discarding of the studied ware following the requirements indicated in normative documents. Procedures and methods of checking software, and determining its disadvantages are considered below. Software study includes first of all the fulfilling the procedures of inambiguity ensuring the operating functions for generated data. Selection of the procedures is determined by regulation requirements, as well as by the software developer or the user’s desires to confirm its compliance with the target specification.
URI: http://ena.lp.edu.ua:8080/handle/ntb/39781
References (Ukraine): 1. Platzer A. Carnegie Mellon University. Logical Foundations of Cyber-Physical Systems. http://symbolaris. com/logic/lfcps.html. 2. Mathas C. Smart Sensors – Not Only Intelligent, but Adaptable, Contributed By Electronic Products, 2011-09-29. 3. S. Y. Yurish, Sensors: Smart vs. Intelligent, Sensors & Transducers, Vol. 114, Issue 3, pp. 1–6, March 2010. 4. Deb B., Bhatnagar S., Nath B. A Topology Discovery Algorithm for Sensor Networks with Applications to Network Management” // CiteSeerX, 2002. 5. Wayne W. Manges, Oak Ridge National Laboratory. 6. Ad-hoc Sensor Networks http://www.brunel.ac.uk/cedps/electronic-computer- engineering/research-activities/ wncc/ad-hoc-sensornetworks. 7. Sensor technology handbook, Editor-in-Chief Jon S.Wilson, SA, 2005. 8. Wobschall D. Smart Sensors for Smart Grid // Sensor Tech Forum, 2011. 9. What is smart grid sensor? – Definition from WhatIs.com. internetofthingsagenda. techtarget.com/definitio. 10. Change into UA. Start-up in energetics, 2015. 11. Salem H., Nader M., Middleware: Middleware Challenges and Approaches for Wireless Sensor Networks // IEEE DISTRIBUTED SYSTEMS ONLINE 1541–4922, Published by the IEEE Computer Society, Vol. 7, No. 3, March 2006. 12. What is Middleware? // Middleware.org. Defining Technology, 2008, Retrieved 2013-08-11. 13. Hadim S., Mohamed N., “Middleware challenges and approaches for wireless sensor networks”, IEEE Distributed Systems Online, vol.7, Issue, 2006, Retrieved March 4, 2009 from IEEE Distributed Systems. 14. Kazahaya M. A Mathematical Model and Error Analysis of Coriolis Mass Flowmeters // IEEE Transactions on Instrum. and Measurement/ – 2011. – Vol. 60, Issue 4. – Р. 1163–1174. 15. Spitzer D. The Consumer Guide to Coriolis Mass Flowmeters // Seminar. Spitzer and Boyes, LLC, 2004. 16. The procedure for certification of software of measuring instruments. – Access to information: http://www.uazakon. com/. 17. WELMEC 7.1, Edition 2 Information document. Development of software requirements, Vienna, 48 p., 2005. 18. MI 3286 – 2010. Testing of software protection, with the determination of its level at the measuring instruments tests in order to type approval. – Moscow, 2010. – 33 p. (in Russian). 19. Microsoft Secure Software Development // The 3-rd Conference on minimization of software vulnerabilities in its development, www.microsoft.com/ru-ru/./mssdcon2013/. 20. What is CSSLP (certified secure software lifecycle. Searchsecurity. techtarget.com/./CSSLP-certifie. 21. ISSECO, the International Secure Software Engineering Council. www.isseco.org/ 22. Zlygosteva G. V., Muravyev S. V. The generalized model of a test procedure of measuring software // Bulletin of the Tomsk Polytechnic. – Univ, 2011. – Vol. 318, No. 4. – Р. 62–67 (in Russian). 23. Kovalevskaya E. V. Metrology, software quality and certification. – Moscow, 2004 (in Russian). 24. Oleskiv O., Kunets I., Mykytyn I. Review of Techniques and Methods of Software Verification of Metrological Means. – Lviv: Publishing House of Lviv Politechnic, 2014. – No. 75 http://vlp.com. ua/node/12707 (in Ukrainian). 25. Yatsyshyn S., Stadnyk B., Lutsyk Ya., Buniak L. Handbook of Thermometry and Nanothermometry // IFSA Publishing, Spane, 2015. 26. Measurement Science Roadmap for Metal-Based Additive Manufacturing, May 2013, sponsored by NIST. 27. Ko S., Pan H., Grigoropoulos C. et al. All-inkjet-printed flexible electronics fabrication on a polymer substrate by low-temperature high-resolution selective laser sintering of metal nanoparticles // IOP Publishing, Nanotechnology. – 2007, Vol. 18, 345202, 8 pp., 28. Concept Laser Introduces QA Tool for In Process AM: QMmeltpool 3D Available Next Year, July 2, 2015.
Content type: Article
Appears in Collections:Вимірювальна техніка та метрологія. – 2016. – Випуск 77

Files in This Item:
File Description SizeFormat 
vyp_77_Vymir-tech-3-16.pdf304,71 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.