A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

DOI10.1016/J.IPL.2010.04.025MaRDI QIDQ765470zbMATHOpenAlexFDO

Authors D. Kharzeev

Publication date 19 March 2012

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2010.04.025

zbMATH Keywords

performance evaluationformal methodssoftware engineeringSysMLembedded real-time systemstime Petri net

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Publication:4230777
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• Publication:4679539
• Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.
• Building power consumption models from executable timed I/O automata specifications

Cites work

• scientific article; zbMATH DE number 5144777 (Why is no real title available?)
• Discrete, Continuous, and Hybrid Petri Nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations
• Recoverability of Communication Protocols--Implications of a Theoretical Study

Cited in

(1)

• Building power consumption models from executable timed I/O automata specifications

Describes a project that uses

Uses Software

• SoftExplorer
• SysML
• MARTE
• INA

This page was built for publication: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

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