VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES

Authors

  • G. V. Tabunshchyk Zaporizhzhya National Technical University, Ukraine
  • T. I. Kapliienko Zaporizhzhya National Technical University, Ukraine
  • O. V. Shytikova Zaporizhzhya National Technical University, Ukraine

DOI:

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

Keywords:

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

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.

Author Biographies

G. V. Tabunshchyk, Zaporizhzhya National Technical University

PhD, Associate Professor, Professor of Software Tools Department

T. I. Kapliienko, Zaporizhzhya National Technical University

PhD, Associate Professor of Software Tools Department

O. V. Shytikova, Zaporizhzhya National Technical University

Researcher in Software Tools Department

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.

Downloads

How to Cite

Tabunshchyk, G. V., Kapliienko, T. I., & Shytikova, O. V. (2018). VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES. Radio Electronics, Computer Science, Control, (4), 162–167. https://doi.org/10.15588/1607-3274-2017-4-18

Issue

No. 4 (2017): Radio Electronics, Computer Science, Control

Section

Progressive information technologies

License

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.

Creative Commons Licensing Notifications in the Copyright Notices

The journal allows the authors to hold the copyright without restrictions and to retain publishing rights without restrictions.

The journal allows readers to read, download, copy, distribute, print, search, or link to the full texts of its articles.

The journal allows to reuse and remixing of its content, in accordance with a Creative Commons license СС BY -SA.

Authors who publish with this journal agree to the following terms:

  • Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License CC BY-SA that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

  • Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.

  • Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.