An empirical delay model for application in unsignalized intersections in dynamic traffic assignment

textUp until recently, unsignalized nodes have been either ignored or inadequately represented in Dynamic Traffic Assignment (DTA) models. This is due to the difficult nature of incorporating internal node conflicts into dynamic flow models. It was thought or assumed that these nodes had little impact on overall model results, but evidence from testing in Visual Interactive System for Transportation Algorithms (VISTA), a DTA model, reveals that may not be the case. This paper explores recent attempts at characterizing stop sign effects within DTA flow models. From previous studies, it has been found that incorporating these unsignalized and priority movements internal to the flow model requires large amounts of computational power, are challenging to make efficient, and lead to a multiple or infinite solution space. Based on these findings, a deterministic approach is both impractical and likely impossible in the existing framework of the Cell Transmission (CTM) and Link Transmission (LTM) models commonly used in DTA. Thus, a method of utilizing empirical relationships based on information readily available in these models may be a more acceptable approach. Microsimulation is much more suitable for modeling these types of interactions and is capable of producing results near to reality. For this reason, microsimulation was chosen as a viable method for developing empirical relationships of such complex interactions to then be used as inputs into the macroscopic flow models of DTA. This paper presents a model developed to calculate delays expected by vehicles at stop approaches based on information that can be taken from a dynamic flow model such as CTM and LTM models. This model is validated by video data recorded and analyzed for accuracy. Potential uses and probable implementations of the model are explored to appropriately incorporate unsignalized and priority movements into existing flow models.Civil, Architectural, and Environmental Engineerin

Consistent SDNs through Network State Fuzzing

The conventional wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actual data plane state. Nevertheless, bugs, misconfigurations, faults or attacks can introduce inconsistencies that undermine correct operation. Previous work in this area, however, lacks a holistic methodology to tackle this problem and thus, addresses only certain parts of the problem. Yet, the consistency of the overall system is only as good as its least consistent part. Motivated by an analogy of network consistency checking with program testing, we propose to add active probe-based network state fuzzing to our consistency check repertoire. Hereby, our system, PAZZ, combines production traffic with active probes to continuously test if the actual forwarding path and decision elements (on the data plane) correspond to the expected ones (on the control plane). Our insight is that active traffic covers the inconsistency cases beyond the ones identified by passive traffic. PAZZ prototype was built and evaluated on topologies of varying scale and complexity. Our results show that PAZZ requires minimal network resources to detect persistent data plane faults through fuzzing and localize them quickly

Queue utilization with hop based enhanced arbitrary inter frame spacing MAC for saturated ad HOC networks

© 2015 IEEE. Path length of a multi hop Ad Hoc networks has an adverse impact on the end-to-end throughput especially during network saturation. The success rate of forwarding packets towards destination is limited due to interference, contention, limited buffer space, and bandwidth. Real time applications streaming data fill the buffer space at a faster rate at the source and its nearby forwarding nodes since the channel is shared. The aim of this paper is to increase the success rate of forwarding the packets to yield a higher end-to-end throughput. In order to reduce loss of packets due to buffer overflow and enhance the performance of the network for a saturated network, a novel MAC protocol named Queue Utilization with Hop Based Enhanced Arbitrary Inter Frame Spacing based (QU-EAIFS) MAC is proposed for alleviating the problems in saturated Ad Hoc networks. The protocol prioritises the nodes based on its queue utilization and hops travelled by the packet and it helps achieving higher end-toend performance by forwarding the packets with higher rate towards the destination during network saturation. The proposed MAC enhances the end-to-end performance by approximately 40% and 34% for a 5hop and 6hop communication respectively in a chain topology as compared to the standard IEEE802.11b. The performance of the new MAC also outperforms the performance of IEEE 802.11e MAC. In order to validate the protocol, it is also tested with short hops and varying packet sizes and more realistic random topologies

Analytical modelling in Dynamo

BIM is applied as modern database for civil engineering. Its recent development allows to preserve both structure geometrical and analytical information. The analytical model described in the paper is derived directly from BIM model of a structure automatically but in most cases it requires manual improvements before being sent to FEM software. Dynamo visual programming language was used to handle the analytical data. Authors developed a program which corrects faulty analytical model obtained from BIM geometry, thus providing better automation for preparing FEM model. Program logic is explained and test cases shown

Consistent SDNs through Network State Fuzzing

The conventional wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actual data plane state. Unfortunately, bugs, misconfigurations, faults or attacks can introduce inconsistencies that undermine correct operation. Previous work in this area, however, lacks a holistic methodology to tackle this problem and thus, addresses only certain parts of the problem. Yet, the consistency of the overall system is only as good as its least consistent part. Motivated by an analogy of network consistency checking with program testing, we propose to add active probe-based network state fuzzing to our consistency check repertoire. Hereby, our system, PAZZ, combines production traffic with active probes to periodically test if the actual forwarding path and decision elements (on the data plane) correspond to the expected ones (on the control plane). Our insight is that active traffic covers the inconsistency cases beyond the ones identified by passive traffic. PAZZ prototype was built and evaluated on topologies of varying scale and complexity. Our results show that PAZZ requires minimal network resources to detect persistent data plane faults through fuzzing and localize them quickly while outperforming baseline approaches.Comment: Added three extra relevant references, the arXiv later was accepted in IEEE Transactions of Network and Service Management (TNSM), 2019 with the title "Towards Consistent SDNs: A Case for Network State Fuzzing

Modular Verification of Interrupt-Driven Software

Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-driven software remains a difficult task. Although a number of static verification techniques have been proposed for interrupt-driven software, they often rely on constructing a monolithic verification model. Furthermore, they do not precisely capture the complete execution semantics of interrupts such as nested invocations of interrupt handlers. To overcome these limitations, we propose an abstract interpretation framework for static verification of interrupt-driven software that first analyzes each interrupt handler in isolation as if it were a sequential program, and then propagates the result to other interrupt handlers. This iterative process continues until results from all interrupt handlers reach a fixed point. Since our method never constructs the global model, it avoids the up-front blowup in model construction that hampers existing, non-modular, verification techniques. We have evaluated our method on 35 interrupt-driven applications with a total of 22,541 lines of code. Our results show the method is able to quickly and more accurately analyze the behavior of interrupts.Comment: preprint of the ASE 2017 pape

Guidelines and Standard Operating Procedures for IDDE and Pollution Prevention/Good Housekeeping

In April 2003, the United States Environmental Protection Agency (USEPA) issued a National Pollutant Discharge Elimination System (NPDES) General Permit for Stormwater Discharges from Small Municipal Separate Storm Sewer Systems (MS4s). A total of 45 New Hampshire communities (six fully regulated and 39 partially regulated) became subject to Stormwater Phase II regulations based on their designation as Urbanized Areas according to the 2000 US Census