Case of Discrete-Event Simulation of the Simple Sensor Node with CPN Tools

Faerman, V A; Voevodin, Kirill; Avramchuk, V. S.

doi:10.1109/sibcon56144.2022.10002956

Cited by 4 publications

(3 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…So the modeling environment combines imperative and declarative development paradigms that makes it a lite, but effective tool to animate data flow diagrams. [53] This software package has found academic recognition as a visual and simple tool for formal modeling of telecommunications [55,56] and computing systems [57,58]. The merit of CPN Tools is the bulk of open documentation provided by the developers.…”

Section: Discrete-event Modelmentioning

confidence: 99%

See 1 more Smart Citation

Design and Modeling of Hardware Kit for QKD Education of Engineering Students and Communication Engineers

Faerman,

Terekhin,

Bragin

et al. 2024

Preprint

View full text Add to dashboard Cite

The paper discusses the design and modeling of a simple and illustrative hardware kit for teaching the basics of quantum cryptography to engineering students. The novel solution differs from those already on the market in that it is focused on familiarising trainees with the physical principles of quantum key distribution, as well as with the basics of mathematical formalism in quantum mechanics. This is achieved by using a minimally sufficient set of optical elements with a simple mathematical description in the Jones formalism. This composition of the kit is targeted mostly at engineering students and does not require advanced training in physics as a prerequisite. The configurable architecture of the hardware educational kit contributes to the deeper involvement of students. By independently changing the modular configuration of the system, students can conduct experiments that were not directly provided by the developers. For instance, students can assess the impact of choosing the basic settings of phase retarders on the course of a man-in-the-middle attack. The proposed amount of mathematical and informational support, as well as ready-made formal models, is sufficient to reasonably put forward hypotheses for experimental verification and interpret the obtained empirical data. At this moment, the hardware kit is being replicated, distributed and successfully applied at universities and companies in the communications industry. The accumulated experience of educational use testifies to the high efficiency of the kit as a tool for basic QKD training for people without prior knowledge of quantum mechanics. A discrete event model simulating the operation of the hardware kit is implemented in the non-commercial modeling software CPN Tools and is openly distributed.

show abstract

Section: Discrete-event Modelmentioning

confidence: 99%

“…The up-to-date version of the CPN Tools model is available for free download via the ResearchGate social network [59]. Further updating of the model is planned in the context of the development of the project, and in the context of the introducing CPN IDE as a successor to CPN Tools.…”

Section: Availability Of the Software Modelmentioning

confidence: 99%

Design and Modeling of Hardware Kit for QKD Education of Engineering Students and Communication Engineers

Faerman,

Terekhin,

Bragin

et al. 2024

Preprint

View full text Add to dashboard Cite

show abstract

“…For our purpose we used CPN Tools which is a full framework dedicated for modeling and evaluating colored Petri networks, it has a large community both among researchers and developpers which makes it a favorable candidate for our modeling need [44].…”

Section: Formal Approachesmentioning

confidence: 99%

A novel privacy-aware global infrastructure for ecological footprint calculator based on the Internet of things and blockchain

Elsakaan,

Amroun

2023

J Supercomput

View full text Add to dashboard Cite

Climate change and global warming are the greatest harmful consequences of human activity. Indeed, Human technological development and demographic growth has been accompanied by globalization. In this new era, the logistics revolution has removed borders and industrial value chains have been distributed all over the world. It is becoming difficult to attribute responsibilities for ecological impacts accurately, since consumers are not necessarily in the same area as the countries of manufacture or extraction of raw materials. At the same time, a new paradigm called the Internet of Things has come to reshape our relationship to the world. The smallest everyday objects are connected to the Internet and allow acquisition of large amount of data, interact with cyberspace and in some cases act on the real world in an automated way. On the other hand, the last decade has also seen the rise of a new technology for storing transactions data in a reliable and consented way. Blockchain has changed the way operations are made based on the concept of distributed ledger giving a new breath to the economy. They have also dived into companies business by allowing private implementations with permissioned blockhains. The aim of this work is to take advantage of the power of the two technologies combined -the Internet of Things provides GIEFC wide possibilities when it comes to collecting information and establishing controls on the one hand, and blockchain provides very good means to ensure traceability while respecting confidentiality and privacy -in order to create a global architecture for a digital ecological impact calculator respecting privacy. In order to validate our proposal we first modeled it with a Petri network in order to verify its functioning, then we implemented it in order to measure average running time of each major step: for operations relative to certification authority we have obtained 0.342 second per operation, 0.342 second per operation concerning production and buying actions reporting and 0.299 second par scoring operation. Finally we used these outputs to build a queue model in order to check if the proposed architecture steady-state does not change over time. As results we showed that for the simplest form of queue model the servers of our architecture have a utilization rate that is close to 50% and that the overall waiting time remains below one minute, on the other hand with the Petri net we have proved from the marking graph that GIEFC performs the expected tasks according to the described specifications.

show abstract

Comparative Study of Practical Implementation of Time Delay Estimation Methods on Single Board Computer

Faerman,

Voevodin,

Avramchuk

2024

Communications in Computer and Information Science

View full text Add to dashboard Cite

Case of Discrete-Event Simulation of the Simple Sensor Node with CPN Tools

Cited by 4 publications

References 24 publications

Design and Modeling of Hardware Kit for QKD Education of Engineering Students and Communication Engineers

Design and Modeling of Hardware Kit for QKD Education of Engineering Students and Communication Engineers

A novel privacy-aware global infrastructure for ecological footprint calculator based on the Internet of things and blockchain

Comparative Study of Practical Implementation of Time Delay Estimation Methods on Single Board Computer

Contact Info

Product

Resources

About