Sciweavers

654 search results - page 7 / 131
» Cosimulation of real-time control systems
Sort
View
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...
RTSS
1994
IEEE
15 years 1 months ago
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
HYBRID
1995
Springer
15 years 1 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
RTSS
1995
IEEE
15 years 1 months ago
The Design of Large Real-Time Systems: The Time-Triggered Approach
Hermann Kopetz, Martin Braun, Christian Ebner, And...
HYBRID
2007
Springer
15 years 3 months ago
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
Pau Martí, Manel Velasco