Language evolution and healthiness for critical cyber‐physical systems

In the effort to develop critical cyber‐physical systems, it is tempting to extend existing computing formalisms to include continuous behaviour. This may happen in a way that neglects elements necessary for correctly expressing continuous properties of the mathematics and correct physical propertie...

Full description

Saved in:
Bibliographic Details
Published in:Journal of software : evolution and process 2021-09, Vol.33 (9), p.n/a
Main Authors: Banach, Richard, Zhu, Huibiao
Format: Article
Language:English
Subjects:
Air conditioning
cyber‐physical systems
healthiness criteria
Language
language features
Physical properties
Semantics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63
cites cdi_FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63
container_end_page n/a
container_issue 9
container_start_page
container_title Journal of software : evolution and process
container_volume 33
creator Banach, Richard
Zhu, Huibiao
description In the effort to develop critical cyber‐physical systems, it is tempting to extend existing computing formalisms to include continuous behaviour. This may happen in a way that neglects elements necessary for correctly expressing continuous properties of the mathematics and correct physical properties of the real‐world physical system. A simple language is taken to illustrate these possibilities. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are elaborated, resulting in the language Combined Discrete and Physical Programmes in Parallel (CDPPP). An example air conditioning system is used to illustrate the concepts presented, and it is developed both in the original ‘unhealthy’ language and in the modified ‘healthier’ CDPPP. The formal semantics of the improved language is explored.
doi_str_mv 10.1002/smr.2301
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2571806189</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2571806189</sourcerecordid><originalsourceid>FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63</originalsourceid><addsrcrecordid>eNp1kM9Kw0AQxhdRsNSCjxDw4iV1_yTZ3aMUtUJF8M952e5OmpQ0ibuJkpuP4DP6JG4b8eZcvpnhx8zHh9A5wXOCMb3yOzenDJMjNKE44TFPBDn-6zk7RTPvtzhURnGapBO0XOl60-sNRPDeVH1XNnWkaxsVoKuuKGvwPsobFxlXdqXRVWSGNbjvz6-2GPxh4Qffwc6foZNcVx5mvzpFr7c3L4tlvHq8u19cr2LDKCexJVzAOhXBmUmJllxanIClSSK4sGuQOcuCPZsLEzQLM06p5Exqa5m0GZuii_Fu65q3Hnyntk3v6vBS0ZQTgTMiZKAuR8q4xnsHuWpdudNuUASrfVQqRKX2UQU0HtGPsoLhX049Pzwd-B8c02qQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2571806189</pqid></control><display><type>article</type><title>Language evolution and healthiness for critical cyber‐physical systems</title><source>Wiley</source><creator>Banach, Richard ; Zhu, Huibiao</creator><creatorcontrib>Banach, Richard ; Zhu, Huibiao</creatorcontrib><description>In the effort to develop critical cyber‐physical systems, it is tempting to extend existing computing formalisms to include continuous behaviour. This may happen in a way that neglects elements necessary for correctly expressing continuous properties of the mathematics and correct physical properties of the real‐world physical system. A simple language is taken to illustrate these possibilities. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are elaborated, resulting in the language Combined Discrete and Physical Programmes in Parallel (CDPPP). An example air conditioning system is used to illustrate the concepts presented, and it is developed both in the original ‘unhealthy’ language and in the modified ‘healthier’ CDPPP. The formal semantics of the improved language is explored.</description><identifier>ISSN: 2047-7473</identifier><identifier>EISSN: 2047-7481</identifier><identifier>DOI: 10.1002/smr.2301</identifier><language>eng</language><publisher>Chichester: Wiley Subscription Services, Inc</publisher><subject>Air conditioning ; cyber‐physical systems ; healthiness criteria ; Language ; language features ; Physical properties ; Semantics</subject><ispartof>Journal of software : evolution and process, 2021-09, Vol.33 (9), p.n/a</ispartof><rights>2020 The Authors. published by John Wiley &amp; Sons Ltd</rights><rights>2020. This article is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63</citedby><cites>FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63</cites><orcidid>0000-0002-0243-9434</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27922,27923</link.rule.ids></links><search><creatorcontrib>Banach, Richard</creatorcontrib><creatorcontrib>Zhu, Huibiao</creatorcontrib><title>Language evolution and healthiness for critical cyber‐physical systems</title><title>Journal of software : evolution and process</title><description>In the effort to develop critical cyber‐physical systems, it is tempting to extend existing computing formalisms to include continuous behaviour. This may happen in a way that neglects elements necessary for correctly expressing continuous properties of the mathematics and correct physical properties of the real‐world physical system. A simple language is taken to illustrate these possibilities. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are elaborated, resulting in the language Combined Discrete and Physical Programmes in Parallel (CDPPP). An example air conditioning system is used to illustrate the concepts presented, and it is developed both in the original ‘unhealthy’ language and in the modified ‘healthier’ CDPPP. The formal semantics of the improved language is explored.</description><subject>Air conditioning</subject><subject>cyber‐physical systems</subject><subject>healthiness criteria</subject><subject>Language</subject><subject>language features</subject><subject>Physical properties</subject><subject>Semantics</subject><issn>2047-7473</issn><issn>2047-7481</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><sourceid>24P</sourceid><recordid>eNp1kM9Kw0AQxhdRsNSCjxDw4iV1_yTZ3aMUtUJF8M952e5OmpQ0ibuJkpuP4DP6JG4b8eZcvpnhx8zHh9A5wXOCMb3yOzenDJMjNKE44TFPBDn-6zk7RTPvtzhURnGapBO0XOl60-sNRPDeVH1XNnWkaxsVoKuuKGvwPsobFxlXdqXRVWSGNbjvz6-2GPxh4Qffwc6foZNcVx5mvzpFr7c3L4tlvHq8u19cr2LDKCexJVzAOhXBmUmJllxanIClSSK4sGuQOcuCPZsLEzQLM06p5Exqa5m0GZuii_Fu65q3Hnyntk3v6vBS0ZQTgTMiZKAuR8q4xnsHuWpdudNuUASrfVQqRKX2UQU0HtGPsoLhX049Pzwd-B8c02qQ</recordid><startdate>202109</startdate><enddate>202109</enddate><creator>Banach, Richard</creator><creator>Zhu, Huibiao</creator><general>Wiley Subscription Services, Inc</general><scope>24P</scope><scope>WIN</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><orcidid>https://orcid.org/0000-0002-0243-9434</orcidid></search><sort><creationdate>202109</creationdate><title>Language evolution and healthiness for critical cyber‐physical systems</title><author>Banach, Richard ; Zhu, Huibiao</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><topic>Air conditioning</topic><topic>cyber‐physical systems</topic><topic>healthiness criteria</topic><topic>Language</topic><topic>language features</topic><topic>Physical properties</topic><topic>Semantics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Banach, Richard</creatorcontrib><creatorcontrib>Zhu, Huibiao</creatorcontrib><collection>Wiley Online Library Open Access</collection><collection>Wiley Online Library Free Content</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Journal of software : evolution and process</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Banach, Richard</au><au>Zhu, Huibiao</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Language evolution and healthiness for critical cyber‐physical systems</atitle><jtitle>Journal of software : evolution and process</jtitle><date>2021-09</date><risdate>2021</risdate><volume>33</volume><issue>9</issue><epage>n/a</epage><issn>2047-7473</issn><eissn>2047-7481</eissn><abstract>In the effort to develop critical cyber‐physical systems, it is tempting to extend existing computing formalisms to include continuous behaviour. This may happen in a way that neglects elements necessary for correctly expressing continuous properties of the mathematics and correct physical properties of the real‐world physical system. A simple language is taken to illustrate these possibilities. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are elaborated, resulting in the language Combined Discrete and Physical Programmes in Parallel (CDPPP). An example air conditioning system is used to illustrate the concepts presented, and it is developed both in the original ‘unhealthy’ language and in the modified ‘healthier’ CDPPP. The formal semantics of the improved language is explored.</abstract><cop>Chichester</cop><pub>Wiley Subscription Services, Inc</pub><doi>10.1002/smr.2301</doi><tpages>24</tpages><orcidid>https://orcid.org/0000-0002-0243-9434</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2047-7473
ispartof Journal of software : evolution and process, 2021-09, Vol.33 (9), p.n/a
issn 2047-7473
2047-7481
language eng
recordid cdi_proquest_journals_2571806189
source Wiley
subjects Air conditioning
cyber‐physical systems
healthiness criteria
Language
language features
Physical properties
Semantics
title Language evolution and healthiness for critical cyber‐physical systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-14T01%3A22%3A26IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Language%20evolution%20and%20healthiness%20for%20critical%20cyber%E2%80%90physical%20systems&rft.jtitle=Journal%20of%20software%20:%20evolution%20and%20process&rft.au=Banach,%20Richard&rft.date=2021-09&rft.volume=33&rft.issue=9&rft.epage=n/a&rft.issn=2047-7473&rft.eissn=2047-7481&rft_id=info:doi/10.1002/smr.2301&rft_dat=%3Cproquest_cross%3E2571806189%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c3271-d178eb58748c51a979d04ed244878dbe9f36000df8c6006e9f0529739add39d63%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2571806189&rft_id=info:pmid/&rfr_iscdi=true