Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Characterization of Fuzzy Tree Searches: A Perspective Note Read chapter Read first chapter

2015 | OriginalPaper | Chapter

Dynamic Scenarios in Embedded System Verification

Authors : Hara Gopal Mani Pakala, P. L. H. Varaprasad, K. V. S. V. N. Raju, Ibrahim Khan

Published in: Intelligent Computing and Applications

Publisher: Springer India

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Scenario-based approaches have become attractive for designs through testing of embedded systems (ES). For verification, the system under development should be analyzed during its operation. Modeling of dynamic scenarios provides advantages of combining runtime verification with test generation and supports dynamic analysis of systems. This paper presents application of dynamic scenarios for test generation of a practical embedded signal processing system as case study.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Simulating Self-Recovering Electric Circuits Using Neural Networks
next chapter PSO in Concentric Circular Arrays for Side Lobe Reduction with Symmetric Relocation Boundary Condition
Literature
1.
RTI: The economic impacts of inadequate infrastructure for software testing. Technical report, National Institute of Standards and Technology, May 2002
2.
Helle, P., Schamai, W.: Towards an integrated methodology for the development and testing of complex systems. In: VALID 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle (2013)
3.
4.
Gheorghita, S.V., Palkovic, M., Hamers, J., Vandecappelle, A., Mamagkakis, S., Basten, T., Eeckhout, L., Corporaal, H., Catthoor, F., Vandeputte F., De Bosschere, K.: System scenario based design of dynamic embedded systems. ES Reports ISSN: 1574-9517 ESR-2007–2006, Revised 23 June 2008, Eindhoven University of Technology Department of Electrical Engineering Electronic Systems, 30 Sept 2007
5.
Gargantini, A., Riccobene, E., Scandurra, P., Carioni, A.: Scenario-based validation of embedded systems. In: Forum on: Specification, Verification and Design Languages, pp. 191–196 (2008)
6.
7.
Elshuber, M., Kandl, S., Puschner, P.: Improving system-level verification of systemC models with SPIN. In: Choppy, C., Sun, J. (eds.) 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), vol. 31. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)
8.
Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: CBSE’13, Vancouver, BC, Canada. 17–21 June 2013
9.
Tatar M., Mauss, J.: Systematic test and validation of complex embedded systems. ERTS-2014, Toulouse, pp. 05–07 (2014)
10.
Varma, P.: Design verification problems: test to the rescue? In: Proceedings of the IEEE International Test Conference (ITC’03) (2003)
11.
Pakala, H.G.M., Dr P.L.H., VaraPrasad, Dr. Raju K.V.S.V.N., Dr. Khan, I.: Development of instrumentation for test and evaluation of a signal processing system. J. Instrum. Soc. India, 40(1) 2012
12.
13.
Waite, A.: Sonar for Practising Engineers, 3rd edn. Wiley, New York (2002)
14.
Etter, P.C.: Underwater Acoustic Modeling and Simulation, 3rd edn. Spon Press, London, 4 Apr 2003
15.
de Theije, P.A.M., Groen, H.: Multi static sonar simulations with SIMONA. In: Proceedings of 9th International Conference on Information Fusion, Florence, Italy, July 2006
Metadata
Title
Dynamic Scenarios in Embedded System Verification
Authors
Hara Gopal Mani Pakala
P. L. H. Varaprasad
K. V. S. V. N. Raju
Ibrahim Khan
Copyright Year
2015
Publisher
Springer India
Book
Intelligent Computing and Applications

Print ISBN: 978-81-322-2267-5

Electronic ISBN: 978-81-322-2268-2

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-81-322-2268-2_50

Premium Partner

    Image Credits