Internet of things (IoT) systems are becoming smaller, more sophisticated and more complex. Creating an abstraction of the behavior of IoT systems brings benefits such as assessing potential design flaws and much more...
详细信息
ISBN:
(纸本)9783031720406;9783031720413
Internet of things (IoT) systems are becoming smaller, more sophisticated and more complex. Creating an abstraction of the behavior of IoT systems brings benefits such as assessing potential design flaws and much more. Subject-oriented Digital Process Twins (DPTs) could serve as such abstractions and enable IoT system designers to model the behavior of IoT systems. However, the target group has specific needs when designing their artifacts. Our goal is therefore to provide an intuitive approach for IoT process modelers. We propose a reference modeling approach based on existing reference architectures and different views on IoT systems. the created subject-oriented reference model uses a distributed system view of IoT systems to match the mental model of IoT process modelers. the evaluation has shown that the model can increase productivity and reduce modeling times. In addition, the reference model shows strengths in providing solutions for complex modeling discussions, such as handling events and managing energy states of sensors.
Traditional network measurement campaigns suffer from the lack of control over network infrastructure and the inability to evaluate communication performance directly, especially for the placement of highly distribute...
详细信息
Withthe rapid development and application of distributedsystems and Ethernet technology, higher requirements have been put forward for the clock synchronization of the global network. the IEEE1588 protocol is able t...
详细信息
the proceedings contains 66 papers. the following topics are dealt with: object-oriented distributedsystems;interconnection architectures;remote invocation mechanisms;tree- and cube-connected architectures;load distr...
详细信息
ISBN:
(纸本)081860865X
the proceedings contains 66 papers. the following topics are dealt with: object-oriented distributedsystems;interconnection architectures;remote invocation mechanisms;tree- and cube-connected architectures;load distribution;analysis of bus structures;operation system facilities for multiprocessors;distributed system services;distributed system algorithms;concurrent programming languages;performance studies;monitoring and debugging;distributed software systems;protocols for reliable real-time systems;distributed system applications;reliable multicast communication and replication;improving data availability;load balancing;distributed query processing;and multiprocessor system modeling.
the primary goal of the economic dispatch (ED) is to organize the generation schedule to fulfill system energy demand at the lowest possible operational cost while meeting all other requirements, including system secu...
详细信息
the proceedings contain 24 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Choreography automata;a choreography-driven approach to apis: the opendxl case study...
ISBN:
(纸本)9783030500283
the proceedings contain 24 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Choreography automata;a choreography-driven approach to apis: the opendxl case study;implementing multiparty session types in rust;gopi: compiling linear and static channels in go;foreword;preface;chorevolution: hands-on in-service training for choreography-based systems;sfj: an implementation of semantic featherweight java;event-based customization of multi-tenant saas using microservices;quality of service ranking by quantifying partial compliance of requirements;time-fluid field-based coordination;resilient distributed collection through information speed thresholds;refined mean field analysis: the gossip shuffle protocol revisited;a true concurrent model of smart contracts executions;renegotiation and recursion in bitcoin contracts;architecture modelling of parametric component-based systems;weighted pcl over product valuation monoids;choreographic development of message-passing applications: a tutorial;operational representation of dependencies in context-dependent event structures;towards a formally verified evm in production environment;on implementing symbolic controllability;combining sliver with cadp to analyze multi-agent systems;formal modeling and analysis of medical systems.
Multi-cloud environments offer benefits like vendor diversification and resilience but pose challenges such as increased management complexity, lack of cost transparency, and compliance. this concept paper introduces ...
详细信息
the techniques of request duplication and request reissue are used to reduce tail latency in distributedsystems by sending redundant read requests to multiple replicas. However, these strategies can fail if the dupli...
详细信息
暂无评论