Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)(2020)

引用 1|浏览7
暂无评分
摘要
As the physical world evolves with time, safety-critical systems are usually used with time-dependent functionality. The design and implementation of real-time systems are challenging due to the complicated functional and timing requirements. Event - B formalization offers a stepwise development approach for specifying and verifying systems with mathematical techniques and tools. In this paper, we...
更多
查看译文
关键词
Event-B,Formal Specification,Real-time Specifications,Patterns
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要