Institut für Informatik und Computational Science
Refine
Year of publication
- 2020 (22) (remove)
Document Type
- Article (22) (remove)
Is part of the Bibliography
- yes (22)
Keywords
- Answer Set Programming (2)
- E-Learning (2)
- Fault tolerance (2)
- IT-Infrastruktur (2)
- answer set programming (2)
- Android hybrid apps (1)
- Conformant Planning (1)
- DMR (1)
- DNA hairpin formation (1)
- Digitale Medien (1)
- Digitalisierung (1)
- Double cell upsets (DCUs) (1)
- E-Assessment (1)
- E-Klausuren (1)
- E-Portfolio (1)
- EDC (1)
- Elektronisches Prüfen (1)
- Epistemic Logic Programs (1)
- FEDC (1)
- Fault tolerant systems (1)
- Forschungsdatenmanagement (1)
- Hairpin completions (1)
- Hairpin reductions (1)
- Innovation (1)
- Internet of Things (1)
- Lindenmayer systems (1)
- MQTT (1)
- Mobile App (1)
- Non-Monotonic (1)
- Partizipation (1)
- Persönliche Lernumgebung (1)
- Reasoning (1)
- Semilinearity property (1)
- Strategie (1)
- TMR (1)
- Triple modular redundancy (TMR) (1)
- UX (1)
- acyclicity properties (1)
- arousal (1)
- asynchrounous design (1)
- autism (1)
- bibliometric analysis (1)
- bundled data (1)
- circuit Faults (1)
- citation analysis (1)
- click controller (1)
- clocks (1)
- co-citation analysis (1)
- co-occurrence analysis (1)
- coherence relation (1)
- combinatorial optimization problems (1)
- competition (1)
- concession (1)
- concurrent checking (1)
- connective (1)
- context-free grammar (1)
- context-sensitive (1)
- contrast (1)
- corpus analysis (1)
- degree of non-context-freeness (1)
- degree of non-regularity (1)
- determinism (1)
- developmental systems (1)
- edge computing (1)
- emission factor (1)
- ensemble methods (1)
- face tracking (1)
- facial expression (1)
- firmware update (1)
- formal languages (1)
- gradient boosting (1)
- grammar (1)
- greenhouse gas (1)
- information flow control (1)
- latches (1)
- logic-based modeling (1)
- measure development (1)
- neural networks (1)
- on-farm evaluation (1)
- parallel rewriting (1)
- parity aggregate operator (1)
- perception (1)
- perception differences (1)
- random forest (1)
- regression (1)
- restricted parallelism (1)
- satisfiability (1)
- security (1)
- self-checking (1)
- soft errors (1)
- static analysis (1)
- support vector machines (1)
- timing (1)
- transient Faults (1)
- transient analysis (1)
- user experience (1)
Die Setzung strategischer Ziele sowie die Zuordnung und Umsetzung dazugehörender Maßnahmen sind ein wesentliches Element, um die Innovationsfähigkeit von Organisationen zu erhalten. In den vergangenen Jahren ist auch an Hochschulen die Strategiebildung deutlich vorangetrieben worden. Dies betrifft verschiedene Handlungsfelder, und es werden verschiedene Ansätze verfolgt. Der vorliegende Beitrag greift am Beispiel der Universität Potsdam drei in den vergangenen Jahren adressierte Strategiebereiche heraus: IT, E-Learning und Forschungsdaten. Die damit verbundenen Prozesse waren in unterschiedlichem Maß von Partizipation geprägt. Die gesammelten Erfahrungen werden reflektiert, und es werden Empfehlungen für Strategieentwicklungsprozesse abgeleitet.
MUP
(2020)
Message Queuing Telemetry Transport (MQTT) is one of the dominating protocols for edge- and cloud-based Internet of Things (IoT) solutions. When a security vulnerability of an IoT device is known, it has to be fixed as soon as possible. This requires a firmware update procedure. In this paper, we propose a secure update protocol for MQTT-connected devices which ensures the freshness of the firmware, authenticates the new firmware and considers constrained devices. We show that the update protocol is easy to integrate in an MQTT-based IoT network using a semantic approach. The feasibility of our approach is demonstrated by a detailed performance analysis of our prototype implementation on a IoT device with 32 kB RAM. Thereby, we identify design issues in MQTT 5 which can help to improve the support of constrained devices.