Sciweavers

4348 search results - page 45 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
RTAS
2007
IEEE
15 years 3 months ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...
108
Voted
WORDS
2005
IEEE
15 years 3 months ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...
RTAS
1997
IEEE
15 years 1 months ago
QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
Tarek F. Abdelzaher, Ella M. Atkins, Kang G. Shin
WSC
2004
14 years 11 months ago
A Real-Time Panoramic Vision System for Autonomous Navigation
The paper discusses a panoramic vision system for autonomous navigation purposes. It describes a method for integrating data in real-time from multiple camera sources. The views f...
Sumantra Dasgupta, Amarnath Banerjee
ADAEUROPE
2007
Springer
15 years 3 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega