Skip to main content
SpringerLink
Log in

Managing Verification Activities Using SVM

  • Conference paper
Formal Methods and Software Engineering (ICFEM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3308))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG model driven architecture, http://www.omg.org/mda

  2. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: Nineteenth Annual ACM Symposium on Principles of Programming Languages (1992)

    Google Scholar 

  3. Feiler, P., Lewis, B., Vestal, S.: The SAE Architecture Analysis & Design Language (AADL) Standard: A basis for model-based architecture-driven embedded systems engineering. In: IFIP World Computer Congress - Workshop on Architecture Description Languages (WADL 2004) (2004)

    Google Scholar 

  4. Feiler, P.H., Li, J.: Managing inconsistency in reconfigurable systems. In: IEEE Proceedings Software, pp. 172–179 (1998)

    Google Scholar 

  5. Han, Z., Krogh, B.H.: Using reduced-order models in reachability analysis of hybrid systems. In: IEEE Proc. of American Control Conference (to appear, 2004)

    Google Scholar 

  6. Johnson, L.A.: Software considerations in airborne systems and equipment certification. Technical report, RTCA Inc., Document RTCA/DO-178B (1992)

    Google Scholar 

  7. Li, J., Feiler, P.H.: Impact analysis in real-time control systems. In: Proceedings of International Conference on Software Maintenance (ICSM), pp. 443–452. IEEE Computer Society Press, Los Alamitos (1999)

    Google Scholar 

  8. Moore, B.C.: Principal component analysis in linear systems: Controllability, observability and model reduction. IEEE Transaction on Automatic Control 26(1) (Febuary 1981)

    Google Scholar 

  9. Perry, D.E.: The logic of propagation in the Inscape Environment. In: ACM SIGSOFT 1989 Third Symposium on Software Testing, Analysis and Verification, pp. 114–121 (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Mathworks, Inc., 3 Apple Hill Dr, Natick, MA, 01760-2098, USA

    Bill Aldrich & Eric Lim

  2. Dept. Elec. and Comp. Eng., Carnegie Mellon University, Pittsburgh, PA, 15213, USA

    Ansgar Fehnker, Zhi Han & Bruce H. Krogh

  3. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 15213, USA

    Peter H. Feiler

  4. Emmeskay, Inc., 44191 Plymouth Oaks Blvd Suite 300, Plymouth, MI, 48170, USA

    Shiva Sivashankar

Authors
  1. Bill Aldrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ansgar Fehnker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Peter H. Feiler
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zhi Han
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bruce H. Krogh
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Eric Lim
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Shiva Sivashankar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, Queen’s University, K7L 3N6, Kingston, ON, Canada

    Jim Davies

  2. Microsoft Research, One Microsoft Way, WA 98052, Redmond, USA

    Wolfram Schulte

  3. Microsoft Research, WA 98052, Redmond, USA

    Mike Barnett

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aldrich, B. et al. (2004). Managing Verification Activities Using SVM. In: Davies, J., Schulte, W., Barnett, M. (eds) Formal Methods and Software Engineering. ICFEM 2004. Lecture Notes in Computer Science, vol 3308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30482-1_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30482-1_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23841-6

  • Online ISBN: 978-3-540-30482-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation