Conference Reports ELECTRONIC SUPPLEMENT
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Development of a Verified Flash File System ⋆
Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨orgPf¨ahler,Dominik Haneberg, and Wolfgang Reif Institute for Software & Systems Engineering University of Augsburg, Germany fschellhorn,ernst,joerg.pfaehler,haneberg,reifg @informatik.uni-augsburg.de Abstract. This paper gives an overview over the development of a for- mally verified file system for flash memory. We describe our approach that is based on Abstract State Machines and incremental modular re- finement. Some of the important intermediate levels and the features they introduce are given. We report on the verification challenges addressed so far, and point to open problems and future work. We furthermore draw preliminary conclusions on the methodology and the required tool support. 1 Introduction Flaws in the design and implementation of file systems already lead to serious problems in mission-critical systems. A prominent example is the Mars Explo- ration Rover Spirit [34] that got stuck in a reset cycle. In 2013, the Mars Rover Curiosity also had a bug in its file system implementation, that triggered an au- tomatic switch to safe mode. The first incident prompted a proposal to formally verify a file system for flash memory [24,18] as a pilot project for Hoare's Grand Challenge [22]. We are developing a verified flash file system (FFS). This paper reports on our progress and discusses some of the aspects of the project. We describe parts of the design, the formal models, and proofs, pointing out challenges and solutions. The main characteristic of flash memory that guides the design is that data cannot be overwritten in place, instead space can only be reused by erasing whole blocks. -
Efficiency of Tuna Purse-Seiners and Effective Effort’ « Efficacité Des Senneurs Thoniers Et Efforts Réels » (ESTHER)
SCTB15 Working Paper FTWG–5 ‘Efficiency of Tuna Purse-Seiners and Effective Effort’ « Efficacité des Senneurs Thoniers et Efforts Réels » (ESTHER) 1 Selected Annotated Bibliography Marie-Christine REALES ESTHER Project Document Officer 1 To receive the complete ESTHER ANNEXE BIBLIOGRAPHIQUE, contact Daniel Gaertner, 1 Institute of Research for Develoment (IRD - UR 109), CHMT BP 171, 34203 Séte Cedex, France PROGRAMME DE RECHERCHES N° 98/061 IRD (Institut de Recherches pour le Développement) / IEO (Instituto Español de Oceanografía) ‘Efficiency of Tuna Purse-Seiners and Effective Effort’ « Efficacité des Senneurs Thoniers et Efforts Réels » (ESTHER) ANNEXE BIBLIOGRAPHIQUE Marie-Christine REALES Documentaliste du projet ESTHER 1 SOMMAIRE INTRODUCTION……………………………………………………………………p. 4 I.Méthodologie………………………………………………………..…………….…p. 5 I.1 Etablissement d'une liste de mots-clés……………………………………...………...p. 5 I.2 Sources utilisées………………………………………………………………………p. 5 I.3 Recherche et validation des résultats…………………………………………………p. 7 I.3.1 Interrogation des bases…………………………………………………………p. 7 I.3.2 Evolution de la liste de mots-clés………………………………………………p. 7 I.3.3 Validation des références…………………………………………………...….p. 9 I.3.4 Diffusion des références……………………………………………………..…p. 9 I.4 Transfert des références sous le logiciel bibliographique PROCITE……………….p. 10 II.Quelques adresses de sites sur Internet………………………………….…p. 23 CONCLUSION………………………………………………………….…….……..p. 26 * * * Bibliographie thématique…………………………………………………………p. 3 Fishing Fleet…………………………………………………………………….…….…p. 3 Purse Seiner Technology…………………………………………………….……..……p. 7 Fisher's Behavior…………………………………………………………………….......p. 13 Fish Catch Statistics……………………………………………………………………...p. 18 Fishing Operations……………………………………………………………..………...p. 30 Tuna Behaviour………………………………………………………………..………...p. 34 Models…………………………………………………………………………………...p. 39 2 Bibliographie Thématique FISHING FLEET Abrahams, M.V. ; Healey, M.C., 1993. Some consequences of variation in vessel density : a manipulative field experiment. Fisheries Research , 15 (4) : 315-322. -
Diybio Things: Open Source Biology Tools As Platforms for Hybrid Knowledge Production and Scientific Participation
UC Berkeley UC Berkeley Previously Published Works Title DIYbio things: Open source biology tools as platforms for hybrid knowledge production and scientific participation Permalink https://escholarship.org/uc/item/90h1s0hf ISBN 9781450331456 Authors Kuznetsov, S Doonan, C Wilson, N et al. Publication Date 2015-04-18 DOI 10.1145/2702123.2702235 License https://creativecommons.org/licenses/by-nc-sa/4.0/ 4.0 Peer reviewed eScholarship.org Powered by the California Digital Library University of California Social Media & Citizen Science CHI 2015, Crossings, Seoul, Korea DIYbio Things: Open Source Biology Tools as Platforms for Hybrid Knowledge Production and Scientific Participation Stacey Kuznetsov1, Carrie Doonan2, Nathan Wilson2, Swarna Mohan2, Scott E. Hudson1, Eric Paulos3 Human-Computer Interaction Institute1 Department of Biological Sciences Electrical Engineering and Carnegie Mellon University Carnegie Mellon University2 Computer Sciences3 Pittsburgh, PA, USA Pittsburgh, PA, USA University of California {stace, hudson}@cmu.edu {cbd, njwilson, Berkeley, CA, USA swm}@andrew.cmu.edu [email protected] ABSTRACT members of the general public in various practices that DIYbio (Do It Yourself Biology) is a growing movement of interpret, critique, and construct scientific knowledge. scientists, hobbyists, artists, and tinkerers who practice biology outside of professional settings. In this paper, we One way of orienting this space for HCI is in terms of present our work with several open source DIYbio tools, publics—groups of people who come together around including OpenPCR and Pearl Blue Transilluminator, issues and work towards resolving shared concerns [5]. which can be used to test DNA samples for specific Within this larger framing, we focus on DIYbio (Do It sequences. -
Membrane: Operating System Support for Restartable File Systems Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C
Membrane: Operating System Support for Restartable File Systems Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift Computer Sciences Department, University of Wisconsin, Madison Abstract and most complex code bases in the kernel. Further, We introduce Membrane, a set of changes to the oper- file systems are still under active development, and new ating system to support restartable file systems. Mem- ones are introduced quite frequently. For example, Linux brane allows an operating system to tolerate a broad has many established file systems, including ext2 [34], class of file system failures and does so while remain- ext3 [35], reiserfs [27], and still there is great interest in ing transparent to running applications; upon failure, the next-generation file systems such as Linux ext4 and btrfs. file system restarts, its state is restored, and pending ap- Thus, file systems are large, complex, and under develop- plication requests are serviced as if no failure had oc- ment, the perfect storm for numerous bugs to arise. curred. Membrane provides transparent recovery through Because of the likely presence of flaws in their imple- a lightweight logging and checkpoint infrastructure, and mentation, it is critical to consider how to recover from includes novel techniques to improve performance and file system crashes as well. Unfortunately, we cannot di- correctness of its fault-anticipation and recovery machin- rectly apply previous work from the device-driver litera- ery. We tested Membrane with ext2, ext3, and VFAT. ture to improving file-system fault recovery. File systems, Through experimentation, we show that Membrane in- unlike device drivers, are extremely stateful, as they man- duces little performance overhead and can tolerate a wide age vast amounts of both in-memory and persistent data; range of file system crashes. -
'Do It Yourself Biotechnology' (Diybio) for Open, Inclusive
Do-it-Yourself Healthcare Clinic. Credit: Waag Society ‘Do It Yourself Biotechnology’ (DIYBio) for open, inclusive, responsible Biotechnology This policy brief assesses the potential and challenges of 1) Potential for Inclusivity and Openness in Science “Do-It-Yourself Biotechnology” (DIYBio) for the progression Practitioners of DIYBio, also known as biohackers or DIYBi- of Open Science and Responsible Research and Innovation ologists, aim to ultimately make biotechnology accessible (RRI). It makes recommendations to the European Commis- to anyone. This rapidly growing culture of inclusivity, which sion as to how it can integrate DIYBio into existing science emerged in the United States in the early 2000s, challeng- funding mechanisms and regulatory directives, thereby max- es more conventional academic and industry structures, by imising benefits for European stakeholders. promoting complete access to scientific resources such as in- struments, laboratories and publications. DIYBio activities are conducted in various private and public laboratories outside of traditional academic or corporate in- The aim for a more inclusive and transparent science is also stitutions and are therefore outside the scope of current poli- a key component of the Responsible Research and Innova- cy. The full spectrum of DIYBio activities is also much broader tion10 and Open Science11 policy agendas promoted by the than what is currently understood as Citizen Science. European Commission. As a community built around these values from its inception, the DIYBio movement can be a val- The re-evaluation of funding mechanisms and regulations for uable model for academia as it undergoes a transition to a DIYBio should: more open practice. Case Study 1 (below) describes how the DIYBio space “BioTehna” operationalised openness and inclu- • promote inclusiveness and openness in science, siveness. -
How to Sustain Technology and Make It Profitable While Avoiding IP Conflicts
How to sustain technology and make it profitable while avoiding IP conflicts Harvard Biotechnology Journal Club meeting, Feb 22nd 2017 Julian Daich, fellow at the Wound Healing and Tissue Engineering Lab, BWH, supervised by Dennis Orgill Patents First established in Venice in 1450, patents are a set of exclusive rights granted by a sovereign state to an inventor or assignee for a limited period of time in exchange for detailed public disclosure of an invention Source: Wikipedia A patent – grants a monopoly over a technological niche – does not guarantee freedom to operate – standard formal structure ● State of the art ● Full description of the invention with examples ● Claims- sentences that define the scope to be enforced a patent application has to show novelty and non obviousness – Empowerment. Patents are a legal basis for priority access to a technological niche – Freedom. Patents are a legal stamp that guarantees protection from other patents Defensive vs offensive ● Big corps dealing with ● Big corps pursuing to many technologies and monopolize a niche parties ● Newcomers attempting ● Newcomers attempting to capture a niche to access to an existing ● Non practitioners niche ● Patent trolls ● Technological standards and frameworks ● Can either accelerate or stop innovation ● Do not harm innovation Patent SWOT ● Strengths ● Weakness – Empower to develop – Discourage making new technology developments or – Encourage to share improvements to already knowledge patented technology ● Opportunities ● Threats – Create new technological – Ambigous patents can niches and markets be used to block technology development or to obtain economical benefits at expenses of authentic innovation Patentleft ● Person A has a patent, and licenses it under a patentleft license. -
Hackerspaces and Diybio in Asia: Connecting Science and Community with Open Data, Kits and Protocols
Journal of Peer Production New perspectives on the implications of peer production for social change http://peerproduction.net Hackerspaces and DIYbio in Asia: connecting science and community with open data, kits and protocols Denisa Kera Abstract: Different hacker, maker and DIY activities in recent years form a global culture with alternative networks of knowledge production and sharing, offering a more resilient and pragmatic response to various challenges. This growth of grassroots science and tinkering based on open data, protocols and DIY kits is often understood as part of a geek culture, which has little if any impact on the larger society. The aim here is to discuss hackerspaces as intermediaries and transnational sites offering unique opportunities for translation between scientific knowledge produced in the labs (official academic and research institutions) and the everyday interests, practices and problems of ordinary people in diverse local contexts around the globe. To demonstrate how hackerspaces function as sites of complex negotiations between various forms of knowledge and practice, and to understand how these global flows of kits and DIY protocols work in the local context, we will compare several examples from Asia (Indonesia, Singapore, and Japan). These emergent, alternative R&D centers revive a link between knowledge creation and community building, and problematize the common, “East - West”, “Modern (Industrial) - Post-industrial - Pre-modern (indigenous)” distinctions, often used when knowledge transfer is discussed. By integrating community building with prototype testing, hackerspaces embody a community based innovation that provides a more resilient policy model for societies facing emerging technologies and numerous deep and far reaching environmental and social challenges. -
Elinos Product Overview
SYSGO Product Overview ELinOS 7 Industrial Grade Linux ELinOS is a SYSGO Linux distribution to help developers save time and effort by focusing on their application. Our Industrial Grade Linux with user-friendly IDE goes along with the best selection of software packages to meet our cog linux Qt LOCK customers needs, and with the comfort of world-class technical support. ELinOS now includes Docker support Feature LTS Qt Open SSH Configurator Kernel embedded Open VPN in order to isolate applications running on the same system. laptop Q Bug Shield-Virus Docker Eclipse-based QEMU-based Application Integrated Docker IDE HW Emulators Debugging Firewall Support ELINOS FEATURES MANAGING EMBEDDED LINUX VERSATILITY • Industrial Grade Creating an Embedded Linux based system is like solving a puzzle and putting • Eclipse-based IDE for embedded the right pieces together. This requires a deep knowledge of Linux’s versatility Systems (CODEO) and takes time for the selection of components, development of Board Support • Multiple Linux kernel versions Packages and drivers, and testing of the whole system – not only for newcomers. incl. Kernel 4.19 LTS with real-time enhancements With ELinOS, SYSGO offers an ‘out-of-the-box’ experience which allows to focus • Quick and easy target on the development of competitive applications itself. ELinOS incorporates the system configuration appropriate tools, such as a feature configurator to help you build the system and • Hardware Emulation (QEMU) boost your project success, including a graphical configuration front-end with a • Extensive file system support built-in integrity validation. • Application debugging • Target analysis APPLICATION & CONFIGURATION ENVIRONMENT • Runs out-of-the-box on PikeOS • Validated and tested for In addition to standard tools, remote debugging, target system monitoring and PowerPC, x86, ARM timing behaviour analyses are essential for application development. -
Harris Sierra II, Programmable Cryptographic
TYPE 1 PROGRAMMABLE ENCRYPTION Harris Sierra™ II Programmable Cryptographic ASIC KEY BENEFITS When embedded in radios and other voice and data communications equipment, > Legacy algorithm support the Harris Sierra II Programmable Cryptographic ASIC encrypts classified > Low power consumption information prior to transmission and storage. NSA-certified, it is the foundation > JTRS compliant for the Harris Sierra II family of products—which includes two package options for the ASIC and supporting software. > Compliant with NSA’s Crypto Modernization Program The Sierra II ASIC offers a broad range of functionality, with data rates greater than 300 Mbps, > Compact form factor legacy algorithm support, advanced programmability and low power consumption. Its software programmability provides a low-cost migration path for future upgrades to embedded communications equipment—without the logistics and cost burden normally associated with upgrading hardware. Plus, it’s totally compliant with all Joint Tactical Radio System (JTRS) and Crypto Modernization Program requirements. The Sierra II ASIC’s small size, low power requirements, and high data rates make it an ideal choice for battery-powered applications, including military radios, wireless LANs, remote sensors, guided munitions, UAVs and any other devices that require a low-power, programmable solution for encryption. Specifications for: Harris SIERRA II™ Programmable Cryptographic ASIC GENERAL BATON/MEDLEY SAVILLE/PADSTONE KEESEE/CRAYON/WALBURN Type 1 – Cryptographic GOODSPEED Algorithms* ACCORDION FIREFLY/Enhanced FIREFLY JOSEKI Decrypt High Assurance AES DES, Triple DES Type 3 – Cryptographic AES Algorithms* Digital Signature Standard (DSS) Secure Hash Algorithm (SHA) Type 4 – Cryptographic CITADEL® Algorithms* SARK/PARK (KY-57, KYV-5 and KG-84A/C OTAR) DS-101 and DS-102 Key Fill Key Management SINCGARS Mode 2/3 Fill Benign Key/Benign Fill *Other algorithms can be added later. -
Build Your Own Lab: Do-It-Yourself Biology and the Rise of Citizen Biotech-Economies Morgan Meyer
Build your own lab: Do-it-yourself biology and the rise of citizen biotech-economies Morgan Meyer To cite this version: Morgan Meyer. Build your own lab: Do-it-yourself biology and the rise of citizen biotech-economies. Journal of Peer Production, 2012, 2 (online), 4 p. hal-00710829 HAL Id: hal-00710829 https://hal-mines-paristech.archives-ouvertes.fr/hal-00710829 Submitted on 28 Jun 2013 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Build your own lab » Journal of Peer Production http://peerproduction.net/issues/issue-2/invited-comments/build-... ABOUT ISSUES PEER REVIEW NEWS CONTACT NEW PERSPECTIVES ON THE IMPLICATIONS OF PEER PRODUCTION FOR SOCIAL CHANGE BUILD YOUR OWN LAB Where you are: Home · Issues · Issue #2: Bio/Hardware Hacking · Invited Comments · Build your own lab BUILD YOUR OWN LAB: DO-IT-YOURSELF BIOLOGY AND THE RISE OF CITIZEN BIOTECH-ECONOMIES MORGAN MEYER 1. INTRODUCTION Most articles on garage biology and do-it-yourself (DIY) biology – whether academic papers or media reports – highlight its somewhat “immaterial” cultures or ideologies. The issues usually raised include: the ways in which do-it-yourself biology potentially democratizes science and fosters a citizen science (Wolinsky, 2009), that its practitioners are a “creative proof of the hacker principle” (Ledford, 2010: 650), that the field is an illustration of the open source movement, that concerns about control, security and safety need to be addressed (Sawyer, 2011). -
Filesystem Considerations for Embedded Devices ELC2015 03/25/15
Filesystem considerations for embedded devices ELC2015 03/25/15 Tristan Lelong Senior embedded software engineer Filesystem considerations ABSTRACT The goal of this presentation is to answer a question asked by several customers: which filesystem should you use within your embedded design’s eMMC/SDCard? These storage devices use a standard block interface, compatible with traditional filesystems, but constraints are not those of desktop PC environments. EXT2/3/4, BTRFS, F2FS are the first of many solutions which come to mind, but how do they all compare? Typical queries include performance, longevity, tools availability, support, and power loss robustness. This presentation will not dive into implementation details but will instead summarize provided answers with the help of various figures and meaningful test results. 2 TABLE OF CONTENTS 1. Introduction 2. Block devices 3. Available filesystems 4. Performances 5. Tools 6. Reliability 7. Conclusion Filesystem considerations ABOUT THE AUTHOR • Tristan Lelong • Embedded software engineer @ Adeneo Embedded • French, living in the Pacific northwest • Embedded software, free software, and Linux kernel enthusiast. 4 Introduction Filesystem considerations Introduction INTRODUCTION More and more embedded designs rely on smart memory chips rather than bare NAND or NOR. This presentation will start by describing: • Some context to help understand the differences between NAND and MMC • Some typical requirements found in embedded devices designs • Potential filesystems to use on MMC devices 6 Filesystem considerations Introduction INTRODUCTION Focus will then move to block filesystems. How they are supported, what feature do they advertise. To help understand how they compare, we will present some benchmarks and comparisons regarding: • Tools • Reliability • Performances 7 Block devices Filesystem considerations Block devices MMC, EMMC, SD CARD Vocabulary: • MMC: MultiMediaCard is a memory card unveiled in 1997 by SanDisk and Siemens based on NAND flash memory. -
Conclusions and Overall Assessment of the Bloody Sunday Inquiry Return to an Address of the Honourable the House of Commons Dated 15 June 2010 for The
Principal Conclusions and Overall Assessment of the Principal Conclusions and Overall Return to an Address of the Honourable the House of Commons dated 15 June 2010 for the Principal Conclusions and Overall Assessment of the Bloody Sunday Inquiry The Rt Hon The Lord Saville of Newdigate (Chairman) The Hon William Hoyt OC The Hon John Toohey AC Bloody Sunday Inquiry Published by TSO (The Stationery Office) and available from: The Principal Conclusions and Overall Assessment Online (Chapters 1–5 of the report) are reproduced in this volume www.tsoshop.co.uk This volume is accompanied by a DVD containing the full Mail, Telephone, Fax & E-mail TSO text of the report PO Box 29, Norwich NR3 1GN Telephone orders/General enquiries: 0870 600 5522 Order through the Parliamentary Hotline Lo-Call: 0845 7 023474 Fax orders: 0870 600 5533 E-mail: [email protected] Textphone: 0870 240 3701 The Parliamentary Bookshop 12 Bridge Street, Parliament Square, London SW1A 2JX Telephone orders/General enquiries: 020 7219 3890 Fax orders: 020 7219 3866 Email: [email protected] Internet: www.bookshop.parliament.uk TSO@Blackwell and other Accredited Agents Customers can also order publications from TSO Ireland 16 Arthur Street, Belfast BT1 4GD Telephone: 028 9023 8451 Fax: 028 9023 5401 HC30 £19.50 Return to an Address of the Honourable the House of Commons dated 15 June 2010 for the Principal Conclusions and Overall Assessment of the Bloody Sunday Inquiry The Rt Hon The Lord Saville of Newdigate (Chairman) The Hon William Hoyt OC The Hon John Toohey