Metop Research Institute

Download MinePump_C

MinePump, C

Description: Version of the MinePump product line in C with behavior specifications. Used for evaluation in model checking context. Specifications implemented in a custom aspect-oriented language. We could only use very limited C for this project (no pointers, no arrays). Product line is based on Kramer et al: CONIC: An Integrated Approach to Distributed Computer Control Systems. (1983)

Generator: FeatureHouse

Authors: von Rhein

Institution: University of Passau

Language: C

Development tool: Eclipse

Number of Features: 7

Lines of code*: 279

Number of classes:

Number of products: 64




Upload date: 2012-06-05

Last updated: 2012-07-10


*calculated with SourceMonitor
Edit | Back