• Home
  • Search
  • Modeling and Analysis of Real-Time Software Based on Resource Timed Communicating Sequential Process
  • Cite Icon1
  • https://doi.org/10.4028/www.scientific.net/amr.225-226.802Copy DOI Icon

Modeling and Analysis of Real-Time Software Based on Resource Timed Communicating Sequential Process

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

With the progress of low-power research on real-time systems, the estimation and analysis of energy consumption of real-time systems becomes a hot topic. Process Algebra is a formal method fit for analyzing the functional properties of real-time systems, but it can not analyze the energy consumption properties. This paper proposes a formal method support for modeling and analyzing energy consumption of real-time software. Resource Timed Communicating Sequential Process (RTCSP) is proposed in this paper can handle it efficiently by extending resource information on Timed Communicating Sequential Process (TCSP). In this paper, the power consumption of instructions in real-time systems is mapped into the resource of RTCSP, the energy consumption of real-time software can be modeled and optimized by using RTCSP, the optimal path algorithm is proposed to calculate the minimum energy consumption reachability path of real-time systems. This formal method improves the accuracy and efficiency of energy calculation, the calculation results can be used to quantitatively analyze and optimize the energy consumption of real-time systems.

Similar Papers
  • Research Article
  • Citations4

Reliability-Aware Energy-Efficient Scheduling for (m, k)-Constrained Real-Time Systems Through Shared Time Slots

  • May 27, 2020
  • Microprocessors and Microsystems
  • Linwei Niu
  • Research Article
  • Citations8

Energy consumption and energy-saving potential analysis of pollutant abatement systems in a 1000-MW coal-fired power plant

  • Jul 03, 2018
  • Journal of the Air & Waste Management Association
  • Hang Yang +6
  • PDF
  • Research Article
  • Citations10

Supporting Swap in Real-Time Task Scheduling for Unified Power-Saving in CPU and Memory

  • Jan 01, 2022
  • IEEE Access
  • Suji Yoon +3
  • Research Article

An Analysis of the Seasonal Energy Consumption of Culture and Education Comprehensive Building

  • Aug 16, 2013
  • Advanced Materials Research
  • Hong Wei Lu +1
  • Conference Article
  • Citations1

Modeling and Analysis of Real-Time Software Based on Resource Communicating Sequential Process

  • Dec 01, 2009
  • Yi Zhu +2
  • Research Article
  • Citations5

Energy consumption analysis and operating characteristics research on small time scale of variable refrigerant flow air conditioning systems in public buildings

  • Sep 28, 2024
  • Thermal Science and Engineering Progress
  • Junting Li +5
  • Research Article

A Comprehensive Multiple Linear Regression Modeling and Analysis of LoRa User Device Energy Consumption

  • Dec 29, 2025
  • Journal of Sensor and Actuator Networks
  • Josip Lorincz +3
  • PDF
  • Research Article
  • Citations25

Life Cycle Energy Consumption and Greenhouse Gas Emissions Analysis of Primary and Recycled Aluminum in China

  • Nov 05, 2022
  • Processes
  • Tianduo Peng +4
  • Conference Article
  • Citations16

On the energy consumption and performance of systems software

  • May 30, 2011
  • Zhichao Li +5
  • Research Article

Анализ энергоемкости и времени окупаемости фотоэлектрических систем

  • Jan 01, 2015
  • Russian Internet Journal of Electrical Engineering
  • L.A Barinova
  • Research Article

Energy Consumption Modelling and Parameter Estimation for Autonomous Electric Shuttles

  • Jan 01, 2025
  • IFAC-PapersOnLine
  • Ipek Kuvvetli +3
  • Research Article
  • Citations1

Energy Consumption Indicators in Residential Buildings in North-Eastern Poland

  • Nov 05, 2025
  • Inżynieria Mineralna
  • Mariusz Adamski +4
  • PDF
  • Research Article
  • Citations1

Parametric analysis of chiller plant energy consumption in a tropical climate

  • Dec 15, 2023
  • International Journal of Air-Conditioning and Refrigeration
  • Esther Benedicta Kyere +2
  • Research Article

Energy Consumption and Optimization Analysis of Gas Production System of Condensate Gas Reservoir-Type Gas Storage

  • Sep 03, 2025
  • Energies
  • Hong Meng +6
  • Research Article
  • Citations9

Study on load monitoring and demand side management strategy based on Elman neural network optimized by sparrow search algorithm

  • Jan 27, 2022
  • Circuit World
  • Yuanyuan Fan +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.