A Mission Level Design Language Based on AleC++

Modern complex system design demands modeling on a high level of abstraction together with the system environment components. Such model enables mission level system simulation in the context of its operational conditions. A mission level design language providing mission and system level verification is presented in this paper. Also, this language enables designers to describe some of the components at implementation level to test and validate the system implementation at mission level. In this way a uniform design framework is achieved from mission/system down to implementation level