-
- Hendrik Roehm
- Robert Bosch GmbH, Boltzmannstr
-
- Jens Oehlerking
- Robert Bosch GmbH, Boltzmannstr
-
- Matthias Woehrle
- Robert Bosch GmbH, Boltzmannstr
-
- Matthias Althoff
- TU Munich
書誌事項
- タイトル別名
-
- A Survey
説明
<jats:p>Model-based development is an important paradigm for developing cyber-physical systems (CPS). The underlying assumption is that the functional behavior of a model is related to the behavior of a more concretized model or the real system. A formal definition of such a relation is called conformance relation. There are a variety of conformance relations, and the question arises of how to select a conformance relation for the development of CPS. The contribution of this article is a survey of the definitions and algorithms of conformance relations for CPS. Additionally, the article compares several conformance relations and provides guidance on which relation to select for specific problems. Finally, we discuss how to select inputs for testing conformance.</jats:p>
収録刊行物
-
- ACM Transactions on Cyber-Physical Systems
-
ACM Transactions on Cyber-Physical Systems 3 (3), 1-26, 2019-07-31
Association for Computing Machinery (ACM)
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1360574096099836672
-
- DOI
- 10.1145/3306157
-
- ISSN
- 23789638
- 2378962X
-
- データソース種別
-
- Crossref