当前位置: X-MOL 学术J. Softw. Evol. Process › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Language evolution and healthiness for critical cyber-physical systems
Journal of Software: Evolution and Process ( IF 1.7 ) Pub Date : 2020-09-16 , DOI: 10.1002/smr.2301
Richard Banach 1 , Huibiao Zhu 2
Affiliation  

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.

中文翻译:

关键网络物理系统的语言进化和健康

在开发关键的网络物理系统的过程中,很容易将现有的计算形式扩展到包括连续行为。这可能以某种方式发生,即忽略正确表达数学的连续属性和正确的现实世界物理系统的物理属性所必需的元素。用一种简单的语言来说明这些可能性。在“健康状况”的保护伞下确定和讨论了这种方法中潜在的问题和风险。根据所讨论的条件对语言进行了详细修改,从而产生了并行离散和物理程序组合 (CDPPP) 语言。一个示例空调系统用于说明所提出的概念,它是用原始的“不健康”语言和修改后的“更健康”CDPPP 开发的。探索了改进语言的形式语义。
更新日期:2020-09-16
down
wechat
bug