Logo des Repositoriums

Auflistung nach Schlagwort "Cyber Physical Systems"

1 - 3 von 3
  • Zeitschriftenartikel
    From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction
    (it - Information Technology: Vol. 62, No. 5-6, 2020) Tarraf, Ahmad; Hedrich, Lars
    In this paper we present a methodology to automatically generate an accurate behavioral model from an analog circuit description. The current machine learning method is limited to circuits with up to 80 transistors, limiting our approach to small and mid size circuit blocks due to a state explosion problem. However, if complex building blocks such as IOT systems should be modeled, the current approach needs to recoup with feasible simulation and modeling time. To come up with a solution for this problem, we extend the current method by a compositional approach. The approach is illustrated upon an example from the area of autonomous driving. Our method decomposes this large example into smaller building blocks and models each of them automatically. All models are combined into a compositional hybrid automaton of the whole complex system. Compared to the original state space, the building blocks operate on smaller and reduced state spaces and hence drastically reduce the complexity. Using a back-transformation on the compositional automaton, all values from the original state space can be reconstructed. Moreover, we perform a formal verification on the generated compositional automaton. Results from a meaningful example are presented and discussed.
  • Konferenzbeitrag
    Scalable Modeling of Preventive and Detective Security Controls for Cyber-Physical Systems
    (INFORMATIK 2024, 2024) Shun, Hnin Yee; Al Sardy, Loui; Waedt, Karl; Le Berre, Gabriel
    Critical infrastructure and Industry 4.0 depend heavily on Cyber-Physical Systems (CPS), necessitating significant support for cybersecurity and safety professionals throughout development and implementation. This paper explores safety measures linked to physical protection at different CPS levels and how they interact with features of the digital twin. However, digital twins require comprehensive preventative and detective procedures to ensure security. The objective is to facilitate advanced attack tree analysis. Utilizing 3D modeling to incorporate features such as tamper-indicating devices, forensic biometric security, digital CCTV/video monitoring, physical/logical zones, and graded security controls enhances the depiction of the real world. Furthermore, functional safety assessments and risk assessments are carried out. The frameworks will include Babylon JS 7.0, Vue 3.x, and Element+, enabling a tool-based method designed to help subject matter experts analyze complex security postures of CPS efficiently and consistently. This scalable method can be applied in smart manufacturing as well as large-scale plant operations.
  • Konferenzbeitrag
    Vertikale Integration im Kontext von Industrie 4.0
    (INFORMATIK 2023 - Designing Futures: Zukünfte gestalten, 2023) Dodrimong, Léon N.; Dietrich, Ute
    Vertikale Integration von Maschinendaten zu übergeordneten Unternehmensprozessen ist ein wichtiges Kennzeichen der Industrie 4.0 und hilft dabei, Fabriken intelligent zu vernetzen. Die sogenannten smarten Fabriken beinhalten eine Vielzahl von Industrie 4.0 Technologien. In diesem Paper soll sich theoretisch und praktisch am Beispiel des DFT-Labors der HTW mit der vertikalen Integration im Bereich Smart Factory - Industrie 4.0 auseinandergesetzt werden.