On Schedulability Analysis for Embedded Systems with AADL Model

被引：0

作者：

Dong, Yunwei ^{[1
]}

Cheng, Yao ^{[1
]}

Wu, Tingting ^{[1
]}

Ye, Hong ^{[2
]}

机构：

[1] Northwestern Polytech Univ, Sch Comp Sci, Xian 710072, Peoples R China

[2] Aeronaut Computing Tech Res Inst, Xian 710119, Peoples R China

来源：

2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC) | 2013年

关键词：

AADL; schedulability; Resource Competition Model;

D O I：

10.1109/QSIC.2013.28

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through analyzing system architecture, component properties and component connections, we build the Resource Competition Model (RCM) for the AADL model. Based on the RCM, the respond time of thread components can be calculated, and we get the schedulability of system AADL model. This approach is on the model level to analyze the schedulability of systems without code implement. It has higher calculation efficiency, and a lower requirement for the system description. At last, a case-study is carried out to show the schedulability analysis process for an AADL model.

引用

页码：320 / 325

页数：6

共 50 条

[1] On Reliability Analysis for Embedded Systems with AADL Behavior Model
Chang Shaofeng
Dong Yunwei
Zhang Fan
[J]. 2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 116 - 119
[2] Formal schedulability analysis and simulation for AADL
Gui, Shenglin
Luo, Lei
Li, Yun
Wang, Lijie
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 429 - +
[3] Embedded Systems Engineering with the AADL: Modeling & Analysis
Gluch, David P.
[J]. SIGADA 2009: PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2009, : 7 - 7
[4] UCaS: A Schedulability Analysis Tool for AADL Models
Gui, Shenglin
Luo, Lei
Liu, Qian
Guo, Fulei
Lu, Shaopeng
[J]. EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 2, WORKSHOPS, 2008, : 449 - +
[5] On Schedulability Analysis of AADL Architecture with Storage Resource Constraint
Lu Y.
Qin S.-D.
Xi L.-Q.
Dong Y.-W.
[J]. Ruan Jian Xue Bao/Journal of Software, 2021, 32 (06): : 1663 - 1681
[6] Schedulability analysis of automobile antiskid control system based on AADL
Yu, Huang-Jing
Li, Ren-Fa
Huang, Li-Da
[J]. Hunan Daxue Xuebao/Journal of Hunan University Natural Sciences, 2012, 39 (03): : 43 - 47
[7] Mapping AADL models to a repository of multiple schedulability analysis techniques
Ouhammou, Yassine
Grolleau, Emmanuel
Hugues, Jerome
[J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
[8] On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems
Almeida, Luis
Marau, Ricardo
Lakshmanan, Karthik
Rajkumar, Raj
[J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 119 - +
[9] Schedulability analysis and design of real-time embedded systems with partitions
Doose, D
Mammeri, Z
[J]. DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 167 - 176
[10] Schedulability issues in complex embedded control systems
Crespo, A.
Albertos, P.
Balbastre, P.
Valles, M.
Lluesma, M.
Simo, J.
[J]. 2006 IEEE CONFERENCE ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, VOLS 1 AND 2, 2006, : 296 - +

← 1 2 3 4 5 →