首页    期刊浏览 2024年11月28日 星期四
登录注册

文章基本信息

  • 标题:An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems
  • 本地全文:下载
  • 作者:Fabíola Gonçalves C. Ribeiro ; Fabíola Gonçalves C. Ribeiro ; Achim Rettberg
  • 期刊名称:IFAC PapersOnLine
  • 印刷版ISSN:2405-8963
  • 出版年度:2016
  • 卷号:49
  • 期号:30
  • 页码:42-47
  • DOI:10.1016/j.ifacol.2016.11.123
  • 语种:English
  • 出版社:Elsevier
  • 摘要:Abstract: Development of cyber-physical systems include analysis and comprehension of multiple disciplines including mechanical engineering, electronic engineering, systems engineering and computer science. In this research, two consolidated approaches of Model-Based Engineering are used in a combined way for proposing a methodology for requirements analysis, modeling and formal specification of cyber-physical systems. At first, it presents the analysis and classification of the overall system requirements, at high level of abstraction, in order to relate them with the semantics of the MARTE profile. Subsequently, graphical models are presented in the proposed methodology in accordance with formalization of restrictions, annotations and stereotypes through MARTE/VSL. First results of the application of the proposed methodology are presented by means of a case study in the Industrial Packing System domain.
  • 关键词:KeywordsEmbedded SystemsCyber-Physical SystemsManufacturing ControlRequirement EngineeringSysMLMARTEValue Specification Language
国家哲学社会科学文献中心版权所有