487 search results - page 2 / 98 » Schedulability analysis of AADL models |
SIGADA
2005
Springer
13 years 11 months ago
2005
Springer
HASE
2007
IEEE
13 years 12 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
ICECCS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
RSP
2007
IEEE
13 years 12 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
FDL
2007
IEEE
13 years 12 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...