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

第39卷 第3期 湖南大学学报(自然科学版) V01．39．No．3 2 0 1 2年3月 JournalofHunan Sciences) Mar．201 2 University(Natural 文章编号：1674—2974(2012)03-0043—05 基于AADL的汽车防滑控制系统可调度性分析。 余晃晶1’2+，李仁发1，黄丽迭1 (1．湖南大学信息科学与工程学院，湖南长沙410082；2．三明学院数学与计算机科学系．福建三明365001) 摘 要：针对设计阶段难以对汽车防滑控制系统进行可调度性分析的问题，利用 AADL为该系统建模．根据实时系统中任务调度与线程、计算时间、处理器性能之间的关 系，在任务数不变的情况下选取不同性能的处理器，通过OSATE对该系统模型进行分析． 结果表明此方法可有效解决这一问题，该建模方法为系统的可调度性分析和优化设计提供 了一条新的途径． 关键词：实时系统；汽车防滑控制；AADL；可调度性；模型分析 中图分类号：TP311 文献标识码：A ofAutomobileAntiskidControl Schedulability Analysis BasedonAADL System YU Li—dal Huang-jin91·2t，LIRen-fal。HUANG ofInformationScienceand 11．College Engineering。HunanUniv，Changsha。Hunan410082．China； ofMathematicsand 2．Department Computer-SanmingCollege-Sanming．Fujian365001。China) antiskidcontrol isadifficultissueinthe Abstract：Automotivesystem schedulabilityanalysis design this Structural and AADL wereusedforABS stage．Inpaper，the AnalysisDesignLanguagetechniques andASRcontrol torealtime with systemmodelling．Accordingsystem，taskscheduling tion timeandthe between different relationshipprocessorperformance，andbyselecting performancepro— cessorswithout inthetask toolsOSATEto the number，and model，a change byusing analyzesystem methodtosolveth