基于AADL的汽车防滑控制系统可调度性分析  

Schedulability Analysis of Automobile Antiskid Control System Based on AADL

作　　者：余晃晶[1,2] 李仁发[1] 黄丽达[1] 

机构地区：[1]湖南大学信息科学与工程学院,长沙410082 [2]三明学院数学与计算机科学系,福建三明365001

出　　处：《湖南大学学报（自然科学版）》2012年第3期43-47,共5页Journal of Hunan University:Natural Sciences

基　　金：国家自然科学基金资助项目(60873074);三明学院重点学科资助项目(ZDXK0604)

摘　　要：针对设计阶段难以对汽车防滑控制系统进行可调度性分析的问题,利用AADL为该系统建模.根据实时系统中任务调度与线程、计算时间、处理器性能之间的关系,在任务数不变的情况下选取不同性能的处理器,通过OSATE对该系统模型进行分析.结果表明此方法可有效解决这一问题,该建模方法为系统的可调度性分析和优化设计提供了一条新的途径.Automotive antiskid control system schedulability analysis is a difficult issue in the design stage.In this paper,the Structural Analysis and Design Language AADL techniques were used for ABS and ASR control system modelling.According to real time system,task scheduling with thread,computation time and the relationship between processor performance,and by selecting different performance processors without change in the task number,and by using tools OSATE to analyze the system model,a method to solve the problem effectively was demonstrated.This modelling method provides a new approach for the system schedulability analysis and optimal design in the area.

关 键 词：实时系统 汽车防滑控制 AADL 可调度性 模型分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]