VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES

G. V. Tabunshchyk, T. I. Kapliienko, O. V. Shytikova

Abstract


Context. In the article the task of systems with limited resources verification is considered. One of the challenges for implementation of concurrent minicomputer systems for implementations its in real products is high requirements to the limited hardware. As a result it course additional requirements for them and limited the sphere of their implementation especially in critical real-time systems in medicine or defense industry. That’s why development verification tools for minicomputer systems is actual task. The object of the research – the process of modelling of reconfiguring systems with limited resources functionality.

Objective – to improve reliability of systems with limited resources by ensuring of data integrity and automating of the verification process.

Method. The model of systems with limited resources verification based on the verification model of web-oriented systems is obtained, which describes the verified components of objects and the way of data exchange based on the dynamic model of data transmission. The concept of “functional unit” has been modified by adding hardware blocks, which makes it possible to automate the testing of these elements. The advantage of this model is that it collect results of verification of the devices connected to the minicomputers systems and describes the optimal period for reading archive files, which improve the relevance and integrity of test results for systems with limited resources. As a case study, the architecture of a minicomputer system based on Raspberry Pi was considered by the authors.

Results. Developed model was applied for the verification of the remote laboratory for reliability tasks (ISRT).

Conclusions. In the article the modified model for system with limited resources verification is suggested, which in contrast to web-oriented verification model describes adaptive architecture of the embedded systems and use model for data transition into the  external storage, which make possible to implement this model for variety of hardware configurations.

Keywords


Verification; functional unit; system with limited resources; Raspberry Pi.

References


ed. by S. Gaglio, G. Lo Re Advances in Intelligent Systems and Computing. How Ontologies Make the Internet of Things Meaningful. Switzerland, Springer, 2014, 349 p. DOI 10.1007/978-3-319-03992-3

Bell Ch. Beginning Sensor Networks with Arduino and Raspberry Pi. NY, Apress, 2013, 372 p. DOI:10.1007/978-1-4302-5825-4

Otkryityie operatsionnyie sistemyi dlya IoT [Electronic resource]. Access mode: https://www.pcweek.ru/iot/article/detail.php?ID=189815

Warren G. Raspberry Pi Hardware Reference [Text]. NY, Apress, 2014, 248 p. DOI:10.1007/978-1-4842-0799-4

Knutov E., De Bra P., Pechenizkiy M. AH 12 years later: a comprehensive survey of adaptive hypermedia methods and techniques, New Review of Hypermedia and Multimedia, 2009, Vol. 15, No. 1, pp. 5–38.

Corno F., Sanaullah M., Ambient J. Design-time formal verification for smart environments: an exploratory perspective, Journal of Ambient Intelligence and Humanized Computing, 2014, Vol. 5, Issue 4, pp. 581–599. DOI: 10.1007/s12652-013-0209-4.

Morozov V. P., Baranov S. N., Domaratskiy A. N. etc Sbor i analiz metrik pri vyipolnenii proektov programmnyih izdeliy [Electronic resource], Programmnyie produktyi i sistemyi, 1998, No. 4. Access mode: http://swsys.ru/index.php?page=article&id=1006.

Balik M., Jelinek I. Generic Ontology-based Model for Adaptive Web Environments, IEEE 16th International Conference of Computational Science and Engineering, 2013, pp. 495–500. DOI: https://doi.org/10.1109/CSE.2013.80.

Kapliienko T. I. Informatsiina tekhnolohiia dynamichnoho planuvannia ta monitorynhu protsesu rozroblennia web-oriientovanykh informatsiinykh system: avtoref. dys. … kand. tekhn. nauk : 05.13.06; M-vo osvity i nauky Ukrainy, Khersonskyi Natsionalnyi Tekhnichnyi Universytet. Kherson, 2015, 23 p.

Function Point Counting Practices Manual, Release 4.2, IFPUG, 2004. [Electronic resource]. Access mode: http://www.ifpug.org/.

ed. by Karsten Henke Viddaleniy ta virtualniy instrumentariy v inzhiniringu: monografiya. Zaporizhzhya, Dike pole, 2015, 250 p. ISBN 978-966-2752-74-8.

Shitikova E. V., Tabunschyk G. V. Dinamicheskaya model peredachi dannyih gazoturbinnyih ustanovok nazemnogo primeneniya, Naukovi pratsi Donetskogo natsionalnogo tehnichnogo universitetu, seriya: «Informatika, kibernetika ta obchislyuvalna tehnika», 2016, No. 1(22), pp. 132–135.

Tabunshchyk G., Van Merode D., Arras P. etc. Interactive platform for Embedded Software Development Study, Proc. of 14th Int. Conf. on Remote Engineering and Virtual Instrumentation (REV2017) (15–17 March 2017, Columbia University, New York, USA), 2017, pp. 191–197.

A. S. № 66615 Sistema keruvannya kontentom dlya vIddalenih eksperimentIv z doslidzhennya nadiynosti vbudovanih sistem / Tabunschik G.V., Ohmak V.O., opubl. 13.07.2016

Karčevs’kyj V. P. Pat. 59109 Ukrajina, MPK (2006.01) H03K 19/20, G06F 11/07, G06F 11/30. Prystrij dlja funkcional’noho diahnostuvannja elektronnyx system [Tekst] ; zajavnyk I patentovlasnyk Ukrajins’ka Inzhenerno-Pedahohichna Akademija. u201009322; zajavl. 26.07.2010; opubl. 10.05.2011, bjul. № 9.

