Cyber-physical Information Systems
Permanent URI for this collection
Browse
Recent Submissions
1 - 5 of 5
-
ItemTowards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems( 2019-01-08)Cyber-physical systems build the backbone of today's information systems and implement, for example, complex control applications that strictly rely on sensor data. Thus, it is inherently important for cyber-physical systems to provide a reliable data path throughout the entire system: from the sensor nodes to the data post-processing infrastructure in networked environments (e.g., edge and cloud infrastructure). This paper analyzes system-level aspects of the data path of cyber-physical systems (i.e., storage components and file systems) and reveals limitations of current technologies. To improve the current state of the art, we present the implementation of an embedded file system with low jitter which improves predictability characteristics of cyber-physical systems.
-
ItemA Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems( 2019-01-08)Large-scale cyber-physical systems such as manufacturing lines generate vast amounts of data to guarantee precise control of their machinery. Visions such as the Industrial Internet of Things aim at making this data available also to computation systems outside the lines to increase productivity and product quality. However, rising amounts and complexities of data and control decisions push existing infrastructure for data transmission, storage, and processing to its limits. In this paper, we exemplarily study a fine blanking line which can produce up to 6.2 Gbit/s worth of data to showcase the extreme requirements found in modern manufacturing. We consequently propose integrated data processing which keeps inherently local and small-scale tasks close to the processes while at the same time centralizing tasks relying on more complex decision procedures and remote data sources. Our approach thus allows for both maintaining control of field-level processes and leveraging the benefits of “big data” applications.
-
ItemHow to connect design thinking and cyber-physical systems: the s*IoT conceptual modelling approach( 2019-01-08)The alignment of enterprise models and information systems is a factor that influences the efficiency of enterprise practices. Considering the changing landscape in the age of the fourth industrial revolution, it is imperative that alignment methodologies are evolved with the progression of enterprise models and the transformation from information systems to cyber-physical systems (CPSs). This issue was dissected in three layers - scenario layer, modelling layer, and run-time environment. In this structure, design thinking and CPSs were extended from the scenario layer and the run-time environment to the modelling layer. Focusing on the modelling layer, progress was made towards composing "smart" models that innovate enterprise models according to novel influences from design thinking while abstracting from run-time environments that CPS provide. The hypothesis was to consider the automated transformation of knowledge as an axle around which artifacts on the modelling layer revolve. Based on this hypothesis, the modelling layer was structured in a modelling hierarchy, in which a metamodel was defined using a metamodelling platform. The metamodel is the direct model of modelling methods which were used to build "smart" models that connect design thinking and CPSs.
-
ItemDynamic Composition of Cyber-Physical Systems( 2019-01-08)Future cyber-physical systems must fulfill strong demands on timeliness and reliability, so that the safety of their operational environment is never violated. At the same time, such systems are networked computers with the typical demand for reconfigurability and software modification. The combination of both expectations makes established modeling and analysis techniques difficult to apply, since they cannot scale with the number of possible operational constellations resulting from the dynamics. The problem increases when components with different non-functional demands are combined to one cyber-physical system and updated independent from each other. We propose a new approach for the design and development of composable, dynamic and dependable software architectures, with a focus on the area of networked embedded systems. Our key concept is the specification of software components and their non-functional composition constraints in the formal language TLA+. We discuss how this technique can be embedded in an overall software design workflow, and show the practical applicability with a detailed resource scheduling example.
-
Item