DOCSLIB.ORG

Volume 41 Number 2 June 2020

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Volume 41 Number 2 June 2020 To receive the Ada User Journal, apply to Ada-Europe at: http://www.ada -europe.org/join ADA Volume 41 USER Number 2 June 2020 JOURNAL Contents Page Editorial Policy for Ada User Journal 62 Editorial 63 Quarterly News Digest 64 Conference Calendar 89 Forthcoming Events 97 Article from the 10th Ada Developer Room at FOSDEM 2020 M. Stein “Spunky, a Genode Kernel in Ada/SPARK” 99 Articles from the Industrial Track of AEiC 2020 T. A. Beyene, C. Herrera “Integrated Formal Analysis for Ada Programs” 103 F. Gómez, M. Masmano, V. Nicolau, J. Andersson, J. Le Rhun, D. Trilla, F. Gallego, G. Cabo, J. Abella “De-RISC – Dependable Real-Time Infrastructure for Safety-Critical Computer Systems” 107 Y. Valiente, P. Balbastre, F. Gómez, L. Rioux, R. Henia “Time4PS: Fully Integrated Development Toolset for Partitioned Systems” 113 Puzzle J. Barnes “The problem of the Greek Cross” 117 Ada-Europe Associate Members (National Ada Organizations) 118 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 41, Number 2, June 2020 64 Quarterly News Digest Alejandro R. Mosteo Centro Universitario de la Defensa de Zaragoza, 50090, Zaragoza, Spain; Instituto de Investigación en Ingeniería de Aragón, Mariano Esquillor s/n, 50018, Zaragoza, Spain; email: [email protected] Finally, Jeremy Grosser has put together a From: Pat Rogers <[email protected]> searchable (and cloneable) archive of all Subject: Request for WG 9 participation and Contents posts to comp.lang.ada since 1982, with Ada 202x draft standard review synchronization moving forward [5]. Date: Fri, 22 May 2020 13:43:22 -0700 Preface by the News Editor 64 Newsgroups: comp.lang.ada Sincerely, Ada-related Events 64 To Whom It May Concern, Ada in Education 65 Alejandro R. Mosteo. Ada-related Resources 67 On behalf of ISO JTC 1/SC 22/WG 9, the Ada-related Tools 68 [1] “PTC ObjectAda 10.2”, in Ada-related working group responsible for the ISO Ada-related Products 72 Products. Ada standard, I am writing to make two Ada and Operating Systems 73 [2] “AdaCore GNAT Community Edition very important requests regarding the Ada Ada and Other Languages 75 2020”, in Ada-related Tools. language. Please forward this message to Ada Practice 76 [3] “Script-like Jobs in Ada (Ideas for whomever you think is most appropriate Ada in Jest 86 HAC)”, in Ada Practice. within your organization if you are not that person. For that matter, if you know [4] “Jupyter Kernel for Ada”, in Ada and someone outside your organization please [Messages without subject/newsgroups Education. feel free to forward this note to them. are replies from the same thread. [5] “Searchable comp.lang.ada Archive My first request is that you consider Messages may have been edited for minor Since 1982”, in Ada-related Resources. proofreading fixes. Quotations are joining WG 9 as an official member trimmed where deemed too broad. (unless you are already a member, of Sender’s signatures are omitted as a Ada-related Events course). WG 9 is responsible for the general rule. --arm] technical content and direction of the evolution of the ISO Ada standard. Your Adalog Webinar on Formal inputs would directly affect both. Methods with Ada and Preface by the News Participation involves attending two Editor Spark meetings per year, either in person or remotely (virtually). One meeting is held Dear Reader, [Past event, for the record. --arm] in the United States, usually in the Fall, In this new section opening the News From: "J-P. Rosen" <[email protected]> and one in Europe, immediately after the Digest I would like to highlight a few Subject: [Ann] Adalog Webinar on formal annual Ada Europe conference each topics in the current number that I found methods with Ada and SPARK Summer. Activities include reviewing and personally more interesting, or out of the Date: Tue, 5 May 2020 12:16:22 +0200 voting on the content of the ARG ordinary, or particularly relevant for some Newsgroups: comp.lang.ada language proposals, setting the direction reason. for the language as it evolves, and Adalog is pleased to announce a training anything pertinent to your specific On this occasion, compilers are the stars session as a 3-day webinar, May 27th to interests and backgrounds, such as of the show. PTC has announced the 29th, about using formal methods with creating technical reports, liaising with release of ObjectAda 10.2, which Ada and SPARK. other Working Groups for others becomes the second compiler with full This webinar is organized in cooperation languages and reports (e.g., the report on Ada 2012 support [1]. Meanwhile, the with Ran Ettinger, a specialist in formal language vulnerabilities), and so on. announcement of a new GNAT methods and professor at Ben-Gurion Community Edition is always exciting Participation requires ISO membership. University and Academic College of Tel Membership in ISO committees and [2], but this year we are also witnessing Aviv. the fast progress of the HAC compiler. working groups is organized in terms of The topic on future directions and It will be given in French/English national bodies, managed by entities specific to each country. Your blurring the lines between compilation All details (in French) available from: and scripting [3] puts the spot on the membership in WG 9, therefore, would many possibilities that this new open https://adalog.fr/fr/ entail whatever the managing entity for source Ada compiler may bring to the formation_adaspark.html your specific country requires. table. For example, in the United States, ISO In a related vein, the prototype for Jupyter Request for WG 9 participation is managed by INCITS, the notebooks with Ada posted to the Participation and Ada 202x InterNational Committee for Information Telegram Ada group [4] shows the Draft Standard Review Technology Standards potential of script-like capabilities for the (http://www.incits.org/). Membership in use of Ada in learning/presentation [The deadline for contributions is closed, INCITS is organized in terms of contexts. Incidentally, this Telegram topic but attaining membership for future individual corporations, with individuals is the first one to appear from that source occasions is timeless. --arm] from within those companies designated in the News Digest. as representatives to ISO committees. Volume 41, Number 2, June 2020 Ada User Journal Ada and Education 65 INCITS charges an annual membership scale, highly parallel, distributed and/or > This is not out yet, but it looks fee per company. Other countries have cloud applications. interesting and is due at the end of the other requirements. month: The workshop will be part of SPLASH I will be happy to help facilitate your 2020 Conference, on November 15-20. > https://www.springer.com/us/book/ membership in any way I can. The conference is tentatively planned to 9781484254271 take place in Chicago, but may be hosted > Please feel free to ask. virtually, or a combination thereof, depending on the evolution of the > Is the author the same Andrew Shvets My second request, again on behalf of who posts here sometimes? WG 9, is for your comments on the Ada COVID-19 pandemic. > 202x draft standard. We are currently accepting proposals for As you may know, the next revision, presentations, due by September 4th. The > Andrew if you're here, what does the known informally as Ada 202x, is workshop program committee will select book cover in terms of e.g. new Ada expected to be completed in the next presentations and organize them into features, SPARK, etc.? several months. There are a number of sessions. > important additions to the language, and Attendees wishing to present at the your expertise in reviewing these > It's great that new books are coming out workshop should prepare extended about Ada. proposals would be invaluable. abstracts (approx. 2-4 pages) for the If you can, please send your written proposed presentations. Full papers (6-8 I just stumbled across this thread (I comments by 7 June, 2020, which will pages) are also acceptable. haven't been here a while). Hence the very late reply. give us time prior to the next WG 9 Key areas of interest include: meeting to analyze them. The book is pretty much the same as my • Safe and Productive Languages and "Introduction to Ada Programming". The You can use the following links to access Frameworks for the development of the draft standard and the AIs. one key advantage in the Apress version structured parallel and/or distributed is that the Index is much much much The Annotated Ada 202X Reference applications (e.g. Rust, Concurrent better now. Also, I feel like the formatting Manual: Collections, Ada 202X, Parsl) is vastly improved than what it was • Broadly available technologies to before. http://www.ada-auth.org/standards/ support large dataset analysis and 2xaarm/html/AA-TOC.html machine learning workloads (e.g. Lastly, by going with Apress, it improves TensorFlow, Apache Spark) the status and visibility of Ada. It's no The Ada 202X Reference Manual, absent longer the language of someone that the annotations: • Practical tools for applying static programmed when Reagan was president. http://www.ada-auth.org/standards/ analysis and formal methods to parallel It gives it a new feel of vitality and drives 2xrm/html/RM-TOC.html and/or distributed/cloud applications home the point that Ada is not "dead". (e.g. SPARKProver, Java Pathfinder) I'm under contract with Apress for a 2nd The list of AIs: http://ada-auth.org/ • Underlying Portability Frameworks to AI12-VOTING.HTML edition for this book. That one will have support higher level capabilities (e.g. much more information (such as a chapter For convenience, the Annotated Ada 2012 OpenMP, OpenACC, OpenCL, MPI) on making GUIs).
Load more

