Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.The large number of applications in these devices covers a vast space from multimedia decoding to Internet and gaming . As a result of ... This means that applications, such as engine control system, braking system, and multimedia system, are mapped on nearly autonomous distributed application subsystems, consisting of electronic control units (ECU), networks, sensors and actuators. A state of theanbsp;...
|Title||:||Memory Controllers for Real-Time Embedded Systems|
|Author||:||Benny Akesson, Kees Goossens|
|Publisher||:||Springer Science & Business Media - 2011-09-15|