[an error occurred while processing this directive]
   
 
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2011, Vol. 37 Issue (1) :31-35    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
�ۺϻ����յ��ӷ�������Ľ�ģ����Ʒ���
���ӱ, �ܻ���*
�������պ����ѧ ������Ϣ����ѧԺ, ���� 100191
Partition modeling and design in integrated avionics
Li Xinying, Xiong Huagang*
School of Electronics and Information Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

ժҪ
�����
�������
Download: PDF (670KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ���������Ǻ��յ���ϵͳ�ۺϻ�ģ�黯��չ�в���ȱ�ٵļ���.��Ժ��յ���ϵͳ��ȫ�ؼ��Ե�Ҫ��,����ARINC653��׼,����˷ֲ��������ϵ�ṹģ��,��ģ��ʵ���˲�ͬ��ȫ�ؼ�����Ӧ�����֮��ĸ���.Ϊ�����㺽�յ���ϵͳǿʵʱ��Ԥ���Ե�Լ��,˫�����ģ����ϵͳ�������ת���Ȳ���,�������õ������ʵ��Ȳ���.Ȼ��Է���������пɵ��ȷ���,�ڳ�ֱ�֤���յ���ϵͳǿʵʱ��ǰ����,����˷����ؼ���������Ʒ���,���Ƶ��������µ�ϵͳ�ɵ���������.���������������,�÷����ڱ�֤ʵʱ�Ե�ͬʱ,��֧�ָ����ϵͳ����,������Խ��.
Service
�ѱ����Ƽ�������
�����ҵ����
�������ù�����
Email Alert
RSS
�����������
�ؼ����� ���յ���   ʵʱϵͳ   ��ȫ�ؼ�   �������   ARINC653     
Abstract�� With the development of integrated modular avionics, partition management has become a necessary technology. To solve the partition management problem under safety critical system constraint, through studying ARINC653 criterion, hierarchical partition architecture model was determined which implement partitioning between applications of different safety critical levels. To guarantee timing constraints and predictability of avionics, a two-level partition schedule model was proposed in which the operation system adopts round-robin scheduling strategy and each individual partition adopts rate monotonic priority scheduling strategy. In addition, for the schedulable analysis problem of partition tasks, on the premise that fully guarantee real time characteristics of integrated modular avionics systems, a design method for partition critical parameters was developed. The least upper bounds of the system schedulable utilization for the method was derived and formally proved. Computer simulation results indicate this approach can be used to admit much more systems load, while guarantee real time properties.
Keywords�� avionics   real time systems   safety critical   partition design   ARINC653     
Received 2009-12-01;
Fund:

������Ȼ��ѧ����������Ŀ(60879024)

About author: ���ӱ(1984-),Ů,������ˮ����,��ʿ��,xinying_li@yahoo.cn.
���ñ���:   
���ӱ, �ܻ���.�ۺϻ����յ��ӷ�������Ľ�ģ����Ʒ���[J]  �������պ����ѧѧ��, 2011,V37(1): 31-35
Li Xinying, Xiong Huagang.Partition modeling and design in integrated avionics[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2011,V37(1): 31-35
���ӱ���:  
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2011/V37/I1/31
Copyright 2010 by �������պ����ѧѧ��