System Level Performance Analysis for Real-Time Multi-Core and Network Architectures

This publication has 37 references indexed in Scilit:

• Compositional Verification for Component-Based Systems and Application
  Lecture Notes in Computer Science, 2008
• Combined approach to system level performance analysis of embedded systems
  2007
• Influence of different system abstractions on the performance analysis of distributed real-time systems
  2007
• A framework for modular analysis and exploration of heterogeneous embedded systems
  Real-Time Systems, 2006
• Combining Simulation and Formal Methods for System-Level Performance Analysis
  2006
• Improved offset-analysis using multiple timing-references
  2006
• System level performance analysis – the SymTA/S approach
  IEE Proceedings - Computers and Digital Techniques, 2005
• Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition
  2002
• Holistic schedulability analysis for distributed hard real-time systems
  Microprocessing and Microprogramming, 1994
• An extendible approach for analyzing fixed priority hard real-time tasks
  Real-Time Systems, 1994