[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article

System architecture evaluation using modular performance analysis: a case study

Published: 01 November 2006 Publication History

Abstract

Performance analysis plays an increasingly important role in the design of embedded real-time systems. Time-to-market pressure in this domain is high while the available implementation technology is often pushed to its limit to minimize cost. This requires analysis of performance as early as possible in the life cycle. Simulation-based techniques are often not sufficiently productive. We present an alternative, analytical, approach based on Real-Time Calculus. Modular performance analysis is presented through a case study in which several candidate architectures are evaluated for a distributed in-car radio navigation system. The analysis is efficient due to the high abstraction level of the model, which makes the technique suitable for early design exploration.

References

[1]
Bacelli F., Cohen G., Olsder G.J., Quadrat J.P.(1992): Synchronization and Linearity: An Algebra for Discrete Event Systems.Wiley Series in Probability and Mathematical Statistics. John Wiley & Sons Ltd, New York
[2]
Balsamo S., Di Marco A., Inverardi P.(2004): Model-based performance prediction in software development: A survey. IEEE Trans Softw Eng 30(5): 295---310
[3]
Chakraborty, S., Künzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Proceedings of 6th Design, Automation and Test in Europe (DATE), Munich, Germany, pp. 190---195 (2003)
[4]
Cortellessa, V., Mirandola, R.: Deriving a queueing network based performance model from UML diagrams. In: Proceedings of 2nd International Workshop on Software and Performance (WOSP), Ottawa, Ontario, Canada, pp. 58---70 (2000)
[5]
Cruz R.L.(1991): A calculus for network delay. IEEE Trans Information Theory 37(1): 114---141
[6]
Gries, M.: Methods for evaluating and covering the design space during early design development. Tech. Rep. UCB/ERL M03/32, Electronics Research Lab, University of California at Berkeley (2003)
[7]
Grotker T., Liao S., Martin G., Swan S.(2002): System Design with SystemC. Kluwer, Dordrecht
[8]
IEEE/EIA: ISO/IEC 12207:1995 Standard for Information Technology --- Software life cycle processes. The Institute of Electrical and Electronics Engineers, Inc. (1998)
[9]
Kienhuis, B., Deprettere, E., Vissers, K., van der Wolf, P.: An approach for quantitative analysis of dataflow architectures. In: ASAP '97: Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors, IEEE Computer Society, Washington, DC, USA, p. 338 (1997)
[10]
Le Boudec J.Y., Thiran P.(2001): Network Calculus - A Theory of Deterministic Queuing Systems for the Internet No. 2050 in Lecture Notes in Computer Science (LNCS). Springer, Berlin Heidelberg New York
[11]
Maxiaguine A., Chakraborty S., Künzli S., Thiele L.(2004): Evaluating schedulers for multimedia processing on buffer-constrained soc platforms. IEEE Design Test 21(5): 368---377
[12]
Maxiaguine, A., Künzli, S., Thiele, L.: Workload characterization model for tasks with variable execution demand. In: Proceedings of 7th Design, Automation and Test in Europe (DATE) (2004)
[13]
Object Management Group: UML Profile for Schedulability, Performance and Time Specification (2004). URL http://www.uml.org/. Version 1.1, ptc/04-02-01
[14]
Schioler, H., Larsen, K.G., Jessen, J., Dalsgaard, J.: Cync - a method for real time analysis of systems with cyclic data flows. In: Proceedings of the 13th International Conference on Real-Time Systems, Automation and Test in Europe (RTS). Paris, France (2005)
[15]
Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proceedings of the Real-Time Systems Symposium (RTSS), IEEE Press, pp. 2---13 (2003)
[16]
Smith, C.U., Williams, L.G.: Computer Performance Evaluation: Modeling Techniques and Tools, chap. Performance Engineering Evaluation of Object-Oriented Systems with SPE*ED. No. 1245 in Lecture Notes in Computer Science (LNCS). Springer, Berlin Heidelberg New York (1997)
[17]
Thiele, L., Chakraborty, S., Naedele, M.: Real-Time Calculus for scheduling hard real-time systems. In: Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS), vol. 4, pp. 101---104 (2000)
[18]
Wandeler, E., Maxiaguine, A., Thiele, L.: Quantitative characterization of event streams in analysis of hard real-time applications. In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2004)
[19]
Wandeler, E., Thiele, L.: Abstracting functionality for modular performance analysis of hard real-time systems. In: Asia South Pacific Design Automation Conference (ASP-DAC) (2005)
[20]
Wandeler, E., Thiele, L.: Characterizing workload correlations in multi processor hard real-time systems. In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE, San Francisco, USA, pp. 46---55 (2005)

Cited By

View all
  • (2021)Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMsIEEE Transactions on Computers10.1109/TC.2020.298828270:3(372-383)Online publication date: 9-Feb-2021
  • (2019)Assessing the Robustness of Arrival Curves Models for Real-Time SystemsFormal Modeling and Analysis of Timed Systems10.1007/978-3-030-29662-9_2(23-40)Online publication date: 27-Aug-2019
  • (2018)Independent WCRT analysis for individual priority classes in Ethernet AVBReal-Time Systems10.5555/3288651.328873754:4(861-911)Online publication date: 1-Oct-2018
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image International Journal on Software Tools for Technology Transfer (STTT)
International Journal on Software Tools for Technology Transfer (STTT)  Volume 8, Issue 6
November 2006
195 pages
ISSN:1433-2779
EISSN:1433-2787
Issue’s Table of Contents

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 November 2006

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 18 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2021)Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMsIEEE Transactions on Computers10.1109/TC.2020.298828270:3(372-383)Online publication date: 9-Feb-2021
  • (2019)Assessing the Robustness of Arrival Curves Models for Real-Time SystemsFormal Modeling and Analysis of Timed Systems10.1007/978-3-030-29662-9_2(23-40)Online publication date: 27-Aug-2019
  • (2018)Independent WCRT analysis for individual priority classes in Ethernet AVBReal-Time Systems10.5555/3288651.328873754:4(861-911)Online publication date: 1-Oct-2018
  • (2018)Cross-Layer Dependency Analysis with Timing Dependence Graphs2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)10.1109/DAC.2018.8465895(1-6)Online publication date: 24-Jun-2018
  • (2017)Schedulability analysis of Ethernet Audio Video Bridging networks with scheduled traffic supportReal-Time Systems10.1007/s11241-017-9268-553:4(526-577)Online publication date: 1-Jul-2017
  • (2016)An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal ImpactProceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia10.1145/2993452.2993568(104-113)Online publication date: 1-Oct-2016
  • (2016)Response modeling runtime schedulers for timing analysis of self-timed dataflow graphsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2016.02.00365:C(15-29)Online publication date: 1-Apr-2016
  • (2016)ProMARTESJournal of Systems and Software10.1016/j.jss.2016.03.068117:C(450-470)Online publication date: 1-Jul-2016
  • (2016)Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resourcesReal-Time Systems10.1007/s11241-015-9227-y52:4(399-449)Online publication date: 1-Jul-2016
  • (2015)Applying Pay-Burst-Only-Once Principle for Periodic Power Management in Hard Real-Time Pipelined Multiprocessor SystemsACM Transactions on Design Automation of Electronic Systems10.1145/269986520:2(1-27)Online publication date: 2-Mar-2015
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media