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

Simple item page
dc.contributor.authorGonçalves, Fabíola
dc.contributor.authorRettberg, Achim
dc.contributor.authorPereira, Carlos
dc.contributor.authorSoares, Michel
dc.date.accessioned2016-12-29T02:15:54Z
dc.date.available2016-12-29T02:15:54Z
dc.date.issued2017-01-04
dc.description.abstractActivities 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.
dc.format.extent10 pages
dc.identifier.doi10.24251/HICSS.2017.741
dc.identifier.isbn978-0-9981331-0-2
dc.identifier.urihttp://hdl.handle.net/10125/41905
dc.language.isoeng
dc.relation.ispartofProceedings of the 50th Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectCyber-Physical Systems
dc.subjectMARTE
dc.subjectModel-Based Engineering
dc.subjectSysML
dc.subjectValue Specification Language
dc.titleA Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems
dc.typeConference Paper
dc.type.dcmiText

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
paper0756.pdf
Size:
512.85 KB
Format:
Adobe Portable Document Format
Download

Collections

Metrics, Models, and Simulation for Cyber-Physical Systems Minitrack