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

DOI10.1016/J.IPL.2010.04.025zbMATH Open1234.68283OpenAlexW2032662971MaRDI QIDQ765470FDOQ765470

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

Recommendations

• scientific article; zbMATH DE number 1249731
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• scientific article; zbMATH DE number 2176488
• Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.
• Building power consumption models from executable timed I/O automata specifications

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)

Cites Work

• Discrete, Continuous, and Hybrid Petri Nets
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Title not available (Why is that?)
• Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

Cited In (1)

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

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)