8,892 research outputs found
Formal change impact analyses for emulated control software
Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original systemās functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly
Recommended from our members
Team One Carbon Catcher Design Report
Overview
The burning of fossil fuels largely contributes to the increase of CO2 in the atmosphere. The US Department of Transportation alone contributed almost 6 million metric tons of carbon dioxide emissions in 2018 (EIA). Due to this, this report proposes recycling captured CO2 into a base for cleaner burning fuel in order to reduce emissions from the transportation industry and many others, which has the potential to impact many areas.
Extraction of atmospheric CO2 is possible through a membrane filtration system based on traditional nitrogen generation. The passive filtration system autonomously separates the CO2 from other air components, thereby reducing energy consumption. The system's working sensors and actuators utilize similar energy saving strategies, such as distributing cloud-computing services over multiple servers and mainframes to reduce computing power. The movement of air is directed by a scalable fan device, which is presented as a modular design to allow customization of fan parts to specific size and installation requirements. As an integrated device, Team 1ās Carbon Catcher operates with a high efficiency in order to maximize the commercial opportunity of converting captured CO2 into cleaner fuel while also reducing CO2 emissions and the greenhouse effect.
Goal
The goal of Team 1ās Carbon Catcher project proposal is to design a cost-effective, scalable, and modular atmospheric carbon dioxide removal system that is capable of being utilized in a range of urban environments and may fit a variety of different customer requirements or requests
Survey and Systematization of Secure Device Pairing
Secure Device Pairing (SDP) schemes have been developed to facilitate secure
communications among smart devices, both personal mobile devices and Internet
of Things (IoT) devices. Comparison and assessment of SDP schemes is
troublesome, because each scheme makes different assumptions about out-of-band
channels and adversary models, and are driven by their particular use-cases. A
conceptual model that facilitates meaningful comparison among SDP schemes is
missing. We provide such a model. In this article, we survey and analyze a wide
range of SDP schemes that are described in the literature, including a number
that have been adopted as standards. A system model and consistent terminology
for SDP schemes are built on the foundation of this survey, which are then used
to classify existing SDP schemes into a taxonomy that, for the first time,
enables their meaningful comparison and analysis.The existing SDP schemes are
analyzed using this model, revealing common systemic security weaknesses among
the surveyed SDP schemes that should become priority areas for future SDP
research, such as improving the integration of privacy requirements into the
design of SDP schemes. Our results allow SDP scheme designers to create schemes
that are more easily comparable with one another, and to assist the prevention
of persisting the weaknesses common to the current generation of SDP schemes.Comment: 34 pages, 5 figures, 3 tables, accepted at IEEE Communications
Surveys & Tutorials 2017 (Volume: PP, Issue: 99
- ā¦