Article

Performance estimation of distributed real-time embedded systems by discrete event simulations

Authors:

Sherif AbdelwahedAuthors Info & Claims

EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software

Pages 183 - 192

https://doi.org/10.1145/1289927.1289958

Published: 30 September 2007 Publication History

Abstract

Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated generation of directed test vectors. This paper investigates how DRE systems can be represented as discrete event systems (DES) in continuous time, and proposes an automated method for the performance evaluation of such systems. The proposed method also provides a way for the verification of dense time properties for a large class of DRE systems. This approach provides a formal executable model allowing to bridge the gap between simulations and formal verification. Our results show that the proposed DES-based evaluation method can achieve better coverage in large-scale DRE systems than alternative methods.

References

[1]

R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.

Digital Library

[2]

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The Synchronous Languages 12 Years Later. Proceedings of the IEEE, 91:64--83, 2003.

[3]

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis. The IF Toolset. Formal Methods for the Design of Real-Time Systems, LNCS 3185, pages 237--267, 2004.

[4]

R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293--318, 1992.

Digital Library

[5]

C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.

[6]

E. M. Clarke and E. A. Emerson. Design and synthesis of synchronisation skeletons using branching time temporal logic. Logic of Programs, LNCS, 131:52--71, 1981.

Digital Library

[7]

C. Ericsson, A. Wall, and W. Yi. Timed Automata as Task Models for Event-Driven Systems. In Proceedings of RTSCA, 1999.

Digital Library

[8]

T. Gerdsmeier and R. Cardell-Oliver. Analysis of Scheduling Behaviour using Generic Timed Automata. Electronic Notes in Theoretical Computer Science, 42, 2001.

[9]

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System Level Performance Analysis - the SymTA/S Approach. IEE Proceedings Computers and Digital Techniques, 152:148--166, 2005.

[10]

T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91:84--99, 2003.

Digital Library

[11]

M. H. Klein, T. Ralya, B. Pollak, and R. Obenza. A Practitioners' Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.

Digital Library

[12]

K. Lahiri, A. Raghunathan, and S. Dey. System-Level Performance Analysis for Designing On-Chip Communication Architectures. IEEE Transactions on Computer Aided-Design of Integrated Circuits and Systems, 20:768--783, 2001.

Digital Library

[13]

K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134--152, 1997.

Digital Library

[14]

A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, and J. Sprinkle. Composing Domain-Specific Design Environments. Computer, pages 44--51, 2001.

Digital Library

[15]

E. A. Lee. The Problem with Threads. IEEE Computer, 39(5), 2006.

Digital Library

[16]

E. A. Lee, C. Hylands, J. Janneck, J. D. II, J. Liu, X. Liu, S. Neuendorffer, S. S. M. Stewart, K. Vissers, and P. Whitaker. Overview of the Ptolemy Project. Technical Report UCB/ERL M01/11, EECS Department, University of California, Berkeley, 2001.

[17]

C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM, 20(1):46--61, 1973.

Digital Library

[18]

G. Madl and S. Abdelwahed. Model-based Analysis of Distributed Real-time Embedded System Composition. In Proceedings of EMSOFT, pages 371--374, 2005.

Digital Library

[19]

G. Madl, S. Abdelwahed, and G. Karsai. Automatic Verification of Component-Based Real-Time CORBA Applications. In Proceedings of RTSS, pages 231--240, 2004.

Digital Library

[20]

G. Madl, S. Abdelwahed, and D. C. Schmidt. Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking. Real-Time Systems, 33:77--100, 2006.

Digital Library

[21]

G. Madl and N. Dutt. Tutorial for the Open-source Dream Tool. In CECS Technical Report, 2006.

[22]

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. 1992.

Digital Library

[23]

K. Richter, M. Jersak, and R. Ernst. A Formal Approach to MpSoC Performance Verification. IEEE Computer, 36:60--67, 2003.

Digital Library

[24]

V. Subramonian, C. Gill, C. Sanchez, and H. Sipma. Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time Embedded Systems. In Proceedings of EMSOFT, pages 252--261, 2006.

Digital Library

[25]

E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse. System architecture evaluation using modular performance analysis - a case study. Software Tools for Technology Transfer (STTT), 8(6):649--667, 2006.

Digital Library

Cited By

