This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Discussion on Methods Used in the Verification and Validation of Control Systems Architectures of Cyber-Physical Systems Based on Models and Systems Metrics
Technical Paper
2012-36-0458
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The architecture is a concept very broad and important that is directly connected to the realization of a system. It defines what the system is capable of doing, how it accomplishes its mission and how the system is. Currently, the development of system architectures is considered a domain of knowledge where science meets art. In some specific areas, the methods on the development of system architectures are already well formalized. However, when analyzing the evaluation of system architectures such as those for multi-domain control systems, it is clear that there is still much room for rationalization. In these cases, the search for new methods for the evaluation of system architectures is currently in the state of art.
In this work we discuss methods used in the verification and validation of control systems architectures of cyber-physical systems based on models and systems metrics.
To do that, we review and discuss the literature on available methods of verification and validation of systems architectures, models and metrics of the attributes of control systems, and cyber-physical systems. As a case study, we apply our investigation to a first order system and compare our results with some results of the literature. This case study is used to evaluate sensor and actuator architectures where we use a first order plant as a reference. For the case study described above we investigate at least three goals as the objective function for evaluation of architectures, including: performance, complexity, cost or reliability.
We expect to show that such discussion can contribute to better verification and validation of control systems architectures of cyber-physical systems based on models and systems metrics.
Recommended Content
Authors
Citation
Prudencio, S. and de Oliveira e Souza, M., "A Discussion on Methods Used in the Verification and Validation of Control Systems Architectures of Cyber-Physical Systems Based on Models and Systems Metrics," SAE Technical Paper 2012-36-0458, 2012, https://doi.org/10.4271/2012-36-0458.Also In
References
- BLACKBURN, M. BUSSER, R. NAUMAN, A. MORGAN, T. Using Models for Development and Verification of High Integrity Systems 2004
- BLACKBURN, M. Using Models for Test Generation and Analysis 1998
- AIRBUS AIRBUS V Model for System Development 2010
- NSF 2011 “Cyber-physical systems” Program Announcements & Information The National Science Foundation 4201 Wilson Boulevard, Arlington, Virginia 22230, USA http://www.nsf.gov/publications/pub_summ.jsp?WT.z_pi ms_id=503286&ods_key=nsf12520
- CPS Summit Website http://varma.ece.cmu.edu/summit/index.html
- Cyber-Physical System - Executive Summary CPS Steering Group March 6 2008
- Gourlay, J.S. Introduction to the Formal Treatment of Testing, Software Validation Proceeding of the Symposium on Software Validation 1983
- Heitmeyer Developing High Assurance Systems: On The Role of Software Tools 1998
- Kopetz, H. Real-Time Systems: Design Principles for Distributed Embedded Applications Kluwer Academic Publishers Norwell, MA, USA 1997
- DO-178C Software Considerations in Airborne Systems and Equipment Certification RTCA 2011
- DO-333 Model Based Development & Verification supplement for the DO-178C 2011
- FRANKLIN, G. F. POWELL, D. J. WORKMAN, M. L. Digital Control of Dynamic Systems 3rd Edition) Prentice Hall 1998 0201820544
- Rowell, D. Review of First- and Second-Order System Response 2.151 - Advanced systems dynamics and control 2004
- Sifakis, J. Turing Award 2007 2007