{"title":"Towards a requirements definition, specification and system design environment","authors":"K. Müller-Glaser, J. Bortolazzi, Y. Tanurhan","doi":"10.1109/EURDAC.1992.246237","DOIUrl":null,"url":null,"abstract":"The authors provide an overview of techniques for the specification of complex, heterogeneous systems, i.e. microsystems or automotive control systems including hardware (analog and digital electronics, mechanical or optical actuators and sensors) and software. An approach to an integrated environment to support and control the requirement definition, specification and system design phases is described. This approach combines behavioral, functional, and data-oriented specifications based on formal languages, as well as knowledge-based concepts for the acquisition of a complete description of the goals, requirements, and constraints related to a system design project. Within this environment, existing commercial specification and system design tools have been integrated into a CAE framework and new tools have been developed to support early requirement definition, specification flow control, early validation of specification, and specification data management.<<ETX>>","PeriodicalId":218056,"journal":{"name":"Proceedings EURO-DAC '92: European Design Automation Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings EURO-DAC '92: European Design Automation Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURDAC.1992.246237","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
The authors provide an overview of techniques for the specification of complex, heterogeneous systems, i.e. microsystems or automotive control systems including hardware (analog and digital electronics, mechanical or optical actuators and sensors) and software. An approach to an integrated environment to support and control the requirement definition, specification and system design phases is described. This approach combines behavioral, functional, and data-oriented specifications based on formal languages, as well as knowledge-based concepts for the acquisition of a complete description of the goals, requirements, and constraints related to a system design project. Within this environment, existing commercial specification and system design tools have been integrated into a CAE framework and new tools have been developed to support early requirement definition, specification flow control, early validation of specification, and specification data management.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
