Gabmeyer, S., Kaufmann, P. and Seidl, M. (2013) A Classification of Model Checking-Based Verification Approaches for Software Models. Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013), Budapest, 17 June 2013, 1-7.

has been cited by the following article:

• TITLE: Classification of Meteorological Satellite Ground System Applications

  AUTHORS: Manyun Lin, Xiangang Zhao, Xieli Zi, Peng Guo, Cunqun Fan

  KEYWORDS: Satellite, Ground Application System, Application Classification, Hierarchical Clustering

  JOURNAL NAME: Atmospheric and Climate Sciences, Vol.7 No.3, July 27, 2017

  ABSTRACT: Meteorological satellite ground application system carries a large number of applications. These applications deal with a variety of tasks. In order to classify these applications according to the resource consumption and improve the rational allocation of system resources, this paper introduces several application analysis algorithms. Firstly, the requirements are abstractly described, and then analyzed by hierarchical clustering algorithm. Finally, the benchmark analysis of resource consumption is given. Through the benchmark analysis of resource consumption, we will give a more accurate meteorological satellite ground application system.