Search
Results
-
Modelling crew performance variability in emergency situations from simulator data for human reliability analysis
(2020)Proceedings of the 30th European Safety and Reliability Conference andthe 15th Probabilistic Safety Assessment and Management ConferenceSeveral international initiatives have been recently undertaken in Human Reliability Analysis (HRA) with the goal to collect data in main control room simulators and provide HRA models with new empirical evidence to inform the error probability estimates. Recent studies highlighted large performance variability across operating crews in emergency scenarios, as a result of factors such as team dynamics, work processes, communication ...Conference Paper -
In-orbit Computing: An Outlandish thought Experiment?
(2020)HotNets '20: Proceedings of the 19th ACM Workshop on Hot Topics in NetworksSpace industry upstarts are deploying thousands of satellites to offer global Internet service. These plans promise large improvements in coverage and latency, and could fundamentally transform the Internet. But what if this transformation extends beyond network transit into a new type of computing service? What if each satellite, in addition to serving as a network router, also offers cloud-like compute, making the new constellations not ...Conference Paper -
"Internet from Space" without Inter-satellite Links
(2020)HotNets '20: Proceedings of the 19th ACM Workshop on Hot Topics in NetworksBuoyed by advances in space technology, several firms are planning satellite constellations to offer broadband Internet service. While these developments are happening quickly, there are also many uncertainties about the design of these networks. A key open question is whether or not they will incorporate direct connectivity between satellites, instead of only ground-satellite connections. We compare the network behavior resulting from ...Conference Paper -
Machine translation testing via pathological invariance
(2020)Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringMachine translation software has become heavily integrated into our daily lives due to the recent improvement in the performance of deep neural networks. However, machine translation software has been shown to regularly return erroneous translations, which can lead to harmful consequences such as economic loss and political conflicts. Additionally, due to the complexity of the underlying neural models, testing machine translation systems ...Conference Paper -
Detecting optimization bugs in database engines via non-optimizing reference engine construction
(2020)Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringDatabase Management Systems (DBMS) are used ubiquitously. To efficiently access data, they apply sophisticated optimizations. Incorrect optimizations can result in logic bugs, which cause a query to compute an incorrect result set. We propose Non-Optimizing Reference Engine Construction (NoREC), a fully-automatic approach to detect optimization bugs in DBMS. Conceptually, this approach aims to evaluate a query by an optimizing and a ...Conference Paper -
Short Paper: Modular Black-box Runtime Verification of Security Protocols
(2020)Proceedings of the 15th Workshop on Programming Languages and Analysis for SecurityVerification techniques have been applied to the design of secure protocols for decades. However, relatively few efforts have been made to ensure that verified designs are also implemented securely. Static code verification techniques offer one way to bridge the verification gap between design and implementation, but require substantial expertise and manual labor to realize in practice. In this short paper, we propose black-box runtime ...Conference Paper -
RobotSculptor: Artist-Directed Robotic Sculpting of Clay
(2020)SCF '20: Symposium on Computational FabricationWe present an interactive design system that allows users to create sculpting styles and fabricate clay models using a standard 6-axis robot arm. Given a general mesh as input, the user iteratively selects sub-areas of the mesh through decomposition and embeds the design expression into an initial set of toolpaths by modifying key parameters that affect the visual appearance of the sculpted surface finish. These parameters were identified ...Conference Paper -
An In-Depth Analysis of the Slingshot Interconnect
(2020)SC '20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and AnalysisThe interconnect is one of the most critical components in large scale computing systems, and its impact on the performance of applications is going to increase with the system size. In this paper, we will describe SLINGSHOT , an interconnection network for large scale computing systems. SLINGSHOT is based on high-radix switches, which allow building exascale and hyperscale datacenters networks with at most three switch-to-switch hops. ...Conference Paper -
Print Paths Key-framing: Design for non-planar layered robotic FDM printing
(2020)SCF '20: Symposium on Computational FabricationWe present a method to design non-planar layered print paths for robotic fused deposition modeling (FDM) printing of single-shell surfaces. The advent of robotic arms has created great potential in the 3D printing industry for the realization of non-planar print paths that allow transitioning between different orientations during the print. However, this potential is often not fully realized due to the various challenges associated with ...Conference Paper -
Design and Testing of a Lattice Morphing Wing
(2020)ASME 2020 Conference on Smart Materials, Adaptive Structures and Intelligent SystemsThis work presents the design, optimization and testing of a novel lattice-structure based morphing wing. The lattice-structure concept spans a large design space, including the possibility to vary among others material, number, distribution and the orientation of the lattice rods. The used parametrization scheme considers both the positioning of the Carbon Fiber Reinforced Polymer (CFRP) rods and their orientation in spherical coordinates ...Conference Paper