6,826 research outputs found
UMSL Bulletin 2023-2024
The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp
Challenges in the Design and Implementation of IoT Testbeds in Smart-Cities : A Systematic Review
Advancements in wireless communication and the increased accessibility to low-cost sensing and data processing IoT technologies have increased the research and development of urban monitoring systems. Most smart city research projects rely on deploying proprietary IoT testbeds for indoor and outdoor data collection. Such testbeds typically rely on a three-tier architecture composed of the Endpoint, the Edge, and the Cloud. Managing the system's operation whilst considering the security and privacy challenges that emerge, such as data privacy controls, network security, and security updates on the devices, is challenging. This work presents a systematic study of the challenges of developing, deploying and managing urban monitoring testbeds, as experienced in a series of urban monitoring research projects, followed by an analysis of the relevant literature. By identifying the challenges in the various projects and organising them under the V-model development lifecycle levels, we provide a reference guide for future projects. Understanding the challenges early on will facilitate current and future smart-cities IoT research projects to reduce implementation time and deliver secure and resilient testbeds
Towards A Practical High-Assurance Systems Programming Language
Writing correct and performant low-level systems code is a notoriously demanding job, even for experienced developers. To make the matter worse, formally reasoning about their correctness properties introduces yet another level of complexity to the task. It requires considerable expertise in both systems programming and formal verification. The development can be extremely costly due to the sheer complexity of the systems and the nuances in them, if not assisted with appropriate tools that provide abstraction and automation.
Cogent is designed to alleviate the burden on developers when writing and verifying systems code. It is a high-level functional language with a certifying compiler, which automatically proves the correctness of the compiled code and also provides a purely functional abstraction of the low-level program to the developer. Equational reasoning techniques can then be used to prove functional correctness properties of the program on top of this abstract semantics, which is notably less laborious than directly verifying the C code.
To make Cogent a more approachable and effective tool for developing real-world systems, we further strengthen the framework by extending the core language and its ecosystem. Specifically, we enrich the language to allow users to control the memory representation of algebraic data types, while retaining the automatic proof with a data layout refinement calculus. We repurpose existing tools in a novel way and develop an intuitive foreign function interface, which provides users a seamless experience when using Cogent in conjunction with native C. We augment the Cogent ecosystem with a property-based testing framework, which helps developers better understand the impact formal verification has on their programs and enables a progressive approach to producing high-assurance systems. Finally we explore refinement type systems, which we plan to incorporate into Cogent for more expressiveness and better integration of systems programmers with the verification process
Designing data-aided demand-driven user-centric architecture for 6G and beyond networks
Despite advancements in capacity-enhancing technologies like massive MIMO (multiple input, multiple output) and intelligent reflective surfaces, network densification remains crucial for significant capacity gains in future networks such as 6G. However, network densification increases interference and power consumption. Traditional cellular architectures struggle to minimize these without compromising service quality or capacity, which necessitates a shift to a user-centric radio access network (UC-RAN).
The UC-RAN approach offers additional degrees of freedom to ease the spectral-energy efficiency interlock while improving the service quality. However, its increased degrees of freedom make its optimal design and operation more challenging. This dissertation introduces four novel approaches for UC-RAN optimal design and operation. The objectives include mitigating interference, reducing power consumption, ensuring diverse user/vertical service quality, facilitating proactive network operation, risk-aware optimization, adopting an open radio access network, and enabling universal coverage.
First, we construct an analytical framework to assess the effects of incorporating Coordinated Multipoint (CoMP) technology into UC-RAN to reduce interference and power consumption. We use stochastic geometry tools to derive expressions for network-wide coverage, spectral efficiency, and energy efficiency as a function of UC-RAN Configuration and Optimization Parameters (COPs), including data base station densities and user-centric service zone sizes.
While the analytical framework provides insightful performance analysis that can guide overall system design, it cannot fully capture the dynamics of a UC-RAN system to enable optimal operation. Next, we present a Deep Reinforcement Learning (DRL) based method to dynamically orchestrate the UC-RAN service zone size to satisfy varying application demands of various service verticals during its operation. We define a novel multi-objective optimization problem that fairly optimizes otherwise conflicting key performance indicators (KPIs).
DRL's practical adaptation by the industry remains thwarted by the risk it poses to the safe operation of a live network. To address this challenge, we propose a digital twin-enabled approach to enrich the DRL-based optimization framework, ensuring risk-aware COP optimization. We use Open Radio Access Network standards-based simulations to show that the proposed risk-aware DRL framework can maximize system-level KPIs while maintaining safe operational requirements.
Lastly, we propose a hybrid model of aerial and terrestrial UC-RAN deployment to ensure universal coverage. We assess the impact of aerial base station parameters on system-level KPIs, providing a quantitative analysis of the advantages of a hybrid over a solely terrestrial UC-RAN. We develop a robust multi-objective function solvable via our DRL-based framework to balance and optimize these KPIs in a hybrid UC-RAN.
Our extensive analytical and system-level simulation results suggest that these contributions can foster the much-needed paradigm shift towards demand-driven, elastic, and user-centric architecture in emerging and future cellular networks
Synchronization of data in heterogeneous decentralized systems
Data synchronization is the problem of reconciling the differences between large data stores that differ in a small number of records. It is a common thread among disparate distributed systems ranging from fleets of Internet of Things (IoT) devices to clusters of distributed databases in the cloud. Most recently, data synchronization has arisen in globally distributed public blockchains that build the basis for the envisioned decentralized Internet of the future. Moreover, the parallel development of edge computing has significantly increased the heterogeneity of networks and computing devices. The merger of highly heterogeneous system resources and the decentralized nature of future Internet applications calls for a new approach to data synchronization. In this dissertation, we look at the problem of data synchronization through the prism of set reconciliation and introduce novel tools and protocols that improve the performance of data synchronization in heterogeneous decentralized systems.
First, we compare the analytical properties of the state-of-the-art set reconciliation protocols, and investigate the impact of theoretical assumptions and implementation decisions on the synchronization performance. Second, we introduce GenSync, the first unified set reconciliation middleware. Using GenSync's distinctive benchmarking layer, we find that the best protocol choice is highly sensitive to the system conditions, and a bad protocol choice causes a severe hit in performance. We showcase the evaluative power of GenSync in one of the world's largest wireless network emulators, and demonstrate choosing the best GenSync protocol under a high and low user mobility in an emulated cellular network. Finally, we introduce SREP (Set Reconciliation-Enhanced Propagation), a novel blockchain transaction pool synchronization protocol with quantifiable guarantees. Through simulations, we show that SREP incurs significantly smaller bandwidth overhead than a similar approach from the literature, especially in the networks of realistic sizes (tens of thousands of participants)
Exploring Cloud Adoption Possibilities for the Manufacturing Sector: A Role of Third-Party Service Providers
As the manufacturing sector strides towards digitalization under the influence of Industry 4.0, cloud services have emerged as the new norm, driving change and innovation in this rapidly transforming landscape. This study investigates the possibilities of cloud adoption in the manufacturing sector by developing a conceptual model to identify suitable cloud-based solutions and explores the role of third-party service providers in aiding manufacturers throughout their cloud adoption journey. The research methods consist of a comprehensive literature review of the manufacturing industry, digital transformation, cloud computing, etc., followed by qualitative analyses of industrial benchmarks case studies and an investigation into an application of the developed model to a hypothetical food manufacturing company as an example. This study indicates that cloud adoption can yield substantial benefits in the manufacturing sector, including operational efficiency, cost reduction, and innovation, etc. The study concludes that the developed conceptual model provides a practical framework to identify the most suitable cloud-based solutions during the cloud adoption process in the manufacturing context. In addition, third-party service providers like Capgemini are capable of not only filling the technical gaps but also consulting strategic directions and innovations for their client organizations, hence playing a vital role in driving the industrial digital transformation process. With an extensive mapping of their capabilities, a set of recommendations intended to assist Capgemini in enhancing capabilities and improving competitive performance in the market has been offered
Migrating Integration from SOAP to REST : Can the Advantages of Migration Justify the Project?
This thesis investigates the functional and conceptual differences between SOAP-based and RESTful web services and their implications in the context of a real-world migration project. The primary research questions addressed are:
• What are the key functional and conceptual differences between SOAP-based and RESTful web services?
• How can SOAP-based and RESTful service clients be implemented into a general client?
• Can developing a client to work with REST and SOAP be justified based on differences in performance and maintainability?
The thesis begins with a literature review of the core principles and features of SOAP and REST, highlighting their strengths, weaknesses, and suitability for different use cases. A detailed comparison table is provided to summarize the key differences between the two web services.
The thesis presents a case study of a migration project from Lemonsoft's web team, which involved adapting an existing integration to support SOAP-based and RESTful services. The project utilized design patterns and a general client implementation to achieve a unified solution compatible with both protocols.
In terms of performance, the evaluation showed that the general client led to faster execution times and reduced memory usage, enhancing the overall system efficiency. Additionally, improvements in maintainability were achieved by simplifying the codebase, using design patterns and object factories, adopting an interface-driven design, and promoting collaborative code reviews. These enhancements have not only resulted in a better user experience but also minimized future resource demands and maintenance costs.
In conclusion, this thesis provides valuable insights into the functional and conceptual differences between SOAP-based and RESTful web services, the challenges and best practices for implementing a general client, and the justification for resource usage in such a solution based on performance and maintainability improvements
- …