Contents
1 SCADE
2 SCADE PPT
3 Component in Embedded system
4 systemC
SCADE: (Safety-Critical Application Development Environment) 一个高安全性的应用开发环境
法国爱斯特尔技术公司 Esterel http://www.esterel-technologies.com/index.html
esterel 老参考文章: http://www-sop.inria.fr/meije/esterel/doc/main-papers.html
http://www-sop.inria.fr/esterel-org/files/home.htm
航空电子、汽车电子、军用飞机以及核电站控制SCADE运用了correct by construction的概念,覆盖了嵌入式软件开发中从需求到嵌入式代码的整个流程:需求建模、模型检查、模拟仿真、形式验证、嵌入式代码自动生成、以及文档自动生成等等
一篇硕士毕业论文,写得一般(2004)
Esterel语言在嵌入式系统开发中的研究及应用.caj
图形化建模:
-- 数据流图: 连续性系统的建模 -- 有限状态机: 离散性系统的建模 数学语义?
模拟仿真:
仿真器, TCL语言 (NS2)
形式验证 Prover插件
嵌入式代码的自动生成 ANSI C
KCG: 爱斯特尔技术公司提供的满足DO-178B民航A级安全标准的代码产生器
DOORS: 一个需求分析和追踪的工具Matlab/Simulink
反应式系统( Reactive System) 是一个与其环境进行不断交互作用的复杂软件系统, 包括并发和实时程序、嵌入式及过程控制程序、操作系统等。并发性( Concurrency) 是反应式系统最重要也是最基本的特征, 任何反应式程序中均包含若干并行进程, 即这些进程并发执行
按进程间通讯和同步的基本方式来划分, 实
质上只有共享变量( Shared Variable) 方式、消息传递( Message Passing ) 方式以及建立在消
息传递之上的远程过程调用( Remo te Procedure Call) RPC 方式这三类语言
环境是反应式系统中十分重要的概念, 反应式系统可看作一个实体, 而环境可看作由其
它实体组成, 一个反应式系统与其环境是并发执行的,
时态逻辑系统, 按照时间模型大致可分为三类: 线性时态逻辑、分支时态逻辑和
区间时态逻辑。
"Real-Time Systems and Programming Languages (Third Edition)
Ada 95, Real-Time Java and Real-Time POSIX"
by Alan Burns and Andy Wellings
http://www.cs.york.ac.uk/rts/books/RTSBookThirdEdition.html
modelsim:Mentor公司的ModelSim是业界最优秀的HDL语言仿真软件, FPGA/ASIC设计的首选仿真软件
3 Component
Component technology in an embedded system (David Polberger)
thesis.pdf
很好介绍了同步编程语言
[4]
SystemC
https://blog.sciencenet.cn/blog-468147-502607.html
上一篇:
review: 压缩传感 and 压缩感知 综述下一篇:
review: Visualizing and Assessing a Compositional Approach