Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems

2006 ◽  
Author(s):  
A. Dubey ◽  
S. Nordstrom ◽  
T. Keskinpala ◽  
S. Neema ◽  
T. Bapty
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Mitigation Strategies ◽  
Real Time Systems ◽  
Time Systems

Randomized Work Stealing for Large Scale Soft Real-Time Systems

2016 ◽  
Author(s):  
Jing Li ◽  
Son Dinh ◽  
Kevin Kieselbach ◽  
Kunal Agrawal ◽  
Christopher Gill ◽  
...  
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Real Time Systems ◽  
Work Stealing ◽  
Time Systems

Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems

2007 ◽  
Vol 3 (1) ◽  
pp. 33-52 ◽  
Author(s):  
Abhishek Dubey ◽  
Steve Nordstrom ◽  
Turker Keskinpala ◽  
Sandeep Neema ◽  
Ted Bapty ◽  
...  
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Real Time Systems ◽  
Time Systems

Incremental Verification of Architecture Specification Language for Real-Time Systems

1998 ◽  
Vol 08 (03) ◽  
pp. 347-360 ◽  
Author(s):  
Jeffrey J. P. Tsai ◽  
A. P. Sistla ◽  
Avinash Sahay ◽  
Ray Paul
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Specification Language ◽  
Limiting Factor ◽  
Timing Constraints ◽  
Real Time Systems ◽  
System Architectures ◽  
Temporal Properties ◽  
Time Systems ◽  
Architecture Specification

The concept of software architecture has recently emerged as a new way to improve our ability to effectively construct large scale software systems. However, there is no formal architecture specification language available to model and analyze temporal properties of complex real-time systems. In this paper, an object-oriented logic-based architecture specification language for real-time systems is discussed. Representation of the temporal properties and timing constraints, and their integration with the language to model real-time concurrent systems is given. Architecture based specification languages enable the construction of large system architectures and provide a means of testing and validation. In general, checking the timing constraints of real-time systems is done by applying model checking to the constraint expressed as a formula in temporal logic. The complexity of such a formal method depends on the size of the representation of the system. It is possible that this size could increase exponentially when the system consists of several concurrently executing real-time processes. This means that the complexity of the algorithm will be exponential in the number of processes of the system and thus the size of the system becomes a limiting factor. Such a problem has been defined in the literature as "state explosion problem". We propose a method of incremental verification of architectural specifications for real-time systems. The method has a lower complexity in a sense that it does not work on the whole state space, but only on a subset of it that is relevant to the property to be verified.

Sign in / Sign up

Export Citation Format

Share Document