Search Results - subject:"Real Time Systems"

Development of lock-free approach for shared memory organisation in real-time multi-threading applications

Syrotiuk, Oleksandr - In: Technology audit and production reserves 4 (2024) 2/78, pp. 6-11

Persistent link: https://www.econbiz.de/10015078629

The development of the method of evaluation of complex hierarchical systems based on improved alforitm of particle swarm

Shyshatskyi, Andrii; Pluhina, Tetiana; Plekhova, Ganna; … - In: Technology audit and production reserves 6 (2023) 2/74, pp. 15-19

Persistent link: https://www.econbiz.de/10014497154

Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems

Devaraj, Rajesh; Sarkar, Arnab; Biswas, Santosh - In: Journal of scheduling : JOS 24 (2021) 1, pp. 69-82

Persistent link: https://www.econbiz.de/10012488821

Towards a formal specification for an AADL behavioural subset using the LNT language

Mkaouar, Hana; Zalila, Bechir; Hugues, Jérôme; … - In: International journal of business and systems research … 14 (2020) 2, pp. 162-190

Persistent link: https://www.econbiz.de/10012199008

Dynamic speed scaling minimizing expected energy consumption for real-time tasks

Gaujal, Bruno; Girault, Alain; Plassart, Stephan - In: Journal of scheduling : JOS 23 (2020) 5, pp. 555-574

Persistent link: https://www.econbiz.de/10012299977

Interfacing an industrial robot and MATLAB for predictive visual servoing

Krishnan, Megha G.; Vijayan, Abhilash T.; S., Ashok - In: Industrial Robot: the international journal of robotics … 48 (2021) 1, pp. 110-120

the results are to be implemented in real-time systems, the proposed method helps to establish a simple, fast and cost …

Persistent link: https://www.econbiz.de/10014835634

Concept Based Censor Production Rules

Hewahi, Nabil M. - In: International Journal of Decision Support System … 10 (2018) 1, pp. 59-67

structure will help the system to give more certain answers within the given time for the real-time systems instead of keep …

Persistent link: https://www.econbiz.de/10012044143

A Review of the Scopes and Challenges of the Modern Real-Time Operating Systems

Shukla, Amit K.; Sharma, Rachit; Muhuri, Pranab K. - In: International Journal of Embedded and Real-Time … 9 (2018) 1, pp. 66-82

A real-time operating system (RTOS) is an integral part of a real-time embedded system (RTES). Most of the RTESs work on dynamic environments, and hence, the computational cost of tasks cannot be calculated in advance. Thus, RTOSs play a significant role in the smooth operations of the RTES...

Persistent link: https://www.econbiz.de/10012044699

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

Bendiaf, Messaoud; Bourahla, Mustapha; Boudia, Malika; … - In: International Journal of Information Technology and Web … 12 (2017) 4, pp. 22-41

Real-time systems must be properly validated and verified before their manufacturing and deployment in order to … use the result models to verify the real-time systems against specified LTL properties using Maude LTL Model-Checker. This … formal verification techniques to demonstrate the correctness of system designs. At the first step, they describe real-time …

Persistent link: https://www.econbiz.de/10012046106

Galactica, a Digital Planetarium for Immersive Virtual Reality Settings

Dias, Miguel Sales; d'Alpuim, Jorge; Caetano, Pedro - In: International Journal of Creative Interfaces and … 7 (2016) 1, pp. 19-39

The authors describe a new Digital Planetarium system and application (“Galactica”), for interactive visualization of astrophysical data and phenomena in immersive virtual reality (VR) settings, based in OpenSceneGraph (OSG). Galactica enables a visual and aural experience of a virtual space...

Persistent link: https://www.econbiz.de/10012043636