# SEPAL

**Repository Path**: why_spar/sepal

## Basic Information

- **Project Name**: SEPAL
- **Description**: SEPAL是一个面向人机物融合应用感知决策双保障的运行平台，提供平台配套的统一编程框架，以方便开发者便捷开发此类应用并在运行时刻监控并从可信感知及决策两个角度保障应用运行质量。
- **Primary Language**: Unknown
- **License**: Apache-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 2
- **Created**: 2025-06-05
- **Last Updated**: 2026-01-22

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# SEPAL

#### 介绍
SEPAL是一个支撑人机物融合应用可靠运行的平台，提供平台配套的统一编程框架，以方便开发者便捷开发此类应用并在运行时刻监控并从可信感知及决策两个角度保障应用运行质量。

#### 运行环境支持

• JDK 17+ Java编译环境

• Tomcat 9.0 服务器环境

• Windows 10+ / Linux 操作系统

• Cangjie 0.53.13 仓颉运行环境

#### 目录结构说明

```
sepal
├── common // 通用模块
│   ├── socket // 通信相关
│   ├── struct // 通用数据结构
│   └── util // 工具类
├── docs // 说明及使用文档
├── demo // 可执行代码示例
│   ├── cangjie // 仓颉代码示例
│   │── invariant // 不变式服务测试代码及执行脚本
│   │── java // Java代码示例
│   └── s_service // S-Service性能实验
├── framework // SEPAL_LIB编程框架
│   ├── sepal4cj // 仓颉编程框架
│   │   └── src // 仓颉支撑源码
│   │       ├── lib4app
│   │       ├── lib4wrapper
│   │       └── structs
│   └── sepal4java // Java编程框架
│       ├── lib4app
│       ├── lib4wrapper
│       ├── web
│       └── webserver 
├── jars // JAR包
│   ├── platform // SEPAL_PF包
│   └── sepal4java // SEPAL_LIB的Java版本依赖包
└── platform // SEPAL_PF平台
    ├── appmgr // 应用管理模块
    ├── config // 配置管理模块
    ├── database // 数据库模块
    ├── pubsub // 平台内部消息传递模块
    ├── resource // 硬件设备控制管理模块
    ├── sepal // 平台主程序入口
    ├── service // 服务管理模块
    └── webserver // 平台web服务
```

#### 使用说明

若需使用Java语言进行开发，请添加jars/sepal4java.jar作为依赖包；
若需使用仓颉语言进行开发，请在cjpm.toml中配置framework/sepal4cj作为依赖库。

按顺序执行下面步骤：

1. 编写设备驱动程序。

   设备驱动程序用于与平台通信，包含传感器类型或控制器类型。编写方式请参照docs目录中硬件端编程框架的要求。
2. 编写应用端程序。

   应用端程序能够调用平台的硬件资源和服务资源，用来支撑自身的人机物融合逻辑。编写方式请参照docs目录中应用端编程框架的要求。
3. 编写平台配置文件platform/src/main/resources/configuration.json，指定默认全局的上下文服务配置以及平台监听应用与硬件设备端口，默认分别为9090和9091。
4. 运行platform/src/main/java/sepal/Sepal.java主程序，或通过```java -jar platform.jar```启动SEPAL_PF；运行设备驱动程序，注册硬件资源；运行应用端程序，启动人机物融合应用。

具体编写使用文档请参阅docs目录下的文档，或访问[在线文档](https://sepal.gitbook.io/sepal-manual)。demo目录下提供了相应可执行的程序示例，可供参考。

#### 视频说明
SEPAL工具讲解与演示，请参阅[视频](https://www.bilibili.com/video/BV1GG2dYKEtD/)

#### 补充说明
由于版权限制，支持SEPAL编程框架自验证能力的工具UNIC尚未开源。SEPAL内置形式化描述的API使用规范位docs/unic目录下，可供参考。