Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Specifying intra-component dependencies for synthesizing component behaviors

 
: Dziwok, S.; Goschin, S.; Becker, S.

:
Fulltext (PDF; )

Ciccozzi, F.:
ModComp 2014, 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems. Proceedings : Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014); Valencia, Spain, September 29, 2014
Valencia, 2014 (CEUR Workshop Proceedings 1281)
pp.16-25
International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp) <1, 2014, Valencia>
International Conference on Model Driven Engineering Languages and Systems (MODELS) <17, 2014, Valencia>
English
Conference Paper, Electronic Publication
Fraunhofer IPT ()

Abstract
Cyber-physical systems, e.g., cars, interact with their physical environment, underlie real-time constraints, and exchange messages with each other. An engineer can define their software using a component-based architecture. An approach to manage the complexity of this task is to separate concerns by specifying the behavior of each component's port independently and, afterwards, synthesizing the component behavior based on the port's behaviors and their dependencies. Though, such a synthesis requires to specify the intra-component dependencies formally. However, for several dependencies that are commonly used, no formal language exists. In this paper, we present a language that enables the specification of all commonly used dependencies in the domain of cyber-physical systems. Moreover, we define the requirements for an intra-component dependency language, provide an extended synthesis process, and introduce the dependency kinds the language shall support.

: http://publica.fraunhofer.de/documents/N-351231.html