Sciweavers

18
Voted
ISOLA
2010
Springer

Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns

13 years 4 months ago
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory. To perform verifications with the real-time scheduling theory, the architecture designers must check that their models are compliant with the assumptions of this theory. Unfortunately, this task is difficult since it requires that designers have a deep understanding of the real-time scheduling theory. In this article, we investigate how to help designers to check that an architecture model is compliant with this theory. We focus on feasibility tests. Feasibility tests are analytical methods proposed by the real-time scheduling theory. We show how to explicitly model the relationships between an architectural model and feasibility tests. From these models, we apply a model-based engineering process to generate a decision tool what is able to detect from an architecture model which are the feasibility tests ...
Alain Plantec, Frank Singhoff, Pierre Dissaux, J&e
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ISOLA
Authors Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
Comments (0)