Formal Synthesis and Control of Soft Embedded Real-Time Systems
Pao‐Ann Hsiung · Kluwer Academic Publishers eBooks · 2006
Due to rapidly increasing system complexity, ever-shortening time-to-market, and growing demands for soft real-time, formal methods are becoming indispensable in the synthesis of embedded real-time systems. In this work, a formal method based on Tlme Free- Choice Petri Nets (TFCPN) is proposed for synthesizing and controlling Soft Embedded Real- Time Systems (SERTS). Technically, the proposed method employs quasi-static data scheduling for satisfying limited embedded memory requirements and controls firing interval bounds for satisfying soft real-time constraints. An application example is given to illustrate the feasibility of the formal method, which can also be used for code generation.