0

Full Content is available to subscribers

Subscribe/Learn More  >

The Case for Verification of Systems

[+] Author Affiliations
Milton Korn

American Bureau of Shipping, Houston, TX

Paper No. OMAE2012-84168, pp. 795-804; 10 pages
doi:10.1115/OMAE2012-84168
From:
  • ASME 2012 31st International Conference on Ocean, Offshore and Arctic Engineering
  • Volume 1: Offshore Technology
  • Rio de Janeiro, Brazil, July 1–6, 2012
  • Conference Sponsors: Ocean, Offshore and Arctic Engineering Division
  • ISBN: 978-0-7918-4488-5
  • Copyright © 2012 by ASME

abstract

System verification covers the many components that comprise the system; these include the individual components, their integration as well as a control system, if provided. Large complex systems may have many individual functions repeatedly implemented. The implementation of system logic in software, pneumatics, hydraulics and hardwired interconnected electromechanical relay is explored in this paper. It is suggested that the definition of software is more than simply code executing within a programmable electronic controller (PEC), especially when system control includes control loops utilizing PID control with optional cascade and/or feed forward control, Kalman Filtering, etc. that are themselves executing within the PEC or in other control devices external to the PEC. This paper reviews the importance of systematically analyzing systems for the purpose of developing a verification scope that can reasonably be implemented, while constrained by time and cost, recognizing that not all defects can be identified.

Copyright © 2012 by ASME

Figures

Tables

Interactive Graphics

Video

Country-Specific Mortality and Growth Failure in Infancy and Yound Children and Association With Material Stature

Use interactive graphics and maps to view and sort country-specific infant and early dhildhood mortality and growth failure data and their association with maternal

NOTE:
Citing articles are presented as examples only. In non-demo SCM6 implementation, integration with CrossRef’s "Cited By" API will populate this tab (http://www.crossref.org/citedby.html).

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In