[2004/10/13]

Aonix����High-Integrity Profile for Ameos������Ƕ��ʽϵͳ��չʾ�����Demo, Demoչʾ��UML��ģ��ʵʱ����ؼ�JavaӦ�õĴ�������������

��ȫ������ؼ�ȫ�׽�������ṩ��Aonix(R)���췢����Ӧ����ʵʱ������ؼ�Ӧ�õĸ���ȫHigh-integrity UML profile��HIP�������profile�Ƕ�Ameos UML��MDA��ģ��������չ����Ŀ�������޹ء����ṩ�������Ե�����ʵʱͨѶ���ֲ�ʽ�����ij���ģʽ��ʵʱʵ�֣���profile��OMG��UML Profile for Schedulability��Performance and Time ��Լ����������Ƕ��ʽϵͳ�ϸ�����HIP����ʾ��չʾ�˷���UML2.0��׼��profile���ʹ���������������ṩ���ڱ�׼J2SEԴ�����ʵʱ��չ�ġ�

HIPͨ��Ԥ����İ��ͣ�stereotypes������HIPeriodic��HISporadic������ʹ��Java�ķֲ�ʽӦ�ÿ��������Զ�̷�������RMI��remote method invocation���Ŀ�����Ϊ����������Ͱ�ȫ�ؼ�Ӧ�õĿ�����Ա��Ҫ��,HIP��ͨѶģʽ����ڰ壨balckboard������������buffer�����¼���event���ȣ�������ARINC-653��׼�ġ��ñ�׼����AeronauticalͨѶ��˾��ARINC�����������ڽ��̻����߳��첽ͨѶ�ı�׼��

Aonix ��˾�IJ�Ʒ�г�����Michael Benkelָ���� ��HIPΪʵʱ�г��ṩ�˳����ͨѶģʽ��ʹ��HIP,������ԱΪ����Ӧ�õ�ģ�ͻ���������Ķ������Ҳ������ʵ�ֺ�ά����ͬ��������Ҳ�ṩ��һ��ǿ������ת�����棬��ʵ�ִ�ģ�͵�Ŀ����ش����ת�����Ӷ���������˿������̡���

ͨ��Ameos��UML2.0 Profile Editor��HIP����������ͺ����ԣ��������UMLԪģ�͵�ģ��Ԫ�أ�����֤��Щprofile��������õġ��ĵ����ġ����ڱ�������Ŀ�Ŷ���ʹ�á�Ameos��ת���������õ�ģ�������ܹ�������ģ�͵ij����Ρ����ٶ�Ŀ��ƽ̨��������ͨ���ض���ת������HIP��UMLģ��ӳ�䵽ʵʱ��Java���룬�õ���Java�����Ƿ���RTSJ�ģ����ҿ�����PERC��ִ�У�PERC��Aonix��Javaʵʱ�������

HIP����һ��ŷ����������Ŀ�п����Ķ��profile��������������Ŀ�к�����ʵʱJava�������еĸ��ֹ�Լ��ʵ�֣�������ʵʱ��JVM����ģ���ߺ�ģ����֤���ߡ���Ϊ����Ͱ�ȫ�ؼ��������ͷ��Aonix�Ĺ˿ͱ�����ѭ����ҵ���ض��ı�׼��ǿ���MDA��������������ɵ���Ӧ��adapt to����ͬ��ҵ�����纽�յ��ӹ�ѧ�������������ȣ��ĸ��ֱ�׼����֤��

���Profile�а�����UML��profile�����Ӧ����ʵʱJava�������ת������HIP�DZ�׼Ameos��Ʒ��һ���֡�������HIP��Ameos���ܿ����Ӧ����Windows��Linux��Solarisƽ̨��

����tmcnet��UMLChinaԬ�� ժ�룬����ת��������ҵ��;��