关键词: AADL,模型测试,仿真引擎

Abstract: The non-properties of safety-critical system,such as real time,reliability and safety,are becoming a key constraint of dependency of system behavior,and they are effect software quality for the large-scale system．It is a key research task to find a solution to analyze the dependency property in system design phases for the purpose that designers can optical system architecture,rebuild software components and hardware components to meet system quality specification．An AADL model-based test Engine was designed and implemented in this paper to solve question above．The simulation engine was developed on System C and POSIX techniques,and its core function includes task encapsulation,task scheduler,time management,interrupt management and signal control．It can execute AADL instance dynamic,and carry out model-based testing for verification real time property of embedded system．At last,it gave a case study for Automaton control system,which is model with AADL,and can execute testing over AMSE.Some time properties were tested,such as AADL flow latency,thread execution time and cache hit rate．This simulation engine is useful to verification AADL model．

Key words: Architecture analysis & design language(AADL),Model based test,Simulation engine