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

DOI10.1016/j.ipl.2010.04.025zbMath1234.68283OpenAlexW2032662971MaRDI QIDQ765470

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

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

Uses Software

• SoftExplorer
• SysML
• MARTE
• INA

Cites Work

• Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Discrete, Continuous, and Hybrid Petri Nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Unnamed Item

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