| 1. |
- Broman, David, et al.
(författare)
-
Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems
- 2012
-
Ingår i: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM). - New York, NY, USA : Association for Computing Machinery (ACM). - 9781450318051 ; , s. 49-54
-
Konferensbidrag (refereegranskat)abstract
- Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an application domain CPS is not new. As an intellectual discipline, however, it is. This paper focuses on CPS modeling, which is an essential activity in CPS design, with multiple challenges. In particular, stakeholders lack a systematic framework and guidelines to help them choose among the many available modeling languages and tools. We propose such a framework in this paper. Our framework consists of three elements: viewpoints, which capture the stakeholders’ interests and concerns; concrete languages and tools, among which the stakeholders must make a selection when defining their CPS design environments; and abstract, mathematical formalisms, which are the “semantic glue” linking the two worlds. As part of the framework, we survey various formalisms, languages, and tools and explain how they are related. We also provide examples of viewpoints and discuss how they are related to formalisms.
|
|
| 2. |
- Burden, Håkan, 1976, et al.
(författare)
-
Industrial Experiences from Multi-Paradigmatic Modelling of Signal Processing
- 2012
-
Ingår i: 6th International Workshop on Multi-Paradigm Modeling, MPM 2012; Innsbruck; Austria; 1 October 2012 through 1 October 2012. - New York, NY, USA : ACM. - 9781450318051 ; , s. 7-12
-
Konferensbidrag (refereegranskat)abstract
- Embedded software is often composed of interacting domains. A common problem is that the implementation intertwines the different domain solutions with each other and the platform-specific details. The result is a code mass that is hard to understand, maintain and reuse. We report on an effort to overcome these problems by using a domain-specific executable modelling language for each included domain. The application was delivered for the Ericsson LTE-A uplink test bed as part of the 4G telecommunications system that was presented at the Mobile World Congress in Barcelona, February 2011. The requirements for the delivered software included efficient real-time performance for signal processing on new hardware as well as a firm non-negotiable delivery deadline. Our results show that the chosen modelling languages allowed independent implementation and validation of each domain. Neither did the integration of the separate solutions imply additional problems.
|
|
| 3. |
- Mayers, Bart, et al.
(författare)
-
Composing Textual Modelling Languages in Practice
- 2012
-
Ingår i: Procs. of the Intl. Workshop on Multi-Paradigm Modeling (MPM'12). - New York, NY, USA : ACM. - 9781450318051 ; , s. 31-36
-
Konferensbidrag (refereegranskat)abstract
- Complex systems require descriptions using multiple modelling languages, or languages able to express different concerns, like timing or data dependencies. In this paper, wepropose techniques for the modular definition and composition of languages, including their abstract, concrete syntaxand semantics. These techniques are based on (meta-)modeltemplates, where interface elements and requirements fortheir connection can be established. We illustrate the ideasusing the MetaDepth textual meta-modelling tool.
|
|
