Effective use of abort in programming mode changes

Burns, Alan; Quiggle, Thomas J.

doi:10.1145/381963.382005

Cited by 6 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A system can be schedulable in both the LOcriticality and HI-criticality modes but not during the transition between modes. More general analysis of mode change protocols (Sha et al 1989;Burns and Quiggle 1990;Tindell, Burns, and Wellings 1992;Pedro and Burns 1998;Tindell and Alonso 1996;Emberson and Bate 2007;Real and Crespo 2004;Azim and Fischmeister 2016;Henzinger, Horowitz, and Kirsch 2001) also have to develop analysis that can address the worst-case mode change behaviour. However, in this paper we are addressing multimodel specifications, not multi-modal behaviours.…”

Section: Model-bounded Behaviourmentioning

confidence: 99%

Multi-model workload specifications and their application to cyber-physical systems

Burns,

Baruah

2024

Res. dir. Cyber phys. syst.

View full text Add to dashboard Cite

To address the question of how to deliver time-sensitive software for Cyber-Physical Systems (CPS) requires a range of modelling and analysis techniques to be developed and integrated. A number of these required techniques are unique to time-sensitive software where timeliness is a correctness property rather than a performance attribute. This paper focuses on how to obtain worst-case estimates of the software’s execution time; in particular, it considers how workload models are derived from assumptions about the system’s run-time behaviour. The specific contribution of this paper is the exploration of the notion that a system can be subject to more than one workload model. Examples illustrate how such multi-models can lead to improved schedulability, and hence more efficient CPS. An important property of the approach is that the derived analysis exhibits model-bounded behaviour. This ensures that the maximum load on the system is never higher than that implied by the individual models.

show abstract

Section: Model-bounded Behaviourmentioning

confidence: 99%

Multi-model workload specifications and their application to cyber-physical systems

Burns,

Baruah

2024

Res. dir. Cyber phys. syst.

View full text Add to dashboard Cite

show abstract

“…The mode change protocols are required for the system to move between modes. These protocols are dealt and studied by various researchers in their study [18], [19], [20]. Mixed criticality system addresses on two levels such as high criticality level and low criticality level.…”

Section: Need For the Next Level Of Schedulingmentioning

confidence: 99%

Intelligent Real-Time Systems for Managing Catastrophe through Scenario Shift Paradigm

Nair¹,

Persya²

2015

IJCA

View full text Add to dashboard Cite

The intelligent real-time system design needs to incorporate autonomic features in their operations to achieve the unexpected criticalities of systems and its environment. Catastrophic scenarios can emerge in systems, challenging the traditional role of real-time systems where the temporal rigidity is the essential design feature. The priorities and its management scheme given for a normal operation by the conventional real-time systems need not be the ultimate format to meet the requirements of a catastrophic environment. Hence, usual real-time system is supplemented with a layer of intelligence to deal with the emerging catastrophic environment. Intelligent real-time systems can have hybrid schedulers with some additional features that can guarantee risk mitigation performance even with the occurrence of extreme, unusual variations of external conditions. This approach addresses intelligence in systems by making a real-time system schedule itself to adapt meaningfully even if the environment changes, by assigning intelligent priorities. This paper introduces the design of Intelligent Real-Time System (IRTS) that keep shifting the boundaries of the original hybrid scheduler with cognitive features aiding the intelligence by increasing the possibility to make a dynamically reconfigured system while increasing the fairness of the scheduling. Intelligent scheduler can be used in embedded critical systems in order to cope with the unexpected problems like nuclear power plants and hazardous installations. Theoretical analysis shows that the proposed design performs the operation of IRTS, which can be advantageously applied to pragmatic systems and show how intelligence works with priority.

show abstract

A performance standard for Ada 9X

Burns¹

1990

Proceedings of the Fourth International Workshop on Real-Time Ada Issues - IRTAW '90

View full text Add to dashboard Cite

Effective use of abort in programming mode changes

Cited by 6 publications

References 1 publication

Multi-model workload specifications and their application to cyber-physical systems

Multi-model workload specifications and their application to cyber-physical systems

Intelligent Real-Time Systems for Managing Catastrophe through Scenario Shift Paradigm

A performance standard for Ada 9X

Contact Info

Product

Resources

About