为过程自动化建立一个正式的工程框架

1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467) Pub Date : 1999-10-18 DOI:10.1109/ETFA.1999.813121

P. Lamboley, J. Pétin, D. Méry

{"title":"为过程自动化建立一个正式的工程框架","authors":"P. Lamboley, J. Pétin, D. Méry","doi":"10.1109/ETFA.1999.813121","DOIUrl":null,"url":null,"abstract":"This paper describes an attempt towards a formal modelling framework for process automation aiming at facing the reusability of the engineering studies on industrial systems. As hypotheses, we consider that such a framework should be based on concepts issued from the system theory to master the functional, structural and behavioural studies carried out in process automation. Formalisation of the basic elements involved in these system views and their interaction should lead to a formal design pattern for process system automation. This work is a first step towards such a formal design pattern using the set-based B method according to generic guidelines issued from the system theory. The feasibility of the approach is demonstrated using an industrial case study: a thermal power plant. Benefits are shown in terms of reusability of system formal specifications for control design.","PeriodicalId":119106,"journal":{"name":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Towards a formal engineering framework for process automation\",\"authors\":\"P. Lamboley, J. Pétin, D. Méry\",\"doi\":\"10.1109/ETFA.1999.813121\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes an attempt towards a formal modelling framework for process automation aiming at facing the reusability of the engineering studies on industrial systems. As hypotheses, we consider that such a framework should be based on concepts issued from the system theory to master the functional, structural and behavioural studies carried out in process automation. Formalisation of the basic elements involved in these system views and their interaction should lead to a formal design pattern for process system automation. This work is a first step towards such a formal design pattern using the set-based B method according to generic guidelines issued from the system theory. The feasibility of the approach is demonstrated using an industrial case study: a thermal power plant. Benefits are shown in terms of reusability of system formal specifications for control design.\",\"PeriodicalId\":119106,\"journal\":{\"name\":\"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)\",\"volume\":\"41 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-10-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.1999.813121\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.1999.813121","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

针对工业系统工程研究的可重用性问题，提出了一种面向过程自动化的形式化建模框架。作为假设，我们认为这样的框架应该以系统理论的概念为基础，以掌握在过程自动化中进行的功能、结构和行为研究。这些系统视图中涉及的基本元素的形式化及其相互作用应该导致过程系统自动化的形式化设计模式。这项工作是根据系统理论发布的一般指导方针，使用基于集合的B方法实现这种正式设计模式的第一步。该方法的可行性是通过一个工业案例研究:一个火力发电厂。好处体现在控制设计的系统形式规范的可重用性方面。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Towards a formal engineering framework for process automation

This paper describes an attempt towards a formal modelling framework for process automation aiming at facing the reusability of the engineering studies on industrial systems. As hypotheses, we consider that such a framework should be based on concepts issued from the system theory to master the functional, structural and behavioural studies carried out in process automation. Formalisation of the basic elements involved in these system views and their interaction should lead to a formal design pattern for process system automation. This work is a first step towards such a formal design pattern using the set-based B method according to generic guidelines issued from the system theory. The feasibility of the approach is demonstrated using an industrial case study: a thermal power plant. Benefits are shown in terms of reusability of system formal specifications for control design.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)

自引率

0.00%

发文量