Executable AADL Models for Early System Qualification Test

This paper presents an approach, called CosiCosi, whose the aim is to characterize the temporal behavior of complex systems. The analyzed systems are defined by their software and hardware architectures, and by the duration of the processing jobs. The abstraction of jobs by their execution time enables early verification, at a phase where all the implementation details of the components are not yet defined. The tool that supports the verification is a SystemC simulator configured from AADL architecture models. It simulates the temporal behavior of the model components, respecting the AADL runtime specification as defined in the standard. The targeted use of the tool is the qualification of hardware/software architectures through intensive testing under an expected workload. The evaluation shows the tool's ability to simulate a system composed of 600 threads, over 1 hour of operation, in approximately 2 minutes on a desktop computer.