{"title":"先进能源管理系统中的正式V&V(确认和验证)","authors":"L. Barruncho, J.P. Sucena Paiva","doi":"10.1109/MELCON.1991.162040","DOIUrl":null,"url":null,"abstract":"The problems of functional correctness and security, and performance evaluation of the coordination among concurrent and cooperative processes are addressed. Consistency checking on expert systems with rule-based knowledge representation is focused on through the application of a formal validation and verification methodology. The selection of the most adequate class of Petri nets for each particular problem, namely stochastic and relation nets, allowed the use of the same family of formal tools for the modeling, validating analysis, and simulation phases.<<ETX>>","PeriodicalId":193917,"journal":{"name":"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formal V&V in advanced energy management systems (validation and verification)\",\"authors\":\"L. Barruncho, J.P. Sucena Paiva\",\"doi\":\"10.1109/MELCON.1991.162040\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The problems of functional correctness and security, and performance evaluation of the coordination among concurrent and cooperative processes are addressed. Consistency checking on expert systems with rule-based knowledge representation is focused on through the application of a formal validation and verification methodology. The selection of the most adequate class of Petri nets for each particular problem, namely stochastic and relation nets, allowed the use of the same family of formal tools for the modeling, validating analysis, and simulation phases.<<ETX>>\",\"PeriodicalId\":193917,\"journal\":{\"name\":\"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-05-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MELCON.1991.162040\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1991 Proceedings] 6th Mediterranean Electrotechnical Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MELCON.1991.162040","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal V&V in advanced energy management systems (validation and verification)
The problems of functional correctness and security, and performance evaluation of the coordination among concurrent and cooperative processes are addressed. Consistency checking on expert systems with rule-based knowledge representation is focused on through the application of a formal validation and verification methodology. The selection of the most adequate class of Petri nets for each particular problem, namely stochastic and relation nets, allowed the use of the same family of formal tools for the modeling, validating analysis, and simulation phases.<>
![[1991 Proceedings] 6th Mediterranean Electrotechnical Conference](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
