检查Mac OS Catalina 10.15上Uppaal 4.1.23中是否支持OS错误

Question

我在Mac OS 10.15上安装了Uppaal 4.1.23，但出现错误。我该怎么办？

Answer 1

MacOS 10.15 Catalina似乎强制执行二进制公证，即二进制文件必须由经过认证的开发人员签名才能运行。 Uppaal二进制文件未签名，因此Catalina发出错误：

单击“取消”将中止执行，Uppaal将显示弹出窗口“服务器退出，错误137”。

单击“移至Bin”将删除服务器二进制文件，从而破坏发行版。任何后续的运行或模拟器重新加载都将发出“服务器退出，错误126”。我怀疑是这样。

获得开发者证书将需要一些时间。

一种解决方法是打开System Preferences / Security & Privacy / General：

1. 找到一行“ server.bin由于不是来自确定的开发人员而被阻止使用”，单击“仍然允许”。

2. 在Uppaal中，单击View / Reload Simulator。

3. Catalina可能会为每个库弹出另一个弹出窗口，并且必须在System Preferences / Security & Privacy中允许每个库。这有点乏味，因为总共有6个二进制文件和库，但这是目前最安全的，并且每次安装必须完成一次（我建议制作映像内容的副本，因为重新安装映像将需要再次授予相同的权限。）

或者可以通过在终端上运行以下命令来彻底禁用签名检查（它将要求用户密码）：

sudo spctl --master-disable

然后System Preferences / Security & Privacy / General如下所示，并且不再要求权限：

如果用户开始从Internet运行任意程序，则此设置不安全。

一旦Uppaal正常运行（至少检查模拟器是否与demo/train-gate.xml示例兼容），可以回滚此设置以在终端上使用以下命令重新启用保护：

sudo spctl --master-enable

以前使用的Uppaal安装应继续运行而无需询问。