Kravсhenko V. I. Patent 30579 Ukrajina, MPK (2006.01) G06F 3/01. Elektronna informacijna systema [Tekst] ; zajavnyk I patentovlasnyk Kravchenko Valerij Ivanovych. u200800764; zajavl. 22.01.2008; opubl. 25.02.2008, bjul. N 4.


GOST Style Citations


1. Advances in Intelligent Systems and Computing. How Ontologies Make the Internet of Things Meaningful / [ ed. by S. Gaglio, G. Lo Re]. – Switzerland: Springer, 2014. – 349 p. DOI 10.1007/978-3-319-03992-3.

2. Bell Ch. Beginning Sensor Networks with Arduino and Raspberry Pi / Ch. Bell. – NY: Apress, 2013. – 372 p. DOI:10.1007/978-1-4302-5825-4.

3. Открытые операционные системы для IoT [Electronic resource]. – Access mode: https://www.pcweek.ru/iot/article/detail.php?ID=189815.

4. Warren G. Raspberry Pi Hardware Reference / G. Warren. – NY: Apress, 2014. – 248 p.  DOI:10.1007/978-1-4842-0799-4.

5. Knutov E. AH 12 years later: a comprehensive survey of adaptive hypermedia methods and techniques / E. Knutov, P. De Bra, M. Pechenizkiy // New Review of Hypermedia and Multimedia. – 2009. – Vol. 15, No. 1.– P. 5–38.

6. Corno F. Design-time formal verification for smart environments: an exploratory perspective/ F. Corno,  M. Sanaullah, J Ambient//Journal of Ambient Intelligence and Humanized Computing. – 2014. – Vol. 5, Issue 4. – P. 581–599. DOI: 10.1007/s12652-013-0209-4.

7. Морозов В. П. Сбор и анализ метрик при выполнении проектов программных изделий/[В. П. Морозов, С. Н. Баранов, А. Н. Домарацкий и др.] // Программные продукты и системы. – 1998. – № 4. – Режим доступа: – http://swsys.ru/index.php?page=article&id=1006.

8. Balik M. Generic Ontology-based Model for Adaptive Web Environments / M. Balik, I. Jelinek // IEEE 16th International Conference of Computational Science and Engineering. – 2013. – P. 495–500. DOI: https://doi.org/10.1109/CSE.2013.80.

9. Каплієнко Т. І. Інформаційна технологія динамічного планування та моніторингу процесу розроблення web-орієнтованих інформаційних систем: автореф. дис. канд. техн. наук : 05.13.06 / Каплієнко Т. І. ; М-во освіти і науки України, Херсонський Національний Технічний Університет. – Херсон, 2015. – 23 с.

10. Function Point Counting Practices Manual, Release 4.2, IFPUG, 2004. [Электрон. ресурс]. – Режим доступа: http://www.ifpug.org/.

11. Віддалений та віртуальний інструментарій в інжинірингу: монографія /[ed. by Karsten Henke]. – Запоріжжя : Дике поле, 2015. – 250  с. ISBN 978-966-2752-74-8.

12.Шитикова Е. В. Динамическая модель передачи данных газотурбинных установок наземного применения / Е. В. Шитикова, Г. В. Табунщик // Наукові праці Донецького національного технічного університету, серія: «Інформатика, кібернетика та обчислювальна техніка». – 2016. – № 1(22). – С. 132-135.

13. Interactive platform for Embedded Software Development Study / [G. Tabunshchyk, D. Van Merode, P. Arras etc] // Proc. of 14th Int. Conf. on Remote Engineering and Virtual Instrumentation (REV2017) (15–17 March 2017, Columbia University, New York, USA), 2017. – P. 191–197.

14. А.С. № 66615 Система керування контентом для віддалених експериментів з дослідження надійності вбудованих систем / Г. В. Табунщик, В. О. Охмак, опубл. 13.07.2016

15. Пат. 59109 Україна, МПК (2006.01) H03K 19/20, G06F 11/07, G06F 11/30. Пристрій для функціонального діагностування електронних систем / В. П. Карчевський; заявник і патентовласник Укра їнська Інженерно-Педагогічна Академія. – № u201009322; заявл. 26.07.2010; опубл. 10.05.2011, бюл. № 9.

16. Пат. 30579 Укра їна, МПК (2006.01) G06F 3/01. Електронна інформаційна система / В. І. Кравченко;  аявник і патентовласник Кравченко Валерій Іванович. – № u200800764; заявл. 22.01.2008; опубл. 25.02.2008, бюл. № 4.




DOI: https://doi.org/10.15588/1607-3274-2017-4-18



Copyright (c) 2017 G. V. Tabunshchyk, T. I. Kapliienko, O. V. Shytikova

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Address of the journal editorial office:
Editorial office of the journal «Radio Electronics, Computer Science, Control»,
Zaporizhzhya National Technical University, 
Zhukovskiy street, 64, Zaporizhzhya, 69063, Ukraine. 
Telephone: +38-061-769-82-96 – the Editing and Publishing Department.
E-mail: rvv@zntu.edu.ua

The reference to the journal is obligatory in the cases of complete or partial use of its materials.