Type Bachelor or Master
Task A key issue in the ocean and climate modelling community is to compare different model output from different models, as they are in different formats, notations and units. The goal of this thesis is to create a common format or a way to specify a format together with transformations that convert output to a common output.
There exists previous work in this topic:
Type Bachelor or Master
Task: Static analysis of Fortran code with FParser to extract data flow and create a data flow model from it. FParser is written in Python. Most of the analysis tools are written in Java. Thus, FParser will be used to identify read and write accesses to data and return a list of such accesses which can then be used to enrich our existing dataflow model.
Type Bachelor (one project, one analysis)
Task: Analyze a scientific modeling software written in Fortran for
coding techniques that implement mathematical methods, and identify
invariants and create testable assertions in Python.
Starting point: Existing Fortran software
Thematic Analysis is a method to analyze text, audio, video and other material qualitatively. In OceanDSL, we use this method to analyze interview transcripts. Goal of the thesis is to develop suitable tooling or parts of it and evaluate the tool based on existing transcripts.
Type Bachelor / Master
Task Create a coding editor in Eclipse supporting coding of text, tagging/categorizing, code and category editing.
Task Provide an interactive visualization based on ELK/Kieler.
Task Develop a web-based visualization tool
Features
Type Bachelor (evaluation with other ocean and climate models)
Type Master (evaluation with ocean and climate models and in conjunction with domain experts)
Task We already have developed a basic Configuration and Parameterization DSL (CP-DSL) and created generator to support the two Earth System Climate Models (ESCM) MITgcm and UVic. During an evaluation with experts, the DSL was considered useful, but multiple potential improvements were identified. In this thesis it would be your task to address one or two of these improvements:
Note This work can be based on an already existing DSL which will be extended.
Resources
Type Bachelor (evaluation with MITgcm or UVic scenarios)
Type Master (evaluation with MITgcm and UVic scenarios and in conjunction with domain experts)
Tasks Based on a given set of domain knowledge, concepts and sample deployment scripts, design a textual, external DSL to control deployment of models based on the two case studies UVic and MITgcm addressing all three deployment scenarios (local, dedicated host/node, and kubernetes). The DSL includes a code generator, interpreter or Jupyter kernel which performs the deployment.
Deployment is handled differently in the scientific modeling domain than it is in enterprise and embedded systems. Starting configured and compiled models is done with scheduling systems/schedulers, e.g., Slurm [5] and OpenPBS [2]. On top of such schedulers tooling, like CYLC are proposed, as an overall workflow engine [3].
CYLC could already cover all our needs or parts of them. Therefore, it is your task to analyze the domain to understand what scientists do to configure and setup scientific models and then run them. Show whether this can be achieved with CYLC (if possible), what is missing, and how to integrate this with our other DSLs.
Resources and Notes
Type Bachelor (one language, one analysis, limited survey)
Type Master (full survey including preprocessing, one analysis)
Task Create a survey for code analysis tools including style checkers and components for Fortran, C and typical preprocessors. Components for such technology are parsers, lexers, ASTs.
Sources & Notes
Type Master
Task Analyze existing climate and ocean models to identify internal dependencies and the architecture. Subsequently, identify code which is not used (dead code).
Potential models to analyze:
Key questions
Tools
Type Bachelor
Task Analyze different schedulers, like Slurm, NQSV regarding their features.
Sources & Notes
