Managing Verification Activities Using SVM

Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Abstract

SVM (System Verification Manager) manages the application of verification methods for model-based development of embedded systems by providing integrated representations of requirements, system architecture, models and verification methods. Developed in Java within MATLAB®, SVM supports all types of tools for modelling and verification through an extensible framework of data and coding structures. This paper presents the main features of SVM and illustrates its application to embedded control and signal processing systems.
Original languageEnglish
Title of host publicationFormal Methods and Software Engineering
Subtitle of host publication6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
EditorsJim Davies, Wolfram Schulte, Michael Barnett
PublisherSpringer
Pages61-75
Number of pages15
ISBN (Electronic)978-3-540-30482-1
ISBN (Print)978-3-540-23841-6
DOIs
Publication statusPublished - 2004
Externally publishedYes
Event6th International Conference on Formal Engineering Methods 2004 - Seattle, United States
Duration: 8 Nov 200412 Nov 2004
Conference number: 6

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume3308

Conference

Conference6th International Conference on Formal Engineering Methods 2004
Abbreviated titleICFEM 2004
CountryUnited States
CitySeattle
Period8/11/0412/11/04

Fingerprint Dive into the research topics of 'Managing Verification Activities Using SVM'. Together they form a unique fingerprint.

  • Cite this

    Aldrich, B., Fehnker, A., Feiler, P. H., Han, Z., Krogh, B. H., Lim, E., & Sivashankar, S. (2004). Managing Verification Activities Using SVM. In J. Davies, W. Schulte, & M. Barnett (Eds.), Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (pp. 61-75). (Lecture Notes in Computer Science; Vol. 3308). Springer. https://doi.org/10.1007/978-3-540-30482-1_13