movesrwth/storm-dependencies Docker 镜像 - 轩辕镜像

Storm模型检查器基础镜像

镜像概述

本镜像专为Storm模型检查器设计，提供Linux基础环境、必需系统包及可选依赖。基于movesrwth/carl-storm镜像构建，旨在为Storm模型检查器的运行与开发提供统一、可靠的底层支持。

核心功能与特性

• Linux基础环境：包含稳定的Linux系统基础，确保与Storm模型检查器的兼容性
• 必需系统包：预安装运行Storm所需的核心依赖包，减少环境配置工作量
• 可选依赖支持：提供可选的扩展依赖组件，可根据实际需求灵活启用
• 继承可靠基础：基于movesrwth/carl-storm镜像构建，延续其成熟的依赖管理机制

适用场景

• Storm模型检查器的运行环境搭建
• Storm相关应用开发或测试过程中的依赖管理
• 需要标准化底层环境的容器化部署场景
• 多环境下的Storm工具链一致性保障

使用方法

镜像获取

通过Docker Hub拉取镜像（具体镜像名称及标签需以实际仓库为准）：

bash
docker pull [镜像仓库地址]/[镜像名称]:[标签]

基本运行命令

启动交互式容器以访问基础环境：

bash
docker run -it --rm [镜像仓库地址]/[镜像名称]:[标签] /bin/bash

配置说明

该镜像的配置参数可参考其父镜像movesrwth/carl-storm的官方文档，主要包括：

• 环境变量设置（如依赖路径、运行时参数等）
• 可选依赖的启用方式
• 系统资源限制配置

Docker Compose示例

基础docker-compose.yml配置示例：

yaml
version: '3'
services:
  storm-env:
    image: [镜像仓库地址]/[镜像名称]:[标签]
    container_name: storm-base-env
    volumes:
      - ./storm-data:/data  # 挂载数据卷（按需配置）
    # 可根据需求添加 environment、ports 等配置

注意事项

• 该镜像为基础环境镜像，运行Storm模型检查器需结合具体应用代码或数据
• 建议使用固定标签而非latest标签，以确保环境一致性
• 可选依赖的详细启用方法请参考镜像文档或父镜像说明