CMP - United Business Media TechOnline
All Articles Products Courses Papers VirtuaLabs Webinars Web



 
LoginRegister
      TechOnline > Electronics Company Directory > Technical Paper
Technical Papers
System Level Performance Analysis with Formal Methods and Virtual Prototyping

Click to Download
pdf logo
White Paper
2458 KB (13 pages)
May 2008
 

S. Schliecker et al
VaST Systems Technology

The timing of modern multiprocessor systems is increasingly difficult to predict due to complex intercomponent timing dependencies. Therefore, reliable methods for performance analysis are essential in order to predict both average case and worst-case behavior. In this paper, we investigate the timing of multiprocessor-systems-on-chips, where computation and communication between the individual application functions is highly entangled producing irregular and unpredictable timing. To meet these challenges, we explore various multiprocessor options empirically with a virtual system prototype (VSP) and formally with system level performance analysis.

Another upcoming challenge for real-time system design is systems evolving through modifications after their deployment. Here an Online Performance Control must ensure adherence to timing constraints during their lifetime. Implementing such a performance control framework on microcontrollers requires real-time operating system development ranging from microkernel adaptations for different target architectures to driver development. We show how virtual prototyping enabled us to quickly develop and efficiently debug the base software of a prototype implementation of an evolving realtime system.

We also briefly discuss requirements for virtual prototyping technology for the described cases above, and how existing technology in the marketplace differs from each other.

 
Rate this paper
WORSE | BETTER
1 2 3 4 5

submit a paper

VaST Systems Technology
   

WEBINAR
1. Power optimizing tips for Xilinx Virtex-5 FPGA designs

TECH PAPER
2. MPEG-2 Video Decoder: TMS320C62x Implementation

TECH PAPER
3. Get a Grip on Multimedia PMP Demands with the Right Processor Selection

TECH PAPER
4. TMS320DM355 Digital Media System-on-Chip (DMSoC)