目录 一、什么是正式建模语言 1. 正式建模语言是进程代数 2. 为什么要使用正式建模语言 二、Finite State Processes 1. FSP的基本概念 2. FSP—the action prefix 3. FSP—choice 4. FSP—non-deterministic choice 5. FSP—indexed processes 6. FSP—constants an…

索引变量上支持通常的算术运算： const N 1 range T 0..N range R 0..2*NSUM (in[a:T][b:T]->TOTAL[ab]), TOTAL[s:R] (out[s]->SUM). forall的用法： ||SWITCHES(N3) (forall[i:1..N] s[i]:SWITCH).||SWITCHES(N3) (s[i:1..N]:SWI…

瑞萨电子灵活配置软件包 (FSP) 是一款增强型软件包，旨在为使用瑞萨电子 RA 系列 ARM 微控制器的嵌入式系统设计提供简单易用且可扩展的高质量软件。 在全新 Arm TrustZone 和其他高级安全功能的支持下，FSP 提供一种快速、通用的方式，使用量产…

综述 FSP的全称是Firmware Support Package。FSP有以下的特性： FSP提供了Intel重要组件（包括处理器、内存控制器、芯片组等）的初始化；FSP被编译成独立的二进制，并可以集成到Bootloader中，这里说的Bootloa…

文章目录 并发模型语法数学规则 行人过马路案例行人随意过马路行人按照交通灯过马路 动作重标记（Action relabelling）语法 客户机—服务器案例单个客户机和服务器交互多个同类进程进行区分 进程标记（Process labelling）语法N 个进…

https://osfc.io/archive OSFC 2018 - Coreboot Mainboard porting with Intel FSP 2 0 | Subrata Banik

菲尼克斯PSR-SCP- 24DC/FSP2/2X1/1X2耦合继电器 耦合继电器 - PSR-SCP- 24DC/FSP2/2X1/1X2 2986575 适用于SIL 2高需求和低需求应用的安全耦合继电器，将数字输出信号耦合至I/O端，2个启动电流通路，1个报警触点，用于安全状态关闭应用…

文章目录 FSP 的优势好处FSP 的使用场景FSP 的语法规则递归语句和分句选择分支语句不定状态选择索引进程const 和 range 定义常量guarded action结束进程 先挖个坑，改天再填 FSP 的优势好处 FSP 的使用场景 FSP 的语法规则 递归语句和分句 TRAFFIC_LIGHT (gre…