8月的BBlog in 2021
2021-8-12021年8月1日 星期日 天气 晴 心情 舒适
转眼就到了8月份，今天是8月的第一天，所以我想来开个好头。
宅在家的日子慵懒且自在，正值奥运会期य़ ...
从Lustre到C语言——L2C
L2C同步数据流语言(如 Lustre)近年来在航空、高铁、核电等安全攸关领域得到广泛应用。这些领域对相关开发工具本身的安全性有着相当高的要求。为 ...
S2MSM源代码阅读——后端
S2MSM源代码
S2MSM是这个工具前端的源代码，SSML_Analysis是后端的代码
后端后端语言：c++
平台：visual studio 2019
源代码文件包
Release：vs写完后生成的应用程序，对应Setup安装程&#x ...
7月的BBlog in 2021
2021-7-212021年7月21日 星期三 天气 晴 心情 悠闲
Hello大家，又又又好久不见，距离上次的日记已经不想回看隔了多久，这篇日记告示了我暑假的开始，希望& ...
论文阅读笔记——时空约束的规范生成与验证（未完待续）
Reference[1] 刘骞. 时空约束的规范生成与验证[D].华东师范大学,2020.
Main Ideas（1）这篇论文结合CCSL时钟约束语言，提出了一个统一的方式来描述安全驾驶规则规范中&#x ...
6月的BBlog in 2021
不知不觉，这学期已经到了第四个月，而Fifish才开始写她的第一篇日记。
六月，从来都是一个忙碌的月份，希望一切顺利。
2021-6-12021年6月1日 星期二 ...
论文阅读笔记——信息物理系统时空逻辑研究(未完待续)
Reference[1] 邵珠成. 信息物理系统时空逻辑研究[D].华东师范大学,2013.
Main Ideas（1） 这篇论文为了描述这些具有时间和空间特征的逻辑属性和行为约束，根据PTL(命题&# ...
SCADE(二)——SCADE Suite Basics
KCG一个合格的/经过认证的（ qualifiable/certified）代码生成器，确保输入模型符合语言语法和语义，生成适合安全关键约束的C或Ada代码。
Editor Overview
Workshop & Projects项目文件N ...
SCADE——一个高安全性的应用开发环境（一）
Safety-Critical Application Development Environment
OverviewSCADE是一个高安全性的应用开发环境，是法国爱斯特尔技术公司运用基于模型的方式为高安全性系统提供的完整的解决方案，能&# ...
Hello Fifish
1234init main(){ printf("Hello,Fifish!")}
*滴！o(≧▽≦)ツ
Hello！这里是小肥鱼的鱼塘（bushi）。
今天是我创建github博客的第一天，特此留念。（特别鸣谢：HOOHOO！）
这里将记录一位& ...