Björn Böttcher, Johann Badinger, N. Moriz, O. Niggemann
{"title":"Design of industrial automation systems — Formal requirements in the engineering process","authors":"Björn Böttcher, Johann Badinger, N. Moriz, O. Niggemann","doi":"10.1109/ETFA.2013.6648148","DOIUrl":null,"url":null,"abstract":"Today's production plants are not conceivable without automation systems. Due to the increasing complexity of production plants and therefore of automation systems, delays and interruptions in automation projects are observed. A design model for more efficient planning of industrial automation systems is introduced. It is based on a new and practical proceeding for the construction of a requirements model. Extended feature models as formal requirements representation enable to verify the consistency of requirements. New insights on the necessary capabilities of a formal reasoning system for planning the whole automation system are deduced from the design model.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.2013.6648148","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
Today's production plants are not conceivable without automation systems. Due to the increasing complexity of production plants and therefore of automation systems, delays and interruptions in automation projects are observed. A design model for more efficient planning of industrial automation systems is introduced. It is based on a new and practical proceeding for the construction of a requirements model. Extended feature models as formal requirements representation enable to verify the consistency of requirements. New insights on the necessary capabilities of a formal reasoning system for planning the whole automation system are deduced from the design model.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
