Model Conformance for Cyber-Physical Systems: A Survey

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 r...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on cyber-physical systems 2019-10, Vol.3 (3), p.1-26
Main Authors: Roehm, Hendrik, Oehlerking, Jens, Woehrle, Matthias, Althoff, Matthias
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-LOGICAL-c240t-c39f305245482feae0d52bb3af688b2a2ce1edac6ba49eafd64f68e7d7b270503
container_end_page 26
container_issue 3
container_start_page 1
container_title ACM transactions on cyber-physical systems
container_volume 3
creator Roehm, Hendrik
Oehlerking, Jens
Woehrle, Matthias
Althoff, Matthias
description 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.
doi_str_mv 10.1145/3306157
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1145_3306157</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1145_3306157</sourcerecordid><originalsourceid>FETCH-LOGICAL-c240t-c39f305245482feae0d52bb3af688b2a2ce1edac6ba49eafd64f68e7d7b270503</originalsourceid><addsrcrecordid>eNo9j0tLw0AUhQdRsNTiX8jOjaN33slSgi-oWKiCu3Bn5g5WkkZmusm_N2Jxc84HBw58jF0KuBFCm1ulwArjTthCKlfzxqr69J_lxzlblfIFAMLZOd2CXb-MkfqqHfdpzAPuA1UzVO3kKfPN51R2AftqO5UDDeWCnSXsC62OvWTvD_dv7RNfvz4-t3drHqSGAw-qSQqM1EbXMhESRCO9V5hsXXuJMpCgiMF61A1hilbPC7novHRgQC3Z1d9vyGMpmVL3nXcD5qkT0P16dkdP9QNBVUQD</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Model Conformance for Cyber-Physical Systems: A Survey</title><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Roehm, Hendrik ; Oehlerking, Jens ; Woehrle, Matthias ; Althoff, Matthias</creator><creatorcontrib>Roehm, Hendrik ; Oehlerking, Jens ; Woehrle, Matthias ; Althoff, Matthias</creatorcontrib><description>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.</description><identifier>ISSN: 2378-962X</identifier><identifier>EISSN: 2378-9638</identifier><identifier>DOI: 10.1145/3306157</identifier><language>eng</language><ispartof>ACM transactions on cyber-physical systems, 2019-10, Vol.3 (3), p.1-26</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c240t-c39f305245482feae0d52bb3af688b2a2ce1edac6ba49eafd64f68e7d7b270503</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Roehm, Hendrik</creatorcontrib><creatorcontrib>Oehlerking, Jens</creatorcontrib><creatorcontrib>Woehrle, Matthias</creatorcontrib><creatorcontrib>Althoff, Matthias</creatorcontrib><title>Model Conformance for Cyber-Physical Systems: A Survey</title><title>ACM transactions on cyber-physical systems</title><description>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.</description><issn>2378-962X</issn><issn>2378-9638</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2019</creationdate><recordtype>article</recordtype><recordid>eNo9j0tLw0AUhQdRsNTiX8jOjaN33slSgi-oWKiCu3Bn5g5WkkZmusm_N2Jxc84HBw58jF0KuBFCm1ulwArjTthCKlfzxqr69J_lxzlblfIFAMLZOd2CXb-MkfqqHfdpzAPuA1UzVO3kKfPN51R2AftqO5UDDeWCnSXsC62OvWTvD_dv7RNfvz4-t3drHqSGAw-qSQqM1EbXMhESRCO9V5hsXXuJMpCgiMF61A1hilbPC7novHRgQC3Z1d9vyGMpmVL3nXcD5qkT0P16dkdP9QNBVUQD</recordid><startdate>20191001</startdate><enddate>20191001</enddate><creator>Roehm, Hendrik</creator><creator>Oehlerking, Jens</creator><creator>Woehrle, Matthias</creator><creator>Althoff, Matthias</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20191001</creationdate><title>Model Conformance for Cyber-Physical Systems</title><author>Roehm, Hendrik ; Oehlerking, Jens ; Woehrle, Matthias ; Althoff, Matthias</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c240t-c39f305245482feae0d52bb3af688b2a2ce1edac6ba49eafd64f68e7d7b270503</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2019</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Roehm, Hendrik</creatorcontrib><creatorcontrib>Oehlerking, Jens</creatorcontrib><creatorcontrib>Woehrle, Matthias</creatorcontrib><creatorcontrib>Althoff, Matthias</creatorcontrib><collection>CrossRef</collection><jtitle>ACM transactions on cyber-physical systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Roehm, Hendrik</au><au>Oehlerking, Jens</au><au>Woehrle, Matthias</au><au>Althoff, Matthias</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Model Conformance for Cyber-Physical Systems: A Survey</atitle><jtitle>ACM transactions on cyber-physical systems</jtitle><date>2019-10-01</date><risdate>2019</risdate><volume>3</volume><issue>3</issue><spage>1</spage><epage>26</epage><pages>1-26</pages><issn>2378-962X</issn><eissn>2378-9638</eissn><abstract>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.</abstract><doi>10.1145/3306157</doi><tpages>26</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2378-962X
ispartof ACM transactions on cyber-physical systems, 2019-10, Vol.3 (3), p.1-26
issn 2378-962X
2378-9638
language eng
recordid cdi_crossref_primary_10_1145_3306157
source Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)
title Model Conformance for Cyber-Physical Systems: A Survey
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T11%3A56%3A48IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Model%20Conformance%20for%20Cyber-Physical%20Systems:%20A%20Survey&rft.jtitle=ACM%20transactions%20on%20cyber-physical%20systems&rft.au=Roehm,%20Hendrik&rft.date=2019-10-01&rft.volume=3&rft.issue=3&rft.spage=1&rft.epage=26&rft.pages=1-26&rft.issn=2378-962X&rft.eissn=2378-9638&rft_id=info:doi/10.1145/3306157&rft_dat=%3Ccrossref%3E10_1145_3306157%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c240t-c39f305245482feae0d52bb3af688b2a2ce1edac6ba49eafd64f68e7d7b270503%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true