Ripamonti LTrubian MMaggiorini DPreviti S(2017)Video Games and Operations ResearchComputers in Entertainment 10.1145/276713616:1(1-12)Online publication date: 23-Dec-2017
https://dl.acm.org/doi/10.1145/2767136
Huang KZhang XXiu SZheng DYu MMa DHuang KChen GYan X(2015)Profiling and annotation combined method for multimedia application specific MPSoC performance estimationFrontiers of Information Technology & Electronic Engineering10.1631/FITEE.140023916:2(135-151)Online publication date: 6-Feb-2015
https://doi.org/10.1631/FITEE.1400239
Tsai CKuo HLin ZGuo ZWang J(2015)A Java Processor IP Design for Embedded SoCACM Transactions on Embedded Computing Systems10.1145/262964914:2(1-25)Online publication date: 17-Feb-2015
https://dl.acm.org/doi/10.1145/2629649
Show More Cited By

Index Terms

Performance estimation of distributed real-time embedded systems by discrete event simulations
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
      2. Modeling methodologies

Recommendations

Real-time and embedded systems development based on discrete event modeling and simulation
The performance and energy consumption of three embedded real-time operating systems
CASES '01: Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems

This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded applications and RTOSs by executing them on an accurate architectural model ...
Real-time distributed simulations in an HLA framework: Application to aircraft simulation

This paper presents some ongoing research carried out in the context of the PRISE Project (Research Platform for Embedded Systems Engineering). This platform has been designed to evaluate and validate new embedded system concepts and techniques through a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software

September 2007

304 pages

ISBN:9781595938251

DOI:10.1145/1289927

Program Chairs:
Christoph M. Kirsch
University of Salzburg
,
Reinhard Wilhelm
Saarland University

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ESWEEK07

Sponsor:

ESWEEK07: Third Embedded Systems Week

September 30 - October 3, 2007

Salzburg, Austria

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
399
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ripamonti LTrubian MMaggiorini DPreviti S(2017)Video Games and Operations ResearchComputers in Entertainment 10.1145/276713616:1(1-12)Online publication date: 23-Dec-2017
https://dl.acm.org/doi/10.1145/2767136
Huang KZhang XXiu SZheng DYu MMa DHuang KChen GYan X(2015)Profiling and annotation combined method for multimedia application specific MPSoC performance estimationFrontiers of Information Technology & Electronic Engineering10.1631/FITEE.140023916:2(135-151)Online publication date: 6-Feb-2015
https://doi.org/10.1631/FITEE.1400239
Tsai CKuo HLin ZGuo ZWang J(2015)A Java Processor IP Design for Embedded SoCACM Transactions on Embedded Computing Systems10.1145/262964914:2(1-25)Online publication date: 17-Feb-2015
https://dl.acm.org/doi/10.1145/2629649
Kim JOh HChoi JHa HHa S(2013)A novel analytical method for worst case response time estimation of distributed embedded systemsProceedings of the 50th Annual Design Automation Conference10.1145/2463209.2488893(1-10)Online publication date: 29-May-2013
https://dl.acm.org/doi/10.1145/2463209.2488893
Wernsing JStitt GFowers JJerraya ACarloni LMooney VRabbah R(2012)The RACECAR heuristic for automatic function specialization on multi-core heterogeneous systemsProceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems10.1145/2380403.2380423(81-90)Online publication date: 7-Oct-2012
https://dl.acm.org/doi/10.1145/2380403.2380423
Giurgiu IKaeli DRolia JJohn LKrishnamurthy D(2012)Understanding performance modeling for modular mobile-cloud applicationsProceedings of the 3rd ACM/SPEC International Conference on Performance Engineering10.1145/2188286.2188333(259-262)Online publication date: 22-Apr-2012
https://dl.acm.org/doi/10.1145/2188286.2188333
Kim JOh HHa HKang SChoi JHa S(2012)An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded SystemsProceedings of the 2012 IEEE 33rd Real-Time Systems Symposium10.1109/RTSS.2012.86(363-372)Online publication date: 4-Dec-2012
https://dl.acm.org/doi/10.1109/RTSS.2012.86
Wernsing JStitt G(2012)Elastic computingParallel Computing10.1016/j.parco.2012.05.00138:8(438-464)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1016/j.parco.2012.05.001
Tacconi DMiorandi DCarreras IPellegrini FChlamtac I(2011)Cooperative evolution of services in ubiquitous computing environmentsACM Transactions on Autonomous and Adaptive Systems10.1145/2019583.20195876:3(1-24)Online publication date: 29-Sep-2011
https://dl.acm.org/doi/10.1145/2019583.2019587
Pei GRavindran BJensen E(2011)Self-organizing and self-reconfigurable event routing in ad hoc networks with causal dependency awarenessACM Transactions on Autonomous and Adaptive Systems10.1145/2019583.20195866:3(1-28)Online publication date: 29-Sep-2011
https://dl.acm.org/doi/10.1145/2019583.2019586
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten