Location

Hilton Waikoloa Village, Hawaii

Event Website

http://www.hicss.hawaii.edu

Start Date

1-4-2017

End Date

1-7-2017

Description

Activities for the comprehension and development \ of Cyber-Physical Systems (CPS) include analysis of multiple \ disciplines including mechanical engineering, electronic \ engineering, systems engineering and computer science. This \ work presents a comprehensive and applicable methodology \ for the initial activities of the development process of CPS. \ This methodology displays the capacity to describe and enable \ detailed analysis of the relevant properties of these systems as, \ for example, time specification, resources, communication and \ non-functional properties of CPS. 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 CPS. Initially, a \ strategy for the definition, modeling, specification, and categorization \ of requirements in a tabular way is proposed. From \ the system definition in a high abstraction level, the SysML \ Requirements diagram is extended by using UML profile \ MARTE/VSL for formalization of restrictions, annotations and \ stereotypes in the model. Initial results of the application of \ the proposed methodology are presented by means of a case \ study of the Industrial Packing System.

Share

COinS
 
Jan 4th, 12:00 AM Jan 7th, 12:00 AM

A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems

Hilton Waikoloa Village, Hawaii

Activities for the comprehension and development \ of Cyber-Physical Systems (CPS) include analysis of multiple \ disciplines including mechanical engineering, electronic \ engineering, systems engineering and computer science. This \ work presents a comprehensive and applicable methodology \ for the initial activities of the development process of CPS. \ This methodology displays the capacity to describe and enable \ detailed analysis of the relevant properties of these systems as, \ for example, time specification, resources, communication and \ non-functional properties of CPS. 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 CPS. Initially, a \ strategy for the definition, modeling, specification, and categorization \ of requirements in a tabular way is proposed. From \ the system definition in a high abstraction level, the SysML \ Requirements diagram is extended by using UML profile \ MARTE/VSL for formalization of restrictions, annotations and \ stereotypes in the model. Initial results of the application of \ the proposed methodology are presented by means of a case \ study of the Industrial Packing System.

https://aisel.aisnet.org/hicss-50/st/metrics_and_models_for_systems/2