Xiao Wang(AG Embedded Systems)
hosted by PhD Program in CS @ TU KL
"From Synchrony to Asynchrony in Model-Based Design of Embedded Systems"
The design of safe and efficient embedded systems is an extremely demanding task. It comprises a variety of activities such as formal verification, simulation, synthesis, consistency checking, etc. Model-based design is a methodology that seeks to incorporate all these design tasks by considering models rather than specific implementations. These models act as intermediate representations, and are specified by a plethora of languages and formalisms, which can be classified by their underlying models of computation (MoC). The synchronous MoC is one such class. It is successfully used in the design of embedded systems, mostly because it is well suited for verification and simulation. Single-threaded software can also be easily synthesized from synchronous models. Additionally, some systems require the synchronous MoC, because the timing information is crucial to them and thus cannot be removed. While for other systems, synchronization is extra overhead, and a synchronous model might have the problem of over-synchronization. Moreover, synchronous MoC has its limitations when it comes to multi-threaded software, which is more compatible with the asynchronous MoC. On the other hand, checking whether a synchronous system can be desynchronized is a daunting task, and potential solutions on how to achieve that will be discussed in this talk.
|Time:||Monday, 15.06.2020, 15:30|