Austin Armbruster, M. Ryan, Xiaoqing Frank Liu, Ying Cheng, B. McMillin
{"title":"Hardware/software co-design for power system test development","authors":"Austin Armbruster, M. Ryan, Xiaoqing Frank Liu, Ying Cheng, B. McMillin","doi":"10.1145/1029997.1030014","DOIUrl":null,"url":null,"abstract":"Many hardware/software co-design models have been proposed [7,2,5,6 ]that attempt to address problems in the hardware/software interface,in partitioning the system between hardware and software, and in finding a uniform method of verifying the system 's correctness. This paper describes the High Order Object-oriented Modeling Technique [4,3 ]and its use in specifying and designing a hardware-in-the-loop test environment or the non-trivial application of bulk power systems control.A HOOMT model o the system for the real system and the test system is given. The paper also presents our solution to the mapping of requirements from the real system to the test system.","PeriodicalId":280017,"journal":{"name":"Workshop on Interdisciplinary Software Engineering Research","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Workshop on Interdisciplinary Software Engineering Research","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1029997.1030014","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Many hardware/software co-design models have been proposed [7,2,5,6 ]that attempt to address problems in the hardware/software interface,in partitioning the system between hardware and software, and in finding a uniform method of verifying the system 's correctness. This paper describes the High Order Object-oriented Modeling Technique [4,3 ]and its use in specifying and designing a hardware-in-the-loop test environment or the non-trivial application of bulk power systems control.A HOOMT model o the system for the real system and the test system is given. The paper also presents our solution to the mapping of requirements from the real system to the test system.