Recommended publications
  • Cisco SD-WAN Command Reference Americas Headquarters Cisco Systems, Inc
    Cisco SD-WAN Command Reference Americas Headquarters Cisco Systems, Inc. 170 West Tasman Drive San Jose, CA 95134-1706 USA http://www.cisco.com Tel: 408 526-4000 800 553-NETS (6387) Fax: 408 527-0883 THE SPECIFICATIONS AND INFORMATION REGARDING THE PRODUCTS IN THIS MANUAL ARE SUBJECT TO CHANGE WITHOUT NOTICE. ALL STATEMENTS, INFORMATION, AND RECOMMENDATIONS IN THIS MANUAL ARE BELIEVED TO BE ACCURATE BUT ARE PRESENTED WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED. USERS MUST TAKE FULL RESPONSIBILITY FOR THEIR APPLICATION OF ANY PRODUCTS. THE SOFTWARE LICENSE AND LIMITED WARRANTY FOR THE ACCOMPANYING PRODUCT ARE SET FORTH IN THE INFORMATION PACKET THAT SHIPPED WITH THE PRODUCT AND ARE INCORPORATED HEREIN BY THIS REFERENCE. IF YOU ARE UNABLE TO LOCATE THE SOFTWARE LICENSE OR LIMITED WARRANTY, CONTACT YOUR CISCO REPRESENTATIVE FOR A COPY. The Cisco implementation of TCP header compression is an adaptation of a program developed by the University of California, Berkeley (UCB) as part of UCB's public domain version of the UNIX operating system. All rights reserved. Copyright © 1981, Regents of the University of California. NOTWITHSTANDING ANY OTHER WARRANTY HEREIN, ALL DOCUMENT FILES AND SOFTWARE OF THESE SUPPLIERS ARE PROVIDED “AS IS" WITH ALL FAULTS. CISCO AND THE ABOVE-NAMED SUPPLIERS DISCLAIM ALL WARRANTIES, EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, THOSE OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OR ARISING FROM A COURSE OF DEALING, USAGE, OR TRADE PRACTICE. IN NO EVENT SHALL CISCO OR ITS SUPPLIERS BE LIABLE FOR ANY INDIRECT, SPECIAL, CONSEQUENTIAL, OR INCIDENTAL DAMAGES, INCLUDING, WITHOUT LIMITATION, LOST PROFITS OR LOSS OR DAMAGE TO DATA ARISING OUT OF THE USE OR INABILITY TO USE THIS MANUAL, EVEN IF CISCO OR ITS SUPPLIERS HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
    [Show full text]
  • GNU Findutils Finding Files Version 4.8.0, 7 January 2021
    GNU Findutils Finding files version 4.8.0, 7 January 2021 by David MacKenzie and James Youngman This manual documents version 4.8.0 of the GNU utilities for finding files that match certain criteria and performing various operations on them. Copyright c 1994{2021 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled \GNU Free Documentation License". i Table of Contents 1 Introduction ::::::::::::::::::::::::::::::::::::: 1 1.1 Scope :::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 1.2 Overview ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 2 2 Finding Files ::::::::::::::::::::::::::::::::::::: 4 2.1 find Expressions ::::::::::::::::::::::::::::::::::::::::::::::: 4 2.2 Name :::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 4 2.2.1 Base Name Patterns ::::::::::::::::::::::::::::::::::::::: 5 2.2.2 Full Name Patterns :::::::::::::::::::::::::::::::::::::::: 5 2.2.3 Fast Full Name Search ::::::::::::::::::::::::::::::::::::: 7 2.2.4 Shell Pattern Matching :::::::::::::::::::::::::::::::::::: 8 2.3 Links ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 8 2.3.1 Symbolic Links :::::::::::::::::::::::::::::::::::::::::::: 8 2.3.2 Hard Links ::::::::::::::::::::::::::::::::::::::::::::::: 10 2.4 Time
    [Show full text]
  • Pvlibprotect T1 Extunderscore Python Documentation
    PVLIB_Python Documentation Release 0.3.1+0.g73e1df1.dirty Sandia National Labs, Rob Andrews, University of Arizona, github contributors Apr 20, 2016 Contents 1 Citing pvlib-python 3 2 Contents 5 2.1 Package Overview............................................5 2.2 What’s New............................................... 12 2.3 Installation................................................ 18 2.4 Contributing............................................... 21 2.5 Time and time zones........................................... 22 2.6 Modules................................................. 33 2.7 Classes.................................................. 82 2.8 Comparison with PVLIB MATLAB................................... 90 2.9 Variables and Symbols.......................................... 91 3 Indices and tables 93 Python Module Index 95 i ii PVLIB_Python Documentation, Release 0.3.1+0.g73e1df1.dirty pvlib-python provides a set of documented functions for simulating the performance of photovoltaic energy systems. The toolbox was originally developed in MATLAB at Sandia National Laboratories and it implements many of the models and methods developed at the Labs. More information on Sandia Labs PV performance modeling programs can be found at https://pvpmc.sandia.gov/. The source code for pvlib-python is hosted on github. Please see the Installation page for installation help. For examples of how to use pvlib-python, please see Package Overview and our Jupyter Notebook tutorials. The doc- umentation assumes general familiarity with Python,
    [Show full text]
  • DHCP Timezone Option
    draft-lear-dhc-timezone-option-02.txt Eliot Lear Paul Eggert DHC Working Group IETF 65 Motivation There is no timezone option for DHCPv6 What’s there in v4 isn’t used and is somewhat limited What’s Wrong With An Offset Clients cannot determine if they are in DST or when to go into or out of DST Clients cannot determine the current timezone they are in Client operating systems may not be able to use the information There *IS* a standard for this stuff, right!?! There are FOUR standards to describe timezone information IEEE 1003.1-POSIX TZ strings The “TZ Database” Microsoft TimeZone Elements VTIMEZONE entries from RFC 2445 The Draft Option with suboptions POSIX strings mandatory, everything else optional POSIX Strings Provides forward/backward consistency until a rule change Understood by UNIX systems Concise - no database needed Example TZ=”EST5EDT4,M3.2.0/02:00,M11.1.0/02:00” The TZ Database Forward and backward consistency and accuracy of time zone information to 1970 Used by default for most UNIX systems (FreeBSD, Linux, OS-X, Solaris) and some JVMs Index passed Example: • America/Central Microsoft TimeZone Element <TimeZone ID="13" Name="(GMT-08:00) Pacific Time (US and Canada); Tijuana" Hidden="FALSE"> <Bias>480</Bias> <StandardTime> <Bias>0</Bias> <Date> <Month>10</Month> <Day>5</Day><Hour>2</Hour> </Date> </StandardTime> <DaylightTime> <Bias>-60</Bias> <Date> <Month>4</Month><Day>1</Day><Hour>2</Hour> </Date> </DaylightTime> </TimeZone> Microsoft TimeZone Element (Ctd) Only the index is needed (two bytes) Similar information to POSIX
    [Show full text]
  • Ordering the Chaos [email protected] FURMANEKADAM
    Ordering the Chaos [email protected] HTTP://BLOG.ADAMFURMANEK.PL FURMANEKADAM 19.08.2021 ORDERING THE CHAOS - ADAM FURMANEK 1 About me Software Engineer, Blogger, Book Writer, Public Speaker. Author of Applied Integer Linear Programming and .NET Internals Cookbook. http://blog.adamfurmanek.pl [email protected] furmanekadam 19.08.2021 ORDERING THE CHAOS - ADAM FURMANEK 2 Agenda What is time? Using clock in computer science. Avoiding clock in computer science. Real implementation. Going beyond time. 19.08.2021 ORDERING THE CHAOS - ADAM FURMANEK 3 What is time? 19.08.2021 ORDERING THE CHAOS - ADAM FURMANEK 4 What is time There is no one global time. Each machine has its own clock. There is a delay between reading the clock value and processing it. Clocks can differ between readers (Special Theory of Relativity by Einstein). Clocks break over time (clock drift). Best of them have drift rate around 10−13 second. Standard second is defined as 9,192,631,770 periods of transition between the two hyperfine levels of the ground state of Caesium-133. Coordinated Universal Time (UTC) is based on atomic time. It is synchronized and broadcasted regularly. Signal can be received with accuracy to about 1 microsecond. 19.08.2021 ORDERING THE CHAOS - ADAM FURMANEK 5 What is timezone Not (only) a UTC offset! Region of the globe observing a uniform standard time. Most of the times it is a whole number of hours offset but can be 30 or 45 minutes. Specifies offset and Daylight Saving Time (DST) shifts rules. DST can start at various times of day (2:00 AM, midnight, 0:05 AM) and times of year (as early as March and as late as June).
    [Show full text]
  • Arrow Documentation Release 0.11.0
    Arrow Documentation Release 0.11.0 Chris Smith May 12, 2017 Contents 1 What? 1 2 Why? 3 3 Features 5 4 Quickstart 7 5 User’s Guide 9 5.1 Creation.................................................9 5.2 Properties................................................. 10 5.3 Replace & shift.............................................. 10 5.4 Format.................................................. 11 5.5 Convert.................................................. 11 5.6 Humanize................................................. 11 5.7 Ranges & spans............................................. 12 5.8 Factories................................................. 13 5.9 Tokens.................................................. 13 6 API Guide 15 6.1 arrow.arrow................................................ 15 6.2 arrow.factory............................................... 23 6.3 arrow.api................................................. 25 6.4 arrow.locale................................................ 25 Python Module Index 27 i ii CHAPTER 1 What? Arrow is a Python library that offers a sensible, human-friendly approach to creating, manipulating, formatting and converting dates, times, and timestamps. It implements and updates the datetime type, plugging gaps in functionality, and provides an intelligent module API that supports many common creation scenarios. Simply put, it helps you work with dates and times with fewer imports and a lot less code. Arrow is heavily inspired by moment.js and requests. 1 Arrow Documentation, Release 0.11.0 2 Chapter
    [Show full text]
  • Internet Engineering Task Force (IETF) E
    Internet Engineering Task Force (IETF) E. Lear Request for Comments: 6557 Cisco Systems GmbH BCP: 175 P. Eggert Category: Best Current Practice UCLA ISSN: 2070-1721 February 2012 Procedures for Maintaining the Time Zone Database Abstract Time zone information serves as a basic protocol element in protocols, such as the calendaring suite and DHCP. The Time Zone (TZ) Database specifies the indices used in various protocols, as well as their semantic meanings, for all localities throughout the world. This database has been meticulously maintained and distributed free of charge by a group of volunteers, coordinated by a single volunteer who is now planning to retire. This memo specifies procedures involved with maintenance of the TZ database and associated code, including how to submit proposed updates, how decisions for inclusion of those updates are made, and the selection of a designated expert by and for the time zone community. The intent of this memo is, to the extent possible, to document existing practice and provide a means to ease succession of the database maintainers. Status of This Memo This memo documents an Internet Best Current Practice. This document is a product of the Internet Engineering Task Force (IETF). It represents the consensus of the IETF community. It has received public review and has been approved for publication by the Internet Engineering Steering Group (IESG). Further information on BCPs is available in Section 2 of RFC 5741. Information about the current status of this document, any errata, and how to provide feedback on it may be obtained at http://www.rfc-editor.org/info/rfc6557.
    [Show full text]
  • Computer System Time and Network Time Synchronization How to Handle Leap Seconds
    SGNOG7 @One Farrer Hotel & Spa Computer System Time and Network Time Synchronization How To Handle Leap Seconds July 12th, 2019 Junko Nozaki Seiko Solutions Inc. ©2019 Seiko Solutions Inc. All rights reserved. Seiko as Time Solution Provider The origin of Seiko as time solution provider dates back to 1881 when K. Hattori started a clock shop. We have more than 130 years of history providing precise time solution with cutting edge products such as clock, watch and electronic. Company SEIKO SOLUTIONS INC. Established December 13, 2012 Business Starting Date April 1, 2013 Location 1-8 Nakase, Mihama-ku, Chiba City Capital 500 million yen Stockholder 100% by Seiko Holdings Corporation Employee Approx. 700 CEO President Mr. Jun Sekine Head Office in Japan ©2019 Seiko Solutions Inc. All rights reserved. Accurate time and frequency are the foundation of information and communications, as well as the foundation of academic, industrial, and safe social life. Tetsuya Ido Director of NICT Space-Time Standards Laboratory (NICT: Japan National Institute of Information and Communications Technology) 正確な時刻と周波数は、情報通信の基盤であるとともに、学術、産業、安心安全な社会生活の基盤です。 http://www2.nict.go.jp/sts/lab/index.html ©2019 Seiko Solutions Inc. All rights reserved. What is Computer Time ? Question : What is the definition of time to computers? We start from this point??? Yes, we need some abstraction to explore! (POSIX.1 A.4.16, ITU-T G.810, IEEE1588-2008 etc.) Answer : A continuously and truly monotonically increasing value that does not jump or regress. ©2019 Seiko Solutions Inc. All rights reserved. What is Computer Time? It is measured by the elapsed time from Epoch Epoch Starting point to measure the elapsed time 12:00:00 am of January 1st, 1970 in UTC Elapsed time SI second is used to measure elapsed time from Epoch SI second Physical quantity determined by a certain change time of cesium atom ©2019 Seiko Solutions Inc.
    [Show full text]
  • DHCP Scope Options Guide for IP Clocks
    DHCP Scope Options Guide for IP Clocks All of the information necessary for a Valcom IP Clock to operate can be obtained through Dynamic Host Configuration Protocol (DHCP). If the IP Clock has been programmed to use DHCP for its IP address, then it will also request options from the DHCP server to set its time server, time zone, etc. In addition to the normal DHCP settings for IP address, subnet mask and gateway, there are other options related to network time that must be set in the DHCP server. These options are outlined below. Due to the variety of DHCP servers in use, it is beyond the scope of this document to provide instructions on how to specify these options in a particular server. Option 42 NTP Servers are listed by IP address using option 42. This is a standard option defined in RFC 2132. Option 100 or Option 101 Option 100 (Time zone POSIX string) or Option 101 (Time zone database reference) must be used to define the time zone for the clock display. These options are defined in RFC 4833. Either or both of these options may be used with Valcom IP devices. Option 100 provides a POSIX text string that defines the time zone offset from UTC, along with information on Daylight Saving Time. An example of this definition for the Eastern time zone in America is ”EST5EDT4,M3.2.0/02:00,M11.1.0/02:00”. This specifies a time zone 5 hours behind UTC (four hours during DST). DST starts at 2:00 am on the second Sunday in March and ends at 2:00 am on the first Sunday in November.
    [Show full text]
  • Supporting the Import of Sensor Data Into the Sensor Web Study Project
    Supporting the Import of Sensor Data into the Sensor Web Study Project Raimund Schnürer M.Sc. Geoinformatics Student Supervisors: Dipl.-Geoinf. Simon Jirka Dipl.-Geoinf. Eike Hinderk Jürrens Examiners: Prof. Dr. Werner Kuhn Dr. Albert Remke 1 Contents 1. Introduction .................................................................................................................... 5 2. Requirement Analysis .................................................................................................... 5 2.1. Users....................................................................................................................... 5 2.2. Use Cases .............................................................................................................. 6 2.3. Quality requirements ............................................................................................... 6 3. Conception .................................................................................................................... 7 3.1. Project phases ........................................................................................................ 7 3.2. Input Data ............................................................................................................... 7 3.3. Workflow ................................................................................................................. 8 3.4. Output Data ............................................................................................................. 9 3.5. Sensor Web
    [Show full text]
  • Package 'Tzupdater'
    Package ‘tzupdater’ October 11, 2020 Type Package Title Time Zone Database Updater Version 0.1.2 Author Sebastien Thonnard Maintainer Sebastien Thonnard <[email protected]> Description Download and compile any version of the IANA Time Zone Database (also known as Olson database) and make it current in your R session. Beware: on Windows 'Cygwin' is required! License MIT + file LICENSE Encoding UTF-8 LazyData true RoxygenNote 7.1.0 Imports utils NeedsCompilation no Repository CRAN Date/Publication 2020-10-11 10:00:02 UTC R topics documented: get_active_tz_db . .2 get_last_published_tz . .2 install_last_tz . .3 install_tz . .4 tzupdater . .5 Index 6 1 2 get_last_published_tz get_active_tz_db get_active_tz_db Description Get the active tz database version Usage get_active_tz_db() Value Active tz database for the current session. Examples # Get the active tz database in your session: get_active_tz_db() get_last_published_tz get_last_published_tz Description Get the name of the latest version available at IANA website. Usage get_last_published_tz() Value Latest IANA tz db version name or Unknown if not found. Examples # Will return for instance "2019c" get_last_published_tz() install_last_tz 3 install_last_tz install_last_tz Description Install latest tz database if required, and make it active. Will stop in case it is not possible to know what the last version is. If it happens browse IANA website at https://www.iana.org/time-zones and install last version with install_tz(version). ?install_tz for details. Usage install_last_tz( zic_path = NA, target_folder = paste0(tempdir(), "/tzupdater/data/IANA_release"), verbose = TRUE ) Arguments zic_path Optional for Windows: path to the zic compiler (if not in C:\Cygwin\usr\sbin). target_folder Optional target folder. Default will be tzupdater/data/IANA_release as subdi- rectory of your temp dir.
    [Show full text]
  • OBIX Version 1.1
    1 2 OBIX Version 1.1 3 Working Draft 06 4 08 June 2010 5 Specification URIs: 6 This Version: 7 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-05.html 8 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-05.doc 9 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-05.pdf 10 Previous Version: 11 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-04.html 12 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-04.doc 13 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-04.pdf 14 Latest Version: 15 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-05.html 16 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-05.doc 17 http://docs.oasis-open.org/oBIX/v1.1/oBIX-1.0-spec-wd-05.pdf 18 Technical Committee: 19 OASIS Open Building Information Exchange TC 20 Chair(s): 21 Toby Considine 22 Editor(s): 23 Brian Frank 24 Related work: 25 This specification replaces or supersedes: 26 OASIS oBIX Committee Specification 1.0 27 This specification is related to: 28 OASIS Specification WS-Calendar V1.1, in process 29 30 Declared XML Namespace(s): 31 http://docs.oasis-open.org/oBIX/2010interim 32 Abstract: 33 This document specifies an object model and XML format used for machine-to-machine (M2M) 34 communication 35 Status: 36 This document was last revised or approved by the Open Building Information Exchange 37 Exchange Technical Committee on the above date.
    [Show full text]