TAILIEUCHUNG - Model-Based Design for Embedded Systems- P61

Model-Based Design for Embedded Systems- P61: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 586 Model-Based Design for Embedded Systems Radio transceiver Wakeup radio Microcontroller Oscillators wakeup timers Low-level packet handling MAC layer s Energy supply management Node power management SoC SiP Sensor interfaces FIGURE A node of a sensor network serving as an example of an E-AMS architecture. step-by-step leads to an implementation. In this approach it is crucial to obtain very early feedback on the impact of nonideal properties onto overall system performance which requires considering interaction of HW SW and AMS subsystems. In the SW engineering community extreme programming 17 uses a stepwise approach that starts with code fragments that are successively refined by SW engineers. Refinement of SW systems has been known for a long time . 15 . However the SW-oriented approaches are restricted to pure SW systems and do not deal with specific problems in the design of E-AMS systems. In the realm of formal property refinement of embedded systems a formal property that is present and proved in a system specification is maintained by proved design steps . 16 . In this chapter we describe a design refinement approach for E-AMS systems. Similar to extreme programming and in the same vein of property refinement it is an incremental approach. Compared to extreme programming however it is more specifically tailored to E-AMS system design whereas compared to property refinement we do not intend to provide a formal proof. Previous Work SystemC 1 supports the refinement of HW SW systems down to RTL by providing a discrete-event DE simulation framework. Design refinement of HW SW systems starts with a functional untimed specification that Design Refinement of Embedded Mixed-Signal Systems 587 is successively augmented with timing information power consumption and more accurate modeling of communication and simulation of potential HW SW architectures. However the properties of E-AMS systems are much more diverse than only timing performance and

Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.