Title | ||
---|---|---|
Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario. |
Abstract | ||
---|---|---|
Systems whose functionality and services span over multiple, interconnected application domains have become known as cyber-physical system (CPS) and currently receive much attention in research and practice. So far, CPS still come with a variety of development-process-related and technical challenges. These challenges include the interaction between the different domain-specific systems and possible conflicts between their requirements, as well as the choice of appropriate modelling concepts. This paper makes two main contributions: First, we show how such an inter-domain development-process can be structured, beginning with a a model-based requirements engineering approach. In order to illustrate the concepts, this paper provides a continuous example scenario, developed within a group of the respective domain experts, that outlines the future of mobility using technologies currently under development in the ARAMiS project. The intention is to allow for an analysis of interaction and possible interference between domain-specific scenarios as well as the analysis of the relation between derived domain-specific scenarios and the global, cross-domain scenario. Second, we provide an analysis of the realisability of the scenario steps according to a set of quality criteria and estimate the respective time horizon, derived from interviews with experts from different domains. The described scenario allows the reification of goals and requirements of CPS for the mobility domain. Moreover, it makes apparent the need for connecting CPS of different domains. Our validation research provides an accompanying resource for future analysis of the interaction between domains and the relation between their requirements as well as teaching requirements engineering in the domain of CPS. |
Year | Venue | Keywords |
---|---|---|
2013 | Federated Conference on Computer Science and Information Systems | mobile computing,formal verification |
Field | DocType | ISSN |
Inter-domain,Mobile computing,Data mining,Time horizon,Software engineering,Simulation,Computer science,Requirements engineering,Cyber-physical system,Reification (Marxism),Formal verification | Conference | 2325-0348 |
Citations | PageRank | References |
2 | 0.50 | 5 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Birgit Penzenstadler | 1 | 479 | 59.36 |
Jonas Eckhardt | 2 | 96 | 9.24 |
Wolfgang Schwitzer | 3 | 8 | 1.90 |
María Victoria Cengarle | 4 | 175 | 17.82 |
Sebastian Voss | 5 | 2 | 0.83 |