the proceedings contain 30 papers. the special focus in this conference is on Computer Safety, Reliability and Security. the topics include: Systematic maintenance of safety cases to reduce risk;on using results of co...
ISBN:
(纸本)9783319454795
the proceedings contain 30 papers. the special focus in this conference is on Computer Safety, Reliability and Security. the topics include: Systematic maintenance of safety cases to reduce risk;on using results of code-level bounded model checking in assurance cases;developing SNS tool for consensus building on environmental safety using assurance cases;the 6W1H model as a basis for systems assurance argument;building assurance cases for synthetic biology;towards safety case integration with hazard analysis for medical devices;European research and innovation initiatives in the area of cyber-physical systems and systems-of-systems;testing safety properties of cyber-physical systems with non-intrusive fault injection;quantitative reliability assessment for mobile cooperative systems;an approach for systematic in-the-loop simulations for development and test of a complex mechatronic embedded system;gate-level-accurate fault-effect analysis at virtual-prototype speed;dynamic safety contracts for functional cooperation of automotive systems;time-of-flight based optical communication for safety-critical applications in autonomous driving;limitation and improvement of STPA-sec for safety and security co-analysis;security services for mixed-criticality systems based on networked multi-core chips and analysis of informed attacks and appropriate countermeasures for cyber-physical systems.
For Parkinson's disease (PD) detection at its best, early diagnosis of the disorder is the key criteria to be focused [5]. Tremors are one of the primary characteristics of PD [11][13]. the paper presents some of ...
详细信息
ISBN:
(纸本)9781467398022
For Parkinson's disease (PD) detection at its best, early diagnosis of the disorder is the key criteria to be focused [5]. Tremors are one of the primary characteristics of PD [11][13]. the paper presents some of the effective biomechanical techniques that can aid in measuring PD tremors with a high grade of accuracy and sensitivity. the paper describes the application of salient tracking tools like magnetic trackers and optical markers, electrical diagnostic practices like Electromyogram (EMG) and the use of Microelectromechanical systems (MEMS) based inertial sensor modules(a combination of 3 axes accelerometer + 3 axes gyroscope) to record movement. the IMU and electrodes were suitably mounted on the hands of subjects who were made to perform certain pre-defined actions to record the wrist movement and electrical activity simultaneously. the ability of a subject to precisely follow a pre-defined task's motion trajectory is a crucial indicator of tremor. In this paper we study two techniques of trajectory measurement, in terms of the accuracy of measurement of the slightest deviations from a prescribed trajectory. It is shown that an IMU based motion tracking is more accurate than that tracked by EMG sensors.
the proceedings contain 43 papers. the topics discussed include: Ekho: realistic and repeatable experimentation for tiny energy-harvesting sensors;dynamic power management for long-term energy neutral operation of sol...
ISBN:
(纸本)9781450331432
the proceedings contain 43 papers. the topics discussed include: Ekho: realistic and repeatable experimentation for tiny energy-harvesting sensors;dynamic power management for long-term energy neutral operation of solar energy harvesting systems;GruMon: fast and accurate group monitoring for heterogeneous urban spaces;iLocScan: harnessing multipath for simultaneous indoor source localization and space scanning;ZiSense: towards interference resilient duty cycling in wireless sensor networks;from rateless to distanceless: enabling sparse sensor network deployment in large areas;team-level programming of drone sensor networks;using mobile phone barometer for low-power transportation context detection;CarLog: a platform for flexible and efficient automotive sensing;AirCloud: a cloud-based air-quality monitoring system for everyone;and a semi-supervised learning approach for robust indoor-outdoor detection with smartphones.
We present a distributed custom developed low cost sensing middleware named Shonabondhu that is able to handle flash flood in developing countries like Bangladesh.
ISBN:
(纸本)9781450336314
We present a distributed custom developed low cost sensing middleware named Shonabondhu that is able to handle flash flood in developing countries like Bangladesh.
Taking advantages of off-the-shelf cloud platform services, rather than maintaining a private database for logging the data from sensors, can significantly reduce labor and equipment costs for using a reliable databas...
详细信息
Taking advantages of off-the-shelf cloud platform services, rather than maintaining a private database for logging the data from sensors, can significantly reduce labor and equipment costs for using a reliable database system. In this study, we present an inexpensive (less than 30 USD) embedded gateway with mobile network connectivity that can talk directly to cloud storage service providers, such as Google Apps Engine (hereafter called GAE). this embedded gateway can be used to collect data from networked wireless sensors in the field. the proposed design is characterized by: (1) using mobile networks to upload collected data without the need to pre-deploy conventional network equipment in the field; and (2) using cloud platform services for the logging of data. We designed and implemented this framework and installed it in a test site to evaluate its performance. this gateway framework can facilitate the design of a sensor system for collecting on-site signals, leveraging the benefits of cost-effective, always-ready, and reliable data storage service.
We describe Tethys, an energy-harvesting wireless water flow sensorthat can monitor water use at a per-fixture level withthe intention of associating water use with specific individuals. Tethys was motivated by rece...
详细信息
ISBN:
(纸本)9781450336314
We describe Tethys, an energy-harvesting wireless water flow sensorthat can monitor water use at a per-fixture level withthe intention of associating water use with specific individuals. Tethys was motivated by recent efforts at Stanford University to reduce water use due to the California drought. Understanding how the university population uses water at per-person level can greatly influence policies and conservation approaches. Tethys uses Bluetooth Smart to both identify individuals as well as asynchronously upload data to the cloud for later analysis. We describe two challenges encountered in deploying Tethys: energy harvesting design and the mechanical considerations for high-pressure water at high temperatures.
As opposed to insects, todays walking robots are typically not constructed to withstand crashes. Whereas insects use a multitude of sensor information and have self-healing abilities in addition, robots usually rely o...
详细信息
ISBN:
(纸本)9783319424170;9783319424163
As opposed to insects, todays walking robots are typically not constructed to withstand crashes. Whereas insects use a multitude of sensor information and have self-healing abilities in addition, robots usually rely on few specialized sensors that are essential for operation. If one of the sensors fails due to a crash, the robot is unusable. therefore, most technical systems require static stability at all times to avoid damages and to guarantee utilizability, whereas insects can afford occasional failures. Despite the failure tolerance, insects also possess adhesive, "sticky" pads and claws at their feet that allow them to cling to the substrate, thus reducing the need for static stability. Nevertheless, insects, in particular stick insects, have been studied intensively to understand the underlying mechanisms of their leg coordination in order to adapt it for the control of robots. this work exemplarily evaluates the static stability of a single stick insect during walking and the stability of a technical system that is controlled by stick insect - inspired coordination rules.
For decades sensing systems have relied solely on battery power for execution of all activities;this has caused the focus of much research to go towards reducing energy consumption to extend the usable lifetime of a s...
详细信息
ISBN:
(纸本)9781450336314
For decades sensing systems have relied solely on battery power for execution of all activities;this has caused the focus of much research to go towards reducing energy consumption to extend the usable lifetime of a sensor. Recently, a new class of batteryless devices has arisen that promise operation in perpetuity, but often at the cost of reliability, and complexity. Programming, profiling, debugging, and building these applications is a significant challenge;designers must often be capable of implementing custom hardware to manage energy, while writing code in an environment that does not guarantee task completion. In this abstract, we motivate batteryless sensing, examine the state of the art, and propose a novel approach to programming, profiling, debugging, and building, tiny, batteryless sensors.
We present a communication protocol called Choco, which efficiently supports various traffic demands with end-to-end reliability in multi-hop Wireless sensor Networks (WSNs). To achieve this, Choco uses fine-grained s...
详细信息
ISBN:
(纸本)9781450336314
We present a communication protocol called Choco, which efficiently supports various traffic demands with end-to-end reliability in multi-hop Wireless sensor Networks (WSNs). To achieve this, Choco uses fine-grained scheduling based on the insight that acknowledgements (ACKs) between ends can be delivered with little overhead using concurrent transmission. Specifically, the slot assignment is dynamically scheduled up to several times a second according to traffic loads and packet losses. We show that Choco achieves higher efficiency and reliability than ORPL+BF, which is a state-of-the-art collection protocol, for periodic traffic environments. Also, we show that in a networked imaging application, which generates burst traffic, Choco can successfully collect 5 VGA images with high efficiency from 5 nodes in approximately 168 s in an average 4.0 hop network.
the recent spectacular progress in the microelectronic, information, communication, material and sensor technologies created a big stimulus towards development of smart communicating cyber-physical systems (CPS). CPS ...
详细信息
the recent spectacular progress in the microelectronic, information, communication, material and sensor technologies created a big stimulus towards development of smart communicating cyber-physical systems (CPS). CPS connected to Internet started to form the Internet of things (IoT) that is undergoing an explosive growth. In 2013 there were approximately 12.1 billion internet-connected devices, and their number is expected to more than quadruple to nearly 50 billion devices by 2025. Modern mobile systems constitute a very important subclass of CPS. Examples of such systems include automotive and transportation systems, mobile equipment transported by people or animals (including wearable or implantable systems), mobile robots, etc. For the CPS and IoT chip market as high as 30% annual growth rate is predicted for the period 2013-2020 (Gartner, Oct. 2014) that will be mainly driven by the need for low-power embedded processing, communications and sensing for mobile CPS sectors like smart automotive, wireless communication and wearables, with smart healthcare wearables growing at 65% a year to $41 billion in 2020 (Soreon Research, Oct. 2014).
暂无评论