Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2017 | OriginalPaper | Buchkapitel

1. Building Faithful Embedded Systems Models: Challenges and Opportunities

verfasst von : Ayoub Nouri, Marius Bozga, Saddek Bensalem

Erschienen in: Model-Implementation Fidelity in Cyber Physical System Design

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter, we overview some of the sought challenges for building faithful embedded systems models. We highlight the growing demand for using formal models especially for dealing with performance. The chapter illustrates the impact of the hardware part of the system on performance and suggests a probabilistic interpretation in order to build appropriately abstract models towards trustworthy analysis. We believe that such a view is worth to investigate to faithfully characterize the system performance as it provides a formal and parsimonious framework. In this context, we survey some probabilistic models and techniques that we think interesting for building such faithful representations.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Nächstes Kapitel Resource-Driven Modelling for Managing Model Fidelity
Fußnoten
2
These settings may coexist within the same design process, e.g., at different phases.
 
3
Our view of characterizing performance is to capture the gist of performance evolution formally and in a parsimonious way.
 
4
Challenges related to modeling the environment are out of the scope of this chapter.
 
5
A mode can be identified as a prominent peak in the histogram.
 
Literatur
1.
S. Ahuja, D.A. Mathaikutty, A. Lakshminarayana, S.K. Shukla, Scope: statistical regression based power models for co-processors power estimation. J. Low Power Electron. 5 (4), 407–415 (2009)CrossRef
2.
3.
T.W. Anderson, J.D. Finn, The New Statistical Analysis of Data (Springer, New York, 1996)CrossRefMATH
4.
C. Baier, J.P. Katoen, Principles of Model Checking (MIT Press, Cambridge, MA, 2008)MATH
5.
C. Baier, N. Bertrand, P. Bouyer, T. Brihaye, M. Grösser, Probabilistic and topological semantics for timed automata, in Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS (Springer, Berlin/Heidelberg, 2007), pp. 179–191MATH
6.
A. Bakshi, V.K. Prasanna, A. Ledeczi, MILAN: a model based integrated simulation framework for design of embedded systems. ACM Sigplan Not. 36 (8), 82–93 (2001)CrossRef
7.
A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.-H. Nguyen, J. Sifakis, Rigorous component-based system design using the BIP framework. IEEE Softw. 28 (3), 41–48 (2011)CrossRef
8.
A. Basu, S. Bensalem, M. Bozga, P. Bourgos, M. Maheshwari, J. Sifakis, Component assemblies in the context of manycore, in Formal Methods for Components and Objects (Springer, New York, 2013), pp. 314–333CrossRef
9.
T. Benaglia, D. Chauveau, D.R. Hunter, D.S. Young, Mixtools: an R package for analyzing finite mixture models. J. Stat. Softw. 32 (6), 1–29 (2009)CrossRef
10.
P. Bourgos, Rigorous design flow for programming manycore platforms. Ph.D. thesis, Grenoble University, 2013
11.
P. Bourgos, A. Basu, M. Bozga, S. Bensalem, J. Sifakis, K. Huang, Rigorous system level modeling and analysis of mixed HW/SW systems, in MEMOCODE (2011), pp. 11–20
12.
G.E.P. Box, G.M. Jenkins, G.C. Reinsel, Time Series Analysis: Forecasting and Control. Forecasting and Control Series (Prentice Hall, Englewood Cliffs, 1994)MATH
13.
P.J. Brockwell, R.A. Davis, Introduction to Time Series and Forecasting. Number v. 1 in Introduction to Time Series and Forecasting (Springer, New York, 2002)
14.
P.E. Bulychev, A. David, K.G. Larsen, M. Mikucionis, D.B. Poulsen, A. Legay, Z. Wang, UPPAAL-SMC: statistical model checking for priced timed automata, in Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, 31 March and 1 April 2012 (2012), pp. 1–16
15.
R.C. Carrasco, J. Oncina, Learning stochastic regular grammars by means of a state merging method, in International Colloquium on Grammatical Inference (1994), pp. 139–152
16.
F.J. Cazorla, E. Quinones, T. Vardanega, L. Cucu-Grosjean, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, D. Maxim, PROARTIS: probabilistically analysable real-time systems, Research Report RR-7869, INRIA, 2012
17.
S. Chakraborty, S. Künzli, L. Thiele, A general framework for analysing system properties in platform-based embedded system designs, in Design Automation and Test in Europe, Citeseer, vol. 3 (2003), p. 10190
18.
G. Cowan, Statistical Data Analysis (Oxford University Press, Oxford, 1998)
19.
L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, F.J. Cazorla, Measurement-based probabilistic timing analysis for multi-path programs, in The 24th Euromicro Conference on Real-Time Systems, Pisa, Italy (2012)
20.
A. de Matos Pedro, P.A. Crocker, S.M. de Sousa, Learning stochastic timed automata from sample executions, in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (Springer, New York, 2012), pp. 508–523
21.
P. Giusto, G. Martin, E. Harcourt, Reliable estimation of execution time of embedded software, in Proceedings of the Conference on Design, Automation and Test in Europe, DATE ’01 (IEEE Press, Piscataway, NJ, USA, 2001), pp. 580–589
22.
D. Gross, J.F. Shortle, J.M. Thompson, C.M. Harris, Fundamentals of Queueing Theory. Wiley Series in Probability and Statistics (Wiley, New York, 2011)
23.
W. Haid, M. Keller, K. Huang, I. Bacivarov, L. Thiele, Generation and calibration of compositional performance analysis models for multi-processor systems, in ICSAMOS (2009), pp. 92–99
24.
M.G. Harbour, J.J.G. García, J.C.P. Gutiérrez, J.M.D. Moyano, Mast: modeling and analysis suite for real time applications, in 13th Euromicro Conference on Real-Time Systems (IEEE, Computer Society, Washington, DC, USA, 2001), pp. 125–134
25.
R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, R. Ernst, System level performance analysis - the SymTA/S approach, in IEEE Proceedings Computers and Digital Techniques (2005)
26.
T. Hérault, R. Lassaigne, F. Magniette, S. Peyronnet, Approximate probabilistic model checking, in Verification, Model Checking, and Abstract Interpretation (2004), pp. 73–84
27.
K. Huang, W. Haid, I. Bacivarov, M. Keller, L. Thiele, Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications. ACM Trans. Embed. Comput. Syst. 11 (1), 8:1–8:23 (2012)
28.
Z.J. Jia, A. Núñez, T. Bautista, A.D. Pimentel, A two-phase design space exploration strategy for system-level real-time application mapping onto MPSoC. Microprocess. Microsyst. 38 (1), 9–21 (2014)CrossRef
29.
Y. Jiang, Y. Liu, Stochastic Network Calculus (Springer, London, 2008)MATH
30.
K. Keutzer, S. Malik, S. Member, A.R. Newton, J.M. Rabaey, A. Sangiovanni-vincentelli, System-level design: orthogonalization of concerns and platform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19, 1523–1543 (2000)CrossRef
31.
S.A. Klugman, H.H. Panjer, G.E. Willmot, Loss Models: From Data to Decisions, vol. 715 (Wiley, New York, 2012)MATH
32.
M.Z. Kwiatkowska, G. Norman, R. Segala, J. Sproston, Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282 (1), 101–150 (2002)MathSciNetCrossRefMATH
33.
M. Kwiatkowska, G. Norman, D. Parker, Probabilistic verification of Herman’s self-stabilisation algorithm. Form. Asp. Comput. 24 (4), 661–670 (2012)MathSciNetCrossRefMATH
34.
K. Lampka, G. Giannopoulou, R. Pellizzoni, Z. Wu, N. Stoimenov, A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Real-Time Syst. 50 (5–6), 736–773 (2014)CrossRefMATH
35.
J.-Y. Le Boudec, Performance Evaluation of Computer and Communication Systems (EPFL Press, Lausanne, 2010)MATH
36.
J.-Y. Le Boudec, P. Thiran, Network Calculus: a Theory of Deterministic Queuing Systems for the Internet (Springer, Berlin/Heidelberg, 2001)CrossRefMATH
37.
P. Lieverse, P. Van Der Wolf, K. Vissers, E. Deprettere, A methodology for architecture exploration of heterogeneous signal processing systems. J. VLSI Sig. Process. Syst. Sig. Image Video Technol. 29 (3), 197–207 (2001)CrossRefMATH
38.
H. Mao, Y. Chen, M. Jaeger, T.D. Nielsen, K.G. Larsen, B. Nielsen, Learning probabilistic automata for model checking, in QEST (2011), pp. 111–120
39.
H. Mao, Y. Chen, M. Jaeger, T.D. Nielsen, K.G. Larsen, B. Nielsen, Learning Markov decision processes for model checking. arXiv preprint arXiv:1212.3873 (2012)
40.
N. Matloff, From Algorithms to Z-Scores: Probabilistic and Statistical Modeling in Computer Science (University Press of Florida, Gainesville, 2009)
41.
S. Mohanty, V.K. Prasanna, Rapid system-level performance evaluation and optimization for application mapping onto SoC architectures, in ASIC/SOC Conference, 2002. 15th Annual IEEE International (IEEE, Piscataway, NJ, USA, 2002), pp. 160–167
42.
NIST/SEMATECH, NIST/SEMATECH e-Handbook of Statistical Methods (2016)
43.
A. Nouri, Rigorous system-level modeling and performance evaluation for embedded system design, Theses, Université Grenoble Alpes, 2015
44.
A. Nouri, M. Bozga, A. Molnos, A. Legay, S. Bensalem, Building faithful high-level models and performance evaluation of manycore embedded systems, in Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2014 (IEEE, 2014), pp. 209–218
45.
A. Nouri, B. Raman, M. Bozga, A. Legay, S. Bensalem, Faster statistical model checking by means of abstraction and learning, in Proceedings of Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, 22–25 Sept 2014 (2014), pp. 340–355
46.
A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay, Statistical model checking QoS properties of systems with SBIP. Softw. Tools Technol. Trans. 17 (2), 171–185 (2015)CrossRef
47.
R. Pearson, Exploring Data in Engineering, the Sciences, and Medicine (Oxford University Press, New York, 2011)
48.
A.D. Pimentel, The artemis workbench for system-level performance evaluation of embedded systems. Int. J. Embed. Syst. 3, 181–196 (2008)CrossRef
49.
A.D. Pimentel, C. Erbas, S. Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels. Comput. IEEE Trans. 55 (2), 99–112 (2006)CrossRef
50.
A.D. Pimentel, M. Thompson, S. Polstra, C. Erbas, Calibration of abstract performance models for system-level design space exploration. J. Sig. Process. Syst. 50 (2), 99–114 (2008)CrossRef
51.
L. Rabiner, A tutorial on hidden Markov models and selected applications in speech recognition. Proc. IEEE 77 (2), 257–286 (1989)CrossRef
52.
J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, B. Becker, A definition and classification of timing anomalies, in 6th International Workshop on Worst-Case Execution Time (WCET), Analysis, 4 Jul 2006, Dresden, Germany (2006)
53.
L. Santinelli, L. Cucu-Grosjean, Toward probabilistic real-time calculus. SIGBED Rev. 8 (1), 54–61 (2011)CrossRef
54.
K. Sen, M. Viswanathan, G. Agha, Learning continuous time Markov chains from sample executions, in First International Conference on the Quantitative Evaluation of Systems QEST. (IEEE, Computer Society, Washington, DC, USA, 2004), pp. 146–155
55.
A. Stolcke, S. Omohundro, Hidden Markov model induction by Bayesian model merging, in Advances in Neural Information Processing Systems (1993), pp. 11–11
56.
L. Thiele, S. Chakraborty, M. Naedele, Real-time calculus for scheduling hard real-time systems, in International Symposium on Computer Architecture, vol. 4 (2000), pp. 101–104
57.
L. Thiele, I. Bacivarov, W. Haid, K. Huang, Mapping applications to tiled multiprocessor embedded systems, in Application of Concurrency to System Design (2007)
58.
L. Thiele, L. Schor, I. Bacivarov, H. Yang, Predictability for timing and temperature in multiprocessor system-on-chip platforms, in ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia12, LCTES11, Rigorous Embedded Systems Design, and Multiprocessor, 12 March 2013
59.
S. Verwer, R. Eyraud, C. de la Higuera, Results of the pautomac probabilistic automaton learning competition, in International Conference on Grammatical Inference (2012), pp. 243–248
60.
D. Vose, Risk Analysis: a Quantitative Guide (Wiley, New York, 2008)MATH
61.
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, P. Stenström, The worst-case execution-time problem—overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7 (3), 36:1–36:53 (2008)
62.
R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, C. Ferdinand, Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems. IEEE Trans. CAD Integr. Circuits Syst. 28 (7), 966–978 (2009)CrossRef
63.
H.L.S. Younes, Verification and planning for stochastic processes with asynchronous events. Ph.D. thesis, Carnegie Mellon, 2005
Metadaten
Titel
Building Faithful Embedded Systems Models: Challenges and Opportunities
verfasst von
Ayoub Nouri
Marius Bozga
Saddek Bensalem
Copyright-Jahr
2017
Buch
Model-Implementation Fidelity in Cyber Physical System Design

Print ISBN: 978-3-319-47306-2

Electronic ISBN: 978-3-319-47307-9

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-47307-9_1

Neuer Inhalt

    Bildnachweise