Logo des Repositoriums

Auflistung nach Schlagwort "Cyber-physical systems"

1 - 5 von 5
  • Zeitschriftenartikel
    Die Industrie 4.0 aus ethischer Sicht
    (HMD Praxis der Wirtschaftsinformatik: Vol. 52, No. 5, 2015) Bendel, Oliver
    Der vorliegende Beitrag arbeitet die wesentlichen Merkmale der Industrie 4.0 heraus und setzt sie ins Verhältnis zur Ethik. Es interessieren vor allem Bereichsethiken wie Informations-, Technik- und Wirtschaftsethik. Am Rande wird auf die Maschinenethik eingegangen, im Zusammenhang mit der sozialen Robotik. Es zeigt sich, dass die Industrie 4.0 neben ihren Chancen, die u. a. ökonomische und technische Aspekte betreffen, auch Risiken beinhaltet, denen rechtzeitig in Wort und Tat begegnet werden muss.AbstractThis article highlights the essential features of the industry 4.0 and puts them in relation to ethics. Of special interest are the fields of applied ethics such as information, technology and business ethics. Machine ethics is mentioned in passing in connection with social robotics. It is evident that the industry 4.0 in addition to opportunities, affecting among other things economic and technical aspects, includes also risks which must be addressed in word and deed in a timely manner.
  • Zeitschriftenartikel
    Energieinformatik
    (Wirtschaftsinformatik: Vol. 56, No. 1, 2014) Goebel, Christoph; Jacobsen, Hans-Arno; Razo, Victor; Doblander, Christoph; Rivera, Jose; Ilg, Jens; Flath, Christoph; Schmeck, Hartmut; Weinhardt, Christof; Pathmaperuma, Daniel; Appelrath, Hans-Jürgen; Sonnenschein, Michael; Lehnhoff, Sebastian; Kramer, Oliver; Staake, Thorsten; Fleisch, Elgar; Neumann, Dirk; Strüker, Jens; Erek, Koray; Zarnekow, Rüdiger; Ziekow, Holger; Lässig, Jörg
    Aufgrund der zunehmenden Bedeutung einer nachhaltigen Energieerzeugung und eines sparsameren Verbrauchs hat sich die Energieinformatik (EI) zu einem florierenden Forschungsgebiet innerhalb der (Wirtschafts-)Informatik entwickelt. Der Beitrag versucht, dieses neue und dynamische Forschungsfeld durch die Beschreibung aktueller Themen und Methoden der Energieinformatikforschung zu charakterisieren, und gibt einen Ausblick auf die mögliche zukünftige Entwicklung. Zwei generelle Forschungsfragen haben bislang die meiste Aufmerksamkeit auf sich gezogen und werden die EI-Forschungsagenda wahrscheinlich auch in den nächsten Jahre dominieren: Wie kann Informations- und Kommunikationstechnologie (IKT) dabei helfen, (1) die Energieeffizienz zu erhöhen und (2) dezentrale erneuerbare Energiequellen in das Stromnetz zu integrieren. Die Autoren stellen ausgewählte Forschungsarbeiten aus dem EI-Bereich vor und zeigen, wie diese Forschungsfragen in konkrete Forschungsprojekte münden und wie EI-Forscher Beiträge auf der Grundlage ihres jeweiligen akademischen Hintergrundes erbracht haben.AbstractDue to the increasing importance of producing and consuming energy more sustainably, Energy Informatics (EI) has evolved into a thriving research area within the CS/IS community. The article attempts to characterize this young and highly dynamic field of research by describing current EI research topics and methods and provides an outlook of how the field might evolve in the future. It is shown that two general research questions have received the most attention so far and are likely to dominate the EI research agenda in the coming years: How to leverage information and communication technology (ICT) to (1) improve energy efficiency, and (2) to integrate decentralized renewable energy sources into the power grid. Selected EI streams are reviewed, highlighting how the respective research questions are broken down into specific research projects and how EI researchers have made contributions based on their individual academic background.
  • Konferenzbeitrag
    Predictive Maintenance for the Optical Synchronization System of the European XFEL: A Systematic Literature Survey
    (BTW 2023, 2023) Grünhagen, Arne; Tropmann-Frick, Marina; Eichler, Annika; Fey, Görschwin
    The optical synchronization system of the European X-ray Free Electron Laser is a networked cyber-physical system producing a large amount of data. To maximize the availability of the optical synchronization system, we are developing a predictive maintenance module that can evaluate and predict the condition of the system. In this paper, we report on state-of-the-art predictive maintenance methods by systematically reviewing publications in this field. Guided by three research questions addressing the type of cyber-physical systems, feature extraction methods, and data analytical approaches to evaluate the current health status or to predict future system behavior, we identified 144 publications of high quality contributing to research in this area. Our result is that especially neural networks are used for many predictive maintenance tasks. This review serves as a starting point for a detailed and systematic evaluation of the different methods applied to the optical synchronization system.
  • Konferenzbeitrag
    Sichtenbasierte Kontextmodellierung für die Entwicklung kollaborativer cyber-physischer Systeme
    (Software Engineering and Software Management 2019, 2019) Daun, Marian; Tenbergen, Bastian; Brings, Jennifer; Obe, Patricia Aluko
    Dieser Vortrag berichtet von dem Beitrag View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks [Te18], der bei der 2018 IEEE International Conference on Software Architecture vorgestellt und in dem Konferenzband veröffentlicht wurde.
  • ConferencePaper
    Skill-Based Verification of Cyber-Physical Systems
    (Software Engineering 2021, 2021) Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Runge, Tobias; Thüm, Thomas; Schaefer, Ina
    This work has been accepted at the 23rd International Conference on Fundamental Approaches to Software Engineering, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The increase of complexity in modeling cyber-physical systems poses a challenge for formally ensuring their functional correctness. Lack of expert knowledge and scalability are two limiting factors that prohibit a seamless integration into today's software engineering processes. To address this challenge, we propose to adopt and formalize the notion of skill graphs, an abstract and easy-to-use modeling notion for representing automated vehicle driving maneuvers. For formally verifying that skill graphs are well-formed and comply with a given set of safety requirements, we incorporate hybrid programs into our formalization. Hybrid programs constitute a program notion for cyber-physical systems on the basis of differential dynamic logic, which enables deductive and compositional verification following the idea of Hoare-style reasoning. That is, simpler verified skill graphs can be combined to exhibit complex maneuvers while validity is retained (i.e., without the need of re-verification). To showcase the benefits of our theoretical considerations, we implemented our framework in an open-source tool named Skeditor and conducted a case study exhibiting an automatic vehicle follow mode.