Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)(2020)
Abstract
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...
MoreTranslated text
Key words
Event-B,Formal Specification,Real-time Specifications,Patterns
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined