Investigating the usability of real-time scheduling theory with the Cheddar project

Singhoff, Frank; Plantec, Alain; Dissaux, Pierre; Legrand, Jérôme

doi:10.1007/s11241-009-9072-y

Cited by 36 publications

(22 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…AADL is backed with a large set of analysis tools 2 , covering many different domains: scheduling analysis like Cheddar [13] and MAST [14]; dependability assessment: AADL provides an annex for modeling propagation of error, like COMPASS project [15], or ADAPT [16]; behavioral analysis: mapping to formal methods and associated model checkers have been defined for Petri Nets [17], RT-Maude [18] and many others code generation: Ocarina implements Ada and C code generators for distributed systems [19]; mapping to hardware description language System-C [20].…”

Section: Aadlv2mentioning

confidence: 99%

“…For instance, let us consider the design of a DRE system subject to realtime or safety constraints. Such a design requires to apply appropriate analyses including schedulability analysis or safety analysis that may involve analytical methods [13] or model checking applied considering a scenario expressed in temporal logic [17]. It is obvious that the case of those "advanced" Fig.…”

Section: B Facing Analysis Complexitymentioning

confidence: 99%

See 1 more Smart Citation

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Hugues

Brau

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-Architecture Description Languages (ADLs) support modeling and analysis of systems through models transformation and exploration. Various contributions made proposals to bring verification capabilities to designers through model-based frameworks and illustrated benefits to the overall system quality.Model-level analyses are usually performed as an exogenous, unidirectional and semantically weak transformation towards a third-party model. We claim such process can be incomplete and/or inefficient because gathered results lead to evolution of the primary model. This is particularly problematic for the design of Distributed Real-Time Embedded (DRE) systems that has to tackle many concerns like time, security or safety.In this paper, we argue why analysis should no longer be considered as a side step in the design process but, rather, should be embedded as a first-class citizen in the model itself. We review several standardized architecture description languages, which consider analysis as a goal. As an element of solution, we introduce current work on the definition of a language dedicated to the analysis of models within the scope of one particular ADL, namely the Architecture Analysis and Design Language (AADL).

show abstract

Section: Aadlv2mentioning

confidence: 99%

Section: B Facing Analysis Complexitymentioning

confidence: 99%

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Hugues

Brau

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

show abstract

“…AADL is used to design and analyze software and hardware architectures of embedded real-time systems. Many tools provide support for AADL: Ocarina implements Ada and C code generators for distributed systems [10], TOPCASED, OSATE and Stood provide AADL modeling features [5,3,22], the Fremont toolset and Cheddar implement AADL performance analysis methods [26,25]. An updated list of supporting tools can be found on the official AADL web site http://www.aadl.info.…”

Section: Example Of the Synchronous Data Flows Design-patternmentioning

confidence: 99%

“…To compute feasibility tests of the Synchronous data flows design-pattern, we are using Cheddar. Cheddar is a framework which aims at providing performance analysis of concurrent real-time applications [25]. With Cheddar, a real-time application is modeled as a set of processors, shared resources, buffers and tasks.…”

Section: Feasibility Tests Assigned To the Synchronous Data Flows Desmentioning

confidence: 99%

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

Plantec

Singhoff

Dissaux³

et al. 2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

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 that the designer can apply.

show abstract

Section: Introductionmentioning

confidence: 99%

Applicability of real-time schedulability analysis on a software radio protocol

Singhoff

Rubini

et al. 2012

Proceedings of the 2012 ACM Conference on High Integrity Language Technology

Self Cite

View full text Add to dashboard Cite

In this paper, we present our experience on integrating timing constraint verification and analysis, by using the realtime scheduling theory, in an industrial context. The verification process has been integrated into a design flow at THALES Communications & Security. We focus our work on Software Radio Protocols (SRP). We have used ModelDriven Engineering technologies and the Cheddar schedulability analysis tool for our experiment. We show how we have modeled a complete SRP in UML MARTE, a profile for real-time embedded systems, before using model transformation to extract information for schedulability analysis with Cheddar.

show abstract

Investigating the usability of real-time scheduling theory with the Cheddar project

Cited by 36 publications

References 43 publications

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

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

Applicability of real-time schedulability analysis on a software radio protocol

Contact Info

Product

Resources

About