Latest
Call for Papers: Vol. 42 closes 30 JuneNew: Quantum Security Summit registration openAxiom Standard 7042-2024 now ratifiedGrant cycle 2025 — $4.2M committedFellows election voting opens 15 JulyCall for Papers: Vol. 42 closes 30 JuneNew: Quantum Security Summit registration openAxiom Standard 7042-2024 now ratifiedGrant cycle 2025 — $4.2M committedFellows election voting opens 15 July
Digital Library

Research Archive

Search across 2.4 million peer-reviewed documents from journals, conferences, and standards.

Showing 2 of 2,418,902 results

Journal Article Subscription Software Engineering

Event-Driven Architecture and DevOps: Operational Patterns for Kafka-Based Microservices Pipelines, Consumer Group Management, and Schema Registry Governance

Event-driven architectures (EDA) based on distributed streaming platforms such as Apache Kafka have become ubiquitous in high-throughput microservices deployments, yet the DevOps practices required to reliably build, deploy, and operate EDA systems remain poorly documented in the academic literature. This paper characterizes the DevOps operational patterns specific to Kafka-based EDA systems, drawing on case studies of five organizations operating Kafka clusters processing between 500 million and 12 billion events daily. We identify and systematize 19 EDA-specific DevOps patterns organized into four categories: Deployment Patterns (schema-compatible rolling upgrades, consumer lag-aware deployment gates), Observability Patterns (consumer group lag monitoring, dead letter queue alerting, schema compatibility drift detection), Governance Patterns (schema registry lifecycle management, topic naming conventions, retention policy automation), and Resilience Patterns (chaos-tested consumer rebalancing, idempotent consumer design, poison pill handling). We evaluate these patterns against three operational outcome dimensions — message delivery reliability, deployment-induced consumer lag, and schema evolution incident rate — using telemetry data from the case study organizations. Organizations implementing the full pattern set achieve 99.994% message delivery reliability and zero schema-induced consumer failures across 18 months of observation. We provide a Kafka DevOps Maturity Assessment and an open-source toolchain configuration reference.

Oluwatobi Akinola, Stefan Nordström, Yutaka Kimura, Sofia Costa· Feb 2022· 312 citations
Journal Article Open Access Autonomous Systems

Formal Safety Verification for Autonomous Vehicle Decision-Making Systems: Temporal Logic Specification, Model Checking, and Runtime Monitoring of Highway Merge and Intersection Scenarios

The deployment of autonomous vehicles in public road environments requires safety assurances that go beyond empirical testing-based approaches, whose coverage limitations are well-documented in the context of rare but catastrophic edge case scenarios. Formal verification methods -- which mathematically prove that system behavior satisfies specified safety properties for all possible inputs within a defined operating domain -- offer complementary guarantees, but their application to the complex, continuous, and probabilistic decision-making systems of autonomous vehicles presents significant scalability and modeling challenges. This paper presents a formal safety verification framework for autonomous vehicle decision-making, applied to two safety-critical scenarios: highway lane change and merge execution, and unprotected intersection crossing. We formalize safety properties in Signal Temporal Logic (STL) and Linear Temporal Logic (LTL), covering collision avoidance, traffic law compliance, progress guarantees, and passenger comfort bounds. Model checking is performed using Uppaal and SpaceEx for hybrid automaton models of the decision system, while runtime monitoring uses a custom STL monitor integrated into the Robot Operating System (ROS2) execution environment. The framework identifies 7 previously undetected safety violation scenarios in a production-candidate decision system, including a highway merge deadlock under specific sensor degradation and adversarial driver behavior combinations. We discuss the fundamental limitations of formal verification for open-world AV operation and propose a hybrid formal-statistical safety assurance methodology addressing these limitations.

Adaeze Nwosu, Emma Lindgren, Takashi Fujita, Yasmin Mansour· Jan 2022· 378 citations