{"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}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
