scholarly journals QuickSilver: modeling and parameterized verification for distributed agreement-based systems

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Nouraldin Jaber ◽  
Christopher Wagner ◽  
Swen Jacobs ◽  
Milind Kulkarni ◽  
Roopsha Samanta
Keyword(s):  
Modular Design ◽  
Automated Verification ◽  
Deductive Verification ◽  
Distributed Services ◽  
System A ◽  
Parameterized Verification ◽  
Data Store ◽  
Real World Applications ◽  
Agreement Protocols ◽  
Distributed Agreement

The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols and target applications that are built on top of agreement protocols. This is unfortunate, as agreement-based distributed services such as data stores, locks, and ledgers are ubiquitous and potentially permit modular, scalable verification approaches that mimic their modular design. We address this need for verification of distributed agreement-based systems through our novel modeling and verification framework, QuickSilver, that is not only modular, but also fully automated. The key enabling feature of QuickSilver is our encoding of abstractions of verified agreement protocols that facilitates modular, decidable, and scalable automated verification. We demonstrate the potential of QuickSilver by modeling and efficiently verifying a series of tricky case studies, adapted from real-world applications, such as a data store, a lock service, a surveillance system, a pathfinding algorithm for mobile robots, and more.

HOME: House Of Modular Enhancement—a Tool for Modular Product Redesign

2002 ◽  
Vol 10 (2) ◽  
pp. 153-164 ◽  
Author(s):  
J. C. Sand ◽  
P. Gu ◽  
G. Watson
Keyword(s):  
Lead Time ◽  
Modular Design ◽  
Design Method ◽  
Product Architecture ◽  
Functional Requirements ◽  
Overall Design ◽  
System A ◽  
Modular Product ◽  
Design And Manufacturing

Product modularization aims to improve the overall design, manufacturing, operational, and post-retirement characteristics of products by designing or redesigning the product architectures. A successful modular product can assist the reconfiguration of products, while reducing the lead-time of design and manufacturing and improving the ability for upgrading, maintenance, customization and recycling. This paper presents a new modular design method called the House Of Modular Enhancement (HOME) for product redesign. Information from various aspects of the product design, including functional requirements, product architecture and life cycle requirements, is incorporated in the method to help ensure that a modularized product would achieve the objectives. The HOME method has been implemented in a software system. A case study will be presented to illustrate the HOME method and the software.

scholarly journals Conceptual Design Of A Modular Morphing Wing

2021 ◽  
Author(s):  
Allan D. Finistauri
Keyword(s):  
Modular Design ◽  
Design Method ◽  
Connectivity Analysis ◽  
Morphing Wing ◽  
Kinematic Constraint ◽  
Limited Mobility ◽  
System A ◽  
Morphing Wings ◽  
Wing Skin ◽  
Variable Geometry Truss

In this dissertation a new modular design method for morphing wings is presented. First, a design method was created, applying modularity and recon gurability to a morphing wing system. With modularity being a requirement for the morphing wing system, a discretization method is developed to determine the discrete number of modules required to perform a desired morphing maneuver. Then, a specialized, modular, recon gurable variable geometry truss mechanism is proposed to facilitate morphing. The specialized modular wing truss is a recon gurable, limited mobility parallel mechanism, adapted to t within the volume of a wing. The mobility of the wing truss module is analyzed via a branch-based mobility and connectivity analysis that imposes kinematic requirements on the truss mechanism. The mobility and connectivity requirements are used to perform an enumeration analysis to isolate candidate module con gurations for morphing. Then, a parametric kinematic constraint system is developed and applied to the wing module and the kinematic performance of the module is evaluated. The kinematics are applied to a mechanical prototype of the wing module for validation purposes. Finally, the kinematics are used to evaluate the motion response of a wing skin system to lay the foundation for detailed design.

scholarly journals SiamBOMB: A Real-time AI-based System for Home-cage Animal Tracking, Segmentation and Behavioral Analysis

2020 ◽  
Author(s):  
Xi Chen ◽  
Hao Zhai ◽  
Danqian Liu ◽  
Weifu Li ◽  
Chaoyue Ding ◽  
...  
Keyword(s):  
Behavior Analysis ◽  
Real Time ◽  
Animal Behavior ◽  
Home Cage ◽  
Modular Design ◽  
Behavioral Analysis ◽  
Animal Tracking ◽  
System A ◽  
User Friendly

Biologists often need to handle numerous video-based home-cage animal behavior analysis tasks that require massive workloads. Therefore, we develop an AI-based multi-species tracking and segmentation system, SiamBOMB, for real-time and automatic home-cage animal behavioral analysis. In this system, a background-enhanced Siamese-based network with replaceable modular design ensures the flexibility and generalizability of the system, and a user-friendly interface makes it convenient to use for biologists. This real-time AI system will effectively reduce the burden on biologists.

HOME: House of Modular Enhancement for Product Redesign for Modularization

2001 ◽  
Author(s):  
J. Sand ◽  
P. Gu ◽  
G. Watson
Keyword(s):  
Lead Time ◽  
Modular Design ◽  
Design Method ◽  
Product Architecture ◽  
Functional Requirements ◽  
Overall Design ◽  
System A ◽  
Modular Product ◽  
Design And Manufacturing

Abstract Product modularization aims to improve the overall design, manufacturing, operational, and post-retirement characteristics of products by designing or redesigning the product architectures. A successful modular product can assist the reconfiguration of products, while reducing the lead time of design and manufacturing and improving the ability for upgrading, maintenance, customization and recycling. This paper presents a new modular design method called the House Of Modular Enhancement (HOME) for product redesign. Information from various aspects of the product design, including functional requirements, product architecture and life cycle requirements, is incorporated in the method to help ensure that a modularized product would achieve the objectives. The HOME method has been implemented in a software system. A case study will be presented to illustrate the HOME method and the software.

A control-theoretic perspective on the design of distributed agreement protocols

2007 ◽  
Vol 17 (10-11) ◽  
pp. 1034-1066 ◽  
Author(s):  
Sandip Roy ◽  
Ali Saberi ◽  
Kristin Herlugson
Keyword(s):  
Agreement Protocols ◽  
Distributed Agreement

Research of Remote Monitor System for Agriculture Equipment Based on Embedded System and Wireless Network

2013 ◽  
Vol 753-755 ◽  
pp. 3181-3184
Author(s):  
Yan Xin Yin ◽  
Yu Tan ◽  
Shu Mao Wang
Keyword(s):  
Embedded System ◽  
High Performance ◽  
Stress Measurement ◽  
Monitor System ◽  
Remote Monitor ◽  
System A ◽  
Data Store ◽  
Working Status ◽  
Remote Monitor System ◽  
Soil Bin

A remote monitor system was came up with in this paper aiming at dynamically monitor agriculture equipment working status. The system used Zigbee based portable data terminal as data collector, ARM11 based embedded system as wireless gateway, and laptop as remote monitor device. An embedded software based on WinCE6.0 was developed for data processing and transmitting, and a VC++ based software was developed for remote monitor, data store and alarm. In order to verify the performance of the system, a working subsoiler stress measurement test was made in soil-bin, the result indicated the system showed a high performance in data collection, transmission, processing and remote monitor, and could provide a support in agriculture equipment working status monitor.

Sign in / Sign up

Export Citation Format

Share Document