{"title":"Methodology and tools for the design and verification of a smart management system for home comfort","authors":"S. Bonhomme, E. Campo, D. Estève, J. Guennec","doi":"10.1109/IS.2008.4670480","DOIUrl":null,"url":null,"abstract":"Measurement, control and monitoring systems are increasingly complex and may require various disciplinary skills. Producing such systems requires rigorous design methodology and the right tools. It is with this in mind that the design and formal verification HiLes tool was developed. This methodological design and verification process was used in this work to design a complex system dedicated to the intelligent home comfort management. It is built into the system engineering process defined by EIA-632, which uses UML and SYSML standards to identify the requirements, model the control logics of the system and formally validate its dynamic properties, all in a semi-automated way. In this paper, we present the various design phases according to this method as well as the results of formal verification of the complete system dynamic behavior.","PeriodicalId":305750,"journal":{"name":"2008 4th International IEEE Conference Intelligent Systems","volume":"82 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 4th International IEEE Conference Intelligent Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IS.2008.4670480","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 15
Abstract
Measurement, control and monitoring systems are increasingly complex and may require various disciplinary skills. Producing such systems requires rigorous design methodology and the right tools. It is with this in mind that the design and formal verification HiLes tool was developed. This methodological design and verification process was used in this work to design a complex system dedicated to the intelligent home comfort management. It is built into the system engineering process defined by EIA-632, which uses UML and SYSML standards to identify the requirements, model the control logics of the system and formally validate its dynamic properties, all in a semi-automated way. In this paper, we present the various design phases according to this method as well as the results of formal verification of the complete system dynamic behavior.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
