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:
A Survey on Location Recommendation Systems Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

An Incremental Verification Paradigm for Embedded Systems

verfasst von : Hara Gopal Mani Pakala

Erschienen in: Advances in Computing and Data Sciences

Verlag: Springer Singapore

Einloggen

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

search-config
loading …

Abstract

Embedded Systems complexity is enhancing many folds in most of the product domains. Changing requirements and uncertainty during early stages of development are of greatest concern for the developing community, as they enhance system development complexities. Verification encompasses all aspects of system development process. This paper proposes an incremental paradigm that incorporates early integration and reduces uncertainty during initial phases of development under changing conditions of requirements. The method can be represented by a cascaded V-model. The verification methodology implementation issues are presented.

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

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!

Jetzt informieren
Vorheriges Kapitel Additive Noise Removal by Combining Non Local Means Filtering and a Local Fuzzy Filter – A Fusion Approach
Nächstes Kapitel Artificial Intelligence Based Recommender Systems: A Survey
Literatur
1.
Jeannet, B., Gaucher, F.: Debugging embedded systems requirements with stimulus: an automotive case-study. In: Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016
2.
Chang, C.-H., et al.: SysML-based requirement management to improve software development. Int. J. Softw. Eng. Knowl. Eng. 26(03), 491–511 (2016)CrossRef
3.
Saeedloei, N., Gupta, G.: A methodology for modeling and verification of cyber-physical systems based on logic programming. ACM SIGBED Rev. 13(2), 34–42 (2016)CrossRef
4.
Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: CBSE 2013, 17–21 June 2013, Vancouver, BC, Canada (2013)
5.
6.
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-ZentrumfuerInformatik (2013)
7.
Nanda, M., Jayanthi, J.: An effective verification and validation strategy for safety-critical embedded systems. Int. J. Softw. Eng. Appl. (IJSEA) 4(2), 123–142 (2013)
8.
Tatar, M., Mauss, J.: Systematic test and validation of complex embedded systems. In: ERTS-2014, Toulouse, pp. 05–07 (2014)
9.
Liggesmeyer, P., Trapp, M.: Trends in embedded software engineering. IEEE Softw. 26(3), 19–25 (2009)CrossRef
10.
The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report, National Institute of Standards and Technology, May 2002
11.
Hoppe, M., Engel, A.: Improving VVT process in SysTest project: evaluating results of pilot projects in six industries. In: 2005 Fifteenth Annual International Symposium on Systems Engineering: Bridging Industry, Government, and Academia, 10–15 July 2005, NY, USA (2005)
12.
Watterson, C., Heffernan, D.: A runtime verification monitoring approach for embedded industrial controllers. In: IEEE International Symposium on Industrial Electronics, ISIE 2008, pp. 2016–2021. IEEE (2008)
13.
Drusinsky, D., Michael, J.B., Shing, M.-T.: A visual trade-off space for formal verification and validation techniques. IEEE Syst. J. 2(4), 513–519 (2008)CrossRef
14.
Aichernig, B.K.: The commuting V-diagram: on the relation of refinement and testing. UNU/IIST Report No. 254 (2002)
15.
Broekman, B., Notenboom, E.: Testing Embedded Software. Addison-Weseley, Boston (2003)
16.
Pakala, H.G.M., et al.: Development of instrument for test and evaluation of a signal processing system. J. Instrum. Soc. India 42(1), 40–43 (2012)
17.
Pakala, H.G.M., et al.: An adaptive design verification methodology for embedded systems. Int. J. Ad hoc Sens. Ubiquit. Comput. (IJASUC) 2(3), 35–55 (2011)CrossRef
Metadaten
Titel
An Incremental Verification Paradigm for Embedded Systems
verfasst von
Hara Gopal Mani Pakala
Copyright-Jahr
2017
Verlag
Springer Singapore
Buch
Advances in Computing and Data Sciences

Print ISBN: 978-981-10-5426-6

Electronic ISBN: 978-981-10-5427-3

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-981-10-5427-3_5