{"title":"From software and hardware formal design towards an integrated system design methodology","authors":"L. Jadoul, J. Van Dun, M. Jadoul","doi":"10.1109/SESS.1993.263947","DOIUrl":null,"url":null,"abstract":"Because of the growing complexity of telecom systems, the use of formal specification and design languages is becoming increasingly important. They do not clarify the system description produced, but also create the possibility to support and automate the development process. At Alcatel Bell Telephone, standardized, formal techniques are being applied for software and hardware development. Software development is based on CCITT-SDI, used from specification to code generation. Hardware development methodology is based on the IEEE-VHDI. The commonalities and similarities between formal methods for hardware and software development are looked at, and complemented by a system level design methodology, based on the same principles.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1993 Software Engineering Standards Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SESS.1993.263947","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Because of the growing complexity of telecom systems, the use of formal specification and design languages is becoming increasingly important. They do not clarify the system description produced, but also create the possibility to support and automate the development process. At Alcatel Bell Telephone, standardized, formal techniques are being applied for software and hardware development. Software development is based on CCITT-SDI, used from specification to code generation. Hardware development methodology is based on the IEEE-VHDI. The commonalities and similarities between formal methods for hardware and software development are looked at, and complemented by a system level design methodology, based on the same principles.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
