{"title":"作为DSSA衬底的混合系统","authors":"A. Nerode, W. Kohn","doi":"10.1109/CACSD.1994.288906","DOIUrl":null,"url":null,"abstract":"DSSA entails severe modelling, simulation, and validation problems because of the diversity of interacting physical and logical systems which have to be represented. Development of software specifications and development of physical system specifications for what are often interacting reactive systems cannot be separated. Software writers and engineers wish this were not so, but it is. Neither can hand the other specifications that work, they have to work together. The theory of hybrid systems and hybrid languages is being developed to bridge this gap at the interface of software engineering and the rest of science and engineering.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"17 3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Hybrid systems as a substrate for DSSA\",\"authors\":\"A. Nerode, W. Kohn\",\"doi\":\"10.1109/CACSD.1994.288906\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"DSSA entails severe modelling, simulation, and validation problems because of the diversity of interacting physical and logical systems which have to be represented. Development of software specifications and development of physical system specifications for what are often interacting reactive systems cannot be separated. Software writers and engineers wish this were not so, but it is. Neither can hand the other specifications that work, they have to work together. The theory of hybrid systems and hybrid languages is being developed to bridge this gap at the interface of software engineering and the rest of science and engineering.<<ETX>>\",\"PeriodicalId\":197997,\"journal\":{\"name\":\"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)\",\"volume\":\"17 3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-03-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CACSD.1994.288906\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CACSD.1994.288906","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
DSSA entails severe modelling, simulation, and validation problems because of the diversity of interacting physical and logical systems which have to be represented. Development of software specifications and development of physical system specifications for what are often interacting reactive systems cannot be separated. Software writers and engineers wish this were not so, but it is. Neither can hand the other specifications that work, they have to work together. The theory of hybrid systems and hybrid languages is being developed to bridge this gap at the interface of software engineering and the rest of science and engineering.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
