Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5001936 | IFAC-PapersOnLine | 2016 | 6 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
FabÃola Gonçalves C. Ribeiro, Achim Rettberg, Carlos E. Pereira, Michel S. Soares,