List of Projects Using Raspberry Pi with Advance View: 1
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Model-Based Engineering and Spatiotemporal Analysis of Transport Systems
Model-based Engineering and Spatiotemporal Analysis of Transport Systems Simon Hordvik1, Kristoffer Øseth1, Henrik Heggelund Svendsen1, Jan Olaf Blech2, and Peter Herrmann1 1 NTNU, Trondheim, Norway, fsimon.hordvik, kristoffer.oseth, [email protected], [email protected] 2 RMIT University, Melbourne, Australia, [email protected] Abstract. To guarantee that modern transport systems carry their pas- sengers in a safe and reliable way, their control software has to fulfill ex- treme safety and robustness demands. To achieve that, we propose the model-based engineering of the controllers using the tool-set Reactive Blocks. This leads to models in a precise formal semantics that can be formally analyzed. Thus, we can verify that a transport system prevents collisions and fulfills other spatiotemporal properties. In particular, we combine test runs of already existing devices to find out their physical constraints with the analysis of simulation runs using the verification tool BeSpaceD. So, we can discover potential safety hazards already during the development of the control software. A centerpiece of our work is a methodology for the engineering and safety analysis of transportation systems. We elaborate its practical usability by means of two control systems for a demonstrator based on Lego Mindstorms. This paper is an extension of [20]. Keywords: Software engineering, spatial modeling, cyber-physical sys- tems. 1 Introduction In the development of control software for transport and other cyber-physical systems, safety is a major challenge to achieve [25]. Particularly, one has to analyze the software for compliance with spatiotemporal properties like guaran- teeing a sufficient safety distance between devices at all times. -
Self-Adaptive Control in Cyber-Physical Systems: the Autonomous Train Experiment
Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment Alexander Svae Amir Taherkordi NTNU Trondheim, Norway NTNU Trondheim and [email protected] University of Oslo, Norway amirhost@ifi.uio.no Peter Herrmann Jan Olaf Blech NTNU Trondheim, Norway RMIT University, Australia [email protected] [email protected] ABSTRACT gent information handling and communication technologies to pro- Autonomous systems become more and more important in today’s vide innovative services for traffic management and transport in or- transport sector. They often operate in dynamic environments in der to avoid traffic congestions and accidents [3]. As an interdisci- which unpredictable events may occur at any time. These events plinary field of research, ITS development requires cosnidration to may affect the safe operation of vehicles, calling for highly effi- many different areas such as electronics, control, communications, cient control software technologies to reason about and react on sensing, robotics, signal processing and information systems [7]. their appearance. A crucial efficiency parameter is timeliness as As advanced Cyber-Physical Systems (CPS), the operation of ITS vehicles often operate under high speed. The contribution of this depends on complex yet reliable and seamless interactions between paper is the presentation and analysis of design aspects of dynamic the computer systems of a vehicle and its physical components. control software in the context of an autonomous train experiment. While most of these systems are operated by humans, fully au- This is achieved through a self-adaptation software framework in- tonomous means of transport become more popular. In order to tended for autonomous trains and built on a demonstrator using guarantee safety, robustness, efficiency, performance, and security, Lego Mindstorms. -
A Methodology for Model-Based Development and Safety Analysis of Transport Systems
A Methodology for Model-based Development and Safety Analysis of Transport Systems Simon Hordvik1, Kristoffer Øseth1, Jan Olaf Blech2 and Peter Herrmann1 1Norwegian University of Science and Technology, Trondheim, Norway 2RMIT University, Melbourne, Australia fsimon.hordvik, kristoff[email protected], [email protected], [email protected] Keywords: Software engineering, spatial modeling, cyber-physical systems. Abstract: We present a method to engineer the control software of transport systems and analyze their safety using the Reactive Blocks framework. The development benefits from the model-based approach and makes the analysis of the systems at design time possible. The software is analyzed for freedom of collisions and other spatiotemporal properties by combining test runs of already existing devices to find out their physical constraints with the analysis of simulation runs using the verification tool BeSpaceD. This allows us to discover potential safety hazards already during the development of the control software. In particular, we introduce a methodology for the engineering and safety analysis of transportation systems and elaborate its practical usability by means of a demonstrator based on Lego Mindstorms. 1 Introduction to simulate data and control flows, to model check the building blocks for functional correct- In the development of control software for ness, and to create executable code automati- transport and other cyber-physical systems, cally. Moreover, we use BeSpaceD (Blech and safety is a major challenge to achieve (Lee, 2008). Schmidt, 2014), which enables the verification of Particularly, one has to analyze the software for spatiotemporal properties in safety-critical sys- compliance with spatiotemporal properties like tems. -
Nabaztag Lives: the Rebirth of a Bunny
Nabaztag Lives: The Rebirth of a Bunny An exploration of the Nabaztag as a social robot in a domestic environment Tanja Kampman, s1724185 Supervisor: dr. ir. Edwin Dertien Critical observer: dr. Angelika Mader 6th of July, 2018 Creative Technology, University of Twente Abstract The Nabaztag is a robot rabbit that this research has given a new purpose. The purpose is to help university students with generalized anxiety disorder symptoms or depressive symptoms, which are common in that group and often come together. The focus is on these students who are in therapy, specifically cognitive behavioural therapy. Current solutions for problems this target audience faces are found and the problems are analysed. The outcome of the ideation is a social robot companion that supports them both in their treatment and their studies by e.g. helping with sticking to a planning. This solution is then evaluated by peers from different fields according to a scenario of a student who struggles. Then, a prototype is created where the interaction is tested on whether the student could form a bond with the robot enough and on whether there are major problems in general. The result of these evaluations is that people believe there is potential for the concept if it was worked out further, but that there are many flaws currently in the system that would need to be fixed. 1 Acknowledgements I would like to give special thanks to my supervisor dr. ir. Edwin Dertien and my critical observer dr. Angelika H. Mader for guiding me on this journey. Also, special thanks to Richard Bults for organising the bachelor assignments. -
Designing the Internet of Things
Designing the Internet of Things Adrian McEwen, Hakim Cassimally This edition first published 2014 © 2014 John Wiley and Sons, Ltd. Registered office John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, United Kingdom For details of our global editorial offices, for customer services and for information about how to apply for permission to reuse the copyright material in this book please see our website at www.wiley.com. The right of the author to be identified as the author of this work has been asserted in accordance with the Copyright, Designs and Patents Act 1988. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by the UK Copyright, Designs and Patents Act 1988, without the prior permission of the publisher. Wiley also publishes its books in a variety of electronic formats. Some content that appears in print may not be available in electronic books. Designations used by companies to distinguish their products are often claimed as trademarks. All brand names and product names used in this book are trade names, service marks, trademarks or registered trademarks of their respective owners. The publisher is not associated with any product or vendor mentioned in this book. This publication is designed to provide accurate and authoritative information in regard to the subject matter covered. It is sold on the under- standing that the publisher is not engaged in rendering professional services. If professional advice or other expert assistance is required, the services of a competent professional should be sought. -
Understanding Expressions of Internet of Things
Understanding Expressions of Internet of Things Kuo Chun, Tseng*, Rung Huei, Liang ** * Department of Industrial and Commercial Design, National Taiwan University of Science and Technology, Taipei, Taiwan, [email protected] ** Department of Industrial and Commercial Design, National Taiwan University of Science and Technology, Taipei, Taiwan, [email protected] Abstract: A recent surge of research on Internet of Things (IoT) has given people new opportunities and challenges. Unfortunately, little research has been done on conceptual framework, which is a crucial aspect to envision IoT design. We found that designers usually felt helpless when designing smart objects in contrast to traditional ones and needed more resources for potential expressions of interactive embodiment with this new technology. Moreover, it appears to be unrealistic to expect the designer to follow the programming thinking and theory of MEMS (Micro Electro Mechanical Systems) field. Therefore, instead of focusing on exploring the technology, this paper proposes an analytical framing and investigates interactive expressions of embodiment on smart objects that help designers understand and handle the technology as design material to design smart objects during the coming era of IoT. To achieve this goal, first we conceptualize an IoT artifact as an object that has four capabilities and provide a clear framework for understanding a thing and multiple things over time and space in ecology of IoT things powered by a cloud-based mechanism. Second, we show the analytical results of three categories: smart things and design agenda over cloud in respect of time and space. Third, drawing on the taxonomy of embodiment in tangible interfaces by Fishkin K. -
1 Thank You Very Much for Inviting Me, Kimiko. It's Always a Pleasure To
Thank you very much for inviting me, Kimiko. It’s always a pleasure to speak at Berkeley and to speak to this class. Today I want to talk about how ubiquitous computing technology creates a fuzzy boundary between products and services and to look a handful of case studies that show a range of approaches for merging products and services.! 1! But first, let me tell you a little about who I am. I’m a user experience researcher and designer. I spend much of my time thinking about how technologies and people affect each other from social, economic, historical and technological perspectives, and how the technological side of that relationship can be made better, or at least more interesting, for the human side of it. ! 2! I spent a little more than 10 years doing design and research for the web. I worked with many dotcoms, some famous, some infamous. 3! I sat out the first dotcom crash writing a book based on the work I had been doing. It’s a cookbook of user research methods that some of you may have used in a class here at the iSchool. 4! In 2001 I co-founded a design and consulting company called Adaptive Path. Things went very well, Adaptive Path is doing very well, but I was interested in other ways that technology was changing society. 5! So I founded a company with Tod E. Kurt called ThingM to pursue these ideas commercially three years ago. We're a ubiquitous computing consumer electronics company, which sounds fancy, but we’re pretty small. -
SOM IB3710 Quad Core SOM (System-On-Module) Rev 1.3
Intel Braswell SOM IB3710 Quad Core SOM (System-On-Module) Rev 1.3 SolidRun Ltd. 7 Hamada st., Yokne’am Illit, 2495900, Israel Simple. Robust. Computing Solutions www.solid-run.com 1 | Page Document revision 1.0 28082017 SolidRun Ltd. 2017 Overview Embedded system developers, device makers and OEMs: Shorten your development cycle and accelerate time-to-market with our Micro-System on a Module – SolidRun’s SOM family. We’ve harnessed Intel’s powerful new Braswell line of 14 nm SoCs, producing a powerful, small form- factor module that is ideally suited for a wide range of Windows- and Linux-based IoT applications. SOM IB3710 Highlighted Features Based on Intel’s Braswell SoC Up to 8GB Memory Size Small size 53mmx40mm Long longevity of 7 years 4K support Optimized onboard power management Dramatically reduces complexity 2 | Page Document revision 1.0 28082017 SolidRun Ltd. 2017 System Specifications Pentium N3710 Processor cores 4 Memory (RAM) Up to 8GB (4GB default size) CPU HFM Clock (GHz) 1.60, Burst 2.56 Graphic GPU Intel Gen8 LP – 16EU GPU HFM Clock (MHz) 400, Turbo Clock 700 Max Resolution (DP 1.1a, HDMI 1.4b) 3840×2160 @30 Hz, 2560×1600 @60; 24 bpp eDP 1.4 Max 2560×1600 @60; 24bpp Junction temp. range 0C-90C Dimensions 52.8mm x 40mm Max. height from carrier 6.1mm to 8.6mm (depending on DF40 1.5-4.0 mm mating height on carrier board) Mechanical fastening 3 x M1.8 mechanical holes DDR-3L Onboard one channel (1GByte version) and dual channel (all other) DDR3L 1600Mbps , up to 8GByte total Network Onboard 10/100/1000 Mbps (RTL8111G) -
Press Release 26.2.2019
Press Release 26.2.2019 Media Contacts: Jake Jones [email protected] SolidRun Announces Its First 16 Core Networking COM Express type 7 Platform Harnessing NXP’s Robust QorIQ® Layerscape® LX2160A processor CEx7 LX2160A COM Express module developed in partnership with NXP will be offered as a COM, an SBC and evaluation board – boasting unparalleled performance for high-end network computing applications. Nuremberg, February 26, 2019 – SolidRun, a leading developer of high-performance and energy- efficient embedded edge computing solutions is today announcing the new CEx7 LX2160A. The new module, built in partnership with NXP, harnesses the outstanding network computing power of NXP’s LX2160A 16 core Arm® Cortex®-v8 A72 processor developed on a modular COM Express type 7 standard form factor. CEx7 LX2160A was designed for high-end network and edge computing applications, including switch management, software defined network, and software based dataplane, server offload, network security solutions, white box switching, eNodeB L2/L3 compute node and network storage solutions. Based on the advanced 16 core NXP LX2160A Arm® v8 Cortex®-A72 processor, the new COM Express Type 7 module from SolidRun supports up to 2.2GHz CPU clock with high-end networking accelerators and connectivity features. Implemented in low-power 16 FinFET Compact, this powerful 64-bit Arm based platform offers support for 100 Gigabit with up to 16 Ethernet ports, supporting on board 64-bit DDR4 (up to 64GB),with ECC, and DPDK. The module also features 18 lane PCIe gen 4.0 (6 controllers), two SATA ports, two USB 3.0 ports with a total of 24 muxed SERDESs. -
Microsom I2 Dual Core Som (System-On-Module)
NXP-Freescale i.MX6 MicroSoM i2 Dual Core SoM (System-On-Module) SolidRun Ltd. 3 Dolev st., 3rd floor, P.O. Box 75 Migdal Tefen 2495900, Israel. Simple. Robust. Computing Solutions www.solid-run.com MicroSoM i2 Data Sheet Overview Expands the capabilities of the single core SOM-i1 with a dual lite CPU and 1GByte of DRAM. MicroSoM i2 Highlighted Features: • Based on NXP’s iMX6 Dual-lite Core SoC • 1GB DDR3 • Small size 47mm×30mm • Variety of temperature grades: - Commercial 0°C...60°C - Extended-20°C...70°C - Industrial -40°C...85°C - Automotive -40°C...105°C • Long longevity of 10 years • Low power consumption © SolidRun Ltd. 2016 3 Dolev St., 3rd floor, P.O. Box 75, Migdal Tefen 2495900, Israel / 2 MicroSoM i2 Data Sheet System Specifications i.MX6 Dual-lite Processor core Dual core ARM A9 Processor speed 1GHz (up to 1.2GHz) Floating Point VFPv3 SIMD NEON Graphics Processing Unit Vivante GC880 3D GPU Support OpenGL ES 1.1/2.0 HW Video Dec/Enc Multi Format Memory 64 bit, 1GB DDR3 @ 800Mbps Wired Network 10/100/1000 Mbps* Wireless Network Optional Bluetooth Optional Display Max resolution HDMI: 1080p, LCD: WUXGA (1920×1200) Display Interfaces LVDS, HDMI 1.4, DSI, Parallel Dual display support Supported External Storage NOR-Flash, eMMC, SD/microSD, PCIe SSD SD/MMC 3 USB 2.0 host 1 USB OTG 1 Serial ports 3 Digital audio serial interface 1 Camera interface port 2 Lane CSI CAN bus ** S-ATA – PCI-Express 2.0 ×1 Second Ethernet Via PCIe or USB NIC I2C 3 SPI 3 PWM 4 © SolidRun Ltd. -
Debian GNU/Linux Installation Guide
Debian GNU/Linux Installation Guide July 31, 2021 Debian GNU/Linux Installation Guide Copyright © 2004 – 2021 the Debian Installer team This manual is free software; you may redistribute it and/or modify it under the terms of the GNU General Public License. Please refer to the license in Appendix F. Build version of this manual: 20210730. i Contents 1 Welcome to Debian 1 1.1 What is Debian? . 1 1.2 What is GNU/Linux? . 1 1.3 What is Debian GNU/Linux? . 2 1.4 What is the Debian Installer? . 3 1.5 Getting Debian . 3 1.6 Getting the Newest Version of This Document . 3 1.7 Organization of This Document . 3 1.8 About Copyrights and Software Licenses . 4 2 System Requirements 5 2.1 Supported Hardware . 5 2.1.1 Supported Architectures . 5 2.1.2 Three different ARM ports . 6 2.1.3 Variations in ARM CPU designs and support complexity . 6 2.1.4 Platforms supported by Debian/armhf . 6 2.1.5 Platforms no longer supported by Debian/armhf . 8 2.1.6 Multiple Processors . 8 2.1.7 Graphics Hardware Support . 8 2.1.8 Network Connectivity Hardware . 8 2.1.9 Peripherals and Other Hardware . 8 2.2 Devices Requiring Firmware . 8 2.3 Purchasing Hardware Specifically for GNU/Linux . 9 2.3.1 Avoid Proprietary or Closed Hardware . 9 2.4 Installation Media . 9 2.4.1 CD-ROM/DVD-ROM/BD-ROM . 9 2.4.2 Network . 10 2.4.3 Hard Disk . 10 2.4.4 Un*x or GNU system . -
Internet of Things Workshop with Arduino
A CC licensed workshop by @tamberg, first held 07.07.2012 at SGMK MechArtLab Zürich, Switzerland, in collaboraon with Zürich IoT Meetup, Perey Research & ConsulDng, Thomas Brühlmann and SGMK. Internet of Things Workshop with Arduino @tamberg, 11.09.2014 This work by h=p://tamberg.org/ is licensed under a Creave Commons A=ribuDon-ShareAlike 3.0 Unported License. Internet Computers, connected through Internet protocols Display or manipulate documents h=p://blog.com/2011-09-15/todays-post.html Internet of Things (IoT) Computers, sensors and actuators connected through Internet protocols Measure or manipulate physical proper:es h=p://e-home.com/tamberg/kitchen/light Internet-connected devices John Romkey’s Toaster (1990, Ethernet) BERG’s Li=le Printer (2011, ?) Ambient Orb (2002, via pager network) Supermechanical’s Twine (2012, Wifi) iPod (2001), iTunes Store (2003, via USB/PC) Olly & Polly (2012, via USB/PC) Nike+ iPod (2006), Bracelet (2008 via USB/PC) Koubachi Sensor (2012, Wifi) Rafi Haladjian’s Nabaztag (2006, Wifi) DescripDve Camera (2012, Ethernet) Rob Faludi’s Botanicalls (2006, Ethernet) Schulze&Webb Availabot (2006, via USB/PC) iPhone (2007, GSM) Amazon Kindle (2007, 3G) Wafaa Bilal’s Shoot an Iraqi (2007, ?) Withings BodyScale (2008, Wifi) Vitality GlowCap (2008, Wifi; 2011, 3G) BakerTweet (2009, 3G) Adrian McEwen’s Bubblino (2009, Ethernet) David Bowen’s Telepresent Water (2011, ?) Nest Thermostat (2011, Wifi) IoT reference model IoT hardware Any Internet-connected computer with an interface to the real world (sensors, actuators) Small => can be embedded into things Small computer = microcontroller (or board), e.g. Arduino, Netduino Plus, BeagleBone, … Note: connecDng your board to the Internet via a desktop PC and USB is also fine, just a bit overkill IoT hardware h=p://arduino.cc/ h=p://beagleboard.org/ h=p://netduino.com/ bone netduinoplus Note: Thanks to TCP/IP & HTTP, any client can talk to any service, no maer which hardware you choose IoT infrastructure services Thingspeak and Xively to store and use sensor measurements e.g.