Binary semaphores can be used to implement conditional critical regions by using the split binary semaphore (SBS) technique. Given a specification of a conditional critical regions problem, the SBS technique provides not only the resulting programs but also some invariants which ensure the correctness of the solution. The programs obtained in this way are generally not efficient. However, they ...

This paper presents a framework and a tool devised to aid in obtaining information interoperability between enterprise applications. The approach has its foundations in the principles of model-driven architecture (MDA) and architecture-driven modernisation (ADM). The key idea is that mappings between different information formats are defined at a platformindependent level, and that the mechanis...

Abstract This study analyzes the main indicators regarding integrating digital technology in enterprises, context of sustainable transformation European Union (EU). The purpose this analysis is to group into three levels importance. Thus, using semaphore technique, will be delimited by colors: green, yellow, and red. Depending on colors, future measures taken strategies established thus delimit...

This paper presents the importance of analysis and evaluation of Performance Metrics of Real Time Operating systems. Advanced parameters such as Semaphore Shuffling Time, Deadlock Breaking Time, TaskTask message Passing Time are considered in this paper. A 32-bit Microcontroller is chosen for benchmarking. Two RTOS that are available as open source for educational purpose are considered. Index ...

This paper describes an extension to Layered Queueing Networks (LQN), a form of an extended queueing network used to investigate performance problems, to model passive resources such as counting semaphores and buffers. Layered queueing networks can be constructed directly, or from UML design models which incorporate the MARTE profile, either directly or via the Core Scenario Model. Layered Queu...

In this article, we present a real-time machine-vision system to detect vehicles running on red light or performing forbidden turns at crossroads. The system operates during daytime by receiving video streams from two different sources. One of them is a camera viewing the crossroads to detect unusual activity, while a second camera watches the semaphore to keep synchrony with the traffic contro...