文章基本信息

标题：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