Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.

MaRDI QIDQ3092750zbMATH OpenFDO

Authors Simon Perathoner

Publication date 22 September 2011

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0229-4

zbMATH Keywords

DVS schedulingempirical/analytical/state-based modelshybrid performance analysismodular performance analysis (MPA)real-time embedded systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• scientific article; zbMATH DE number 5080923
• Formal Modeling and Analysis of Timed Systems
• Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
• Quantitative characterization of event streams in analysis of hard real-time applications
• Multiprocessor extensions to real-time calculus

Cited in

(13)

• Designing end-to-end resource reservations in predictable distributed embedded systems
• Real-time worst-case temperature analysis with temperature-dependent parameters
• Rapid performance re-engineering of distributed embedded systems via latency analysis and k-level diagonal search
• scientific article; zbMATH DE number 5080923 (Why is no real title available?)
• System-Level Assertion-Based Performance Verification for Embedded Systems
• scientific article; zbMATH DE number 1249731 (Why is no real title available?)
• Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
• Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems
• Formal Modeling and Analysis of Timed Systems
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
• Quantitative characterization of event streams in analysis of hard real-time applications
• Workload correlations in multi-processor hard real-time systems
• A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems

Describes a project that uses

Uses Software

• Uppaal
• PEPA
• TrueTime
• RTC toolbox

This page was built for publication: Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092750)