{"title":"设计和验证家庭舒适智能管理系统的方法和工具","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":"{\"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}","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}
Methodology and tools for the design and verification of a smart management system for home comfort
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.