DOCSLIB.ORG

Swatch Internet Time from Wikipedia, the Free Encyclopedia

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Swatch Internet Time from Wikipedia, the Free Encyclopedia Swatch Internet Time From Wikipedia, the free encyclopedia Swatch Internet Time (or beat time) is a decimal time concept introduced in 1998 by the Swatch corporation as part of their marketing campaign for their line of "Beat" watches. Instead of hours and minutes, the mean solar day is divided up into 1000 parts called ".beats". Each .beat is equal to one decimal minute in the French Revolutionary decimal time system and lasts 1 minute and 26.4 seconds (86.4 seconds) in standard time. Times are notated as a 3-digit number out of 1000 after midnight. So, @248 would indicate a time 248 .beats after midnight representing 248/1000 of a day, just over 5 hours and 57 minutes. There are no time zones in Swatch Internet Time; instead, the new time scale of Biel Meantime (BMT) is used, based on Swatch's Logo of the Swatch Internet headquarters in Biel, Switzerland and equivalent to Central European Time, West Africa Time, and UTC+01. Unlike civil time in Time Switzerland and many other countries, Swatch Internet Time does not observe daylight saving time. Contents 1 History 1.1 Uses 1.2 Beatnik satellite controversy 2 Description 2.1 Beats 2.2 Time zones 2.3 Notation 2.4 Time unit conversion 2.5 Calculation from UTC+1 3 See also 4 References 5 External links History Swatch Internet Time was announced on October 23, 1998, in a ceremony at the Junior Summit '98, attended by Nicolas G. Hayek, President and CEO of the Swatch Group, G.N. Hayek, President of Swatch Ltd., and Nicholas Negroponte, founder and then-director of the MIT Media Lab. During the Summit, Swatch Internet Time became the official time system for Nation1, an online country (supposedly) created and run by children. Uses During 1999, Swatch produced several models of watch, branded "Swatch .beat", that displayed Swatch Internet Time as well as standard time, and even convinced a few websites (such as CNN.com) to use the new format.[1] PHP's date() function has a format specifier 'B' which returns the Swatch Internet Time notation for a given time stamp.[2] It is also used as a time reference on ICQ, and the online role-playing game Phantasy Star Online has used it since its launch on the Dreamcast in 2000 to try to facilitate cross- continent gaming (as the game allowed Japanese, American and European players to mingle on the same servers). In March 2001, Ericsson released the T20e, a mobile phone which gave the user the option of displaying Internet Time. Outside these areas, however, it appears to be infrequently used. While Swatch still offers the concept on its website, it no longer markets beat watches. In July 2016, Swatch released Touch Zero Two, its second wirelessly connected watch, with Swatch Internet Time function. Beatnik satellite controversy In early 1999, Swatch began a marketing campaign about the launch of their Beatnik satellite, intended to service a set of Internet Time watches. However, they were criticized for planning to use an amateur radio frequency for broadcasting a commercial message (an act banned by international treaties). Swatch reallocated the transmitter batteries to a different function on the Mir space station, A Swatch watch showing [3] thus the satellite never broadcast. .beat time in the bottom part of the display Description The concept was touted as an alternative, decimal measure of time. One of the supposed goals was to simplify the way people in different time zones communicate about time, mostly by eliminating time zones altogether. Beats Instead of hours and minutes, the mean solar day is divided up into 1000 parts called ".beats". Each .beat lasts 1 minute and 26.4 seconds. One .beat is equal to one decimal minute in French decimal time. Although Swatch does not specify units smaller than one .beat, third party implementations have extended the standard by adding "centibeats" or "sub-beats", for extended precision: @248.00. Each "centibeat" is a hundredth of a .beat and is therefore equal to one decimal second (0.864 seconds).[4][5] Time zones There are no time zones; instead, the new time scale of Biel Meantime (BMT) is used, based on the company's headquarters in Biel, Switzerland. Despite the name, BMT does not refer to mean solar time at the Biel meridian (7°15′E), but to the standard time there. It is equivalent to the Central European Time and West Africa Time or UTC+1. Like UTC, Swatch Internet Time is the same throughout the world. For example, when the time is 875 .beats, or @875, in New York, it is also @875 in Tokyo: 0.875 × 24 hours = 21:00 BMT = 20:00 UTC. Unlike civil time in most European countries, Internet Time does not observe daylight saving time and thus it matches Central European Time during (European) winter and Western European Summer Time, which is observed by the United Kingdom, Ireland, Portugal and the Canary Islands (Spain), during summer. Notation The most distinctive aspect of Swatch Internet Time is its notation; as an example, "@248" would indicate a time 248 .beats after midnight, equivalent to a fractional day of 0.248 CET, or 04:57:07.2 UTC. No explicit format was provided for dates, although the Swatch website formerly displayed the Gregorian calendar date in the order day-month-year, separated by periods and prefixed by the letter d (d31.01.99). Time unit conversion Unit Beat Conversion 1 day 1000 .beats 1 hour 41.6 .beats 1 min 0.694 .beats 1 s 0.011574 .beats Note that units smaller than 1 .beat are not officially recognized by the standard. Calculation from UTC+1 The formula for calculating the current time in .beats from UTC+1 is: (UTC+1seconds + (UTC+1minutes * 60) + (UTC+1hours * 3600)) / 86.4 Round down the outcome.[6] See also Decimal time French Republican Calendar ke = 10 'beats' Metric time New Earth Time Unix time Coordinated Universal Time (UTC) References 1. "TLDR #15 – Internet Time". On The Media. Retrieved 31 March 2014. 2. "PHP: date". PHP Manual. Retrieved 12 January 2014. 3. "Hams jam space spam". BBC News. 1999-04-16. Retrieved 2010-08-03. 4. "Nucleus Plugin: NP_InternetTime". TeRanEX Wiki. 5. "iBeat". Archived from the original on 2007-10-08. 6. "How do I get the current time in Swatch Internet Time in Java?". StackOverflow. Retrieved 28 March 2014. External links Official website (http://www.swatch.com/en_us/internet-time) A short description of Internet time (http://www.timeanddate.com/time/internettime.html) Retrieved from "https://en.wikipedia.org/w/index.php?title=Swatch_Internet_Time&oldid=741014858" Categories: Time measurement systems 1998 introductions Units of time Decimal time Swiss inventions Decimalisation This page was last modified on 24 September 2016, at 20:45. Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization..
Load more

Recommended publications
  • On High Order Finite-Difference Metric Discretizations Satisfying GCL On
    University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln NASA Publications National Aeronautics and Space Administration 2014 On high order finite-difference metric discretizations satisfying GCL on moving and deforming grids Bjorn Sjögreen Lawrence Livermore National Laboratories, [email protected] Helen C. Yee NASA Ames Research Center, [email protected] Marcel Vinokur NASA Ames Research Center Follow this and additional works at: http://digitalcommons.unl.edu/nasapub Sjögreen, Bjorn; Yee, Helen C.; and Vinokur, Marcel, "On high order finite-difference metric discretizations satisfying GCL on moving and deforming grids" (2014). NASA Publications. 272. http://digitalcommons.unl.edu/nasapub/272 This Article is brought to you for free and open access by the National Aeronautics and Space Administration at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in NASA Publications by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Journal of Computational Physics 265 (2014) 211–220 Contents lists available at ScienceDirect Journal of Computational Physics www.elsevier.com/locate/jcp Short note On high order finite-difference metric discretizations ✩ satisfying GCL on moving and deforming grids , Björn Sjögreen a 1, H.C. Yee b, Marcel Vinokur b a Lawrence Livermore National Laboratory, Livermore, CA 94551, United States b NASA Ames Research Center, Moffett Field, CA 94035, United States article info abstract Article history: In this note we generalize our previous treatment of the discretizations of geometric Received 25 July 2013 conservation laws on steady grids (Vinokur and Yee, 2000) to general time dependent grids. Accepted 28 January 2014 The commutative property of mixed difference operators is generalized to apply to time Available online 12 February 2014 metrics and Jacobians.
    [Show full text]
  • IDS AWG – Paris – March 26-27, 2014 Issue: 1.0 Date: Apr.07, 2014
    IDS Reference: - Meeting minutes IDS AWG – Paris – March 26-27, 2014 Issue: 1.0 Date: Apr.07, 2014 Participants: Z. Altamimi (IGN/LAREG), R. Biancale (CNES), H. Capdeville (CLS), X. Collilieux (IGN/LAREG), A. Couhert (CNES), P. Ferrage (CNES), D. Gambis (Obs. Paris), J. Gazeaux (IGN), E. Jalabert (CNES), F. Lemoine (NASA), J.M. Lemoine (CNES), F. Mercier (CNES), G. Moreaux (CLS), M. Otten (ESA), S. Rudenko (GFZ), J. Saunier (IGN), E. Shrama (TUD), L. Soudarin (CLS), P. Stepanek (GOP), S. Grey (UCL), C. Tourain (CNES), P. Willis (IGN), M. Ziebart (UCL) Distribution (Participants+): S. Kuzin (INASAN), P. Schaeffer (CLS), N. Zelensky (SGT) Written by: Approved by: Names: G. Moreaux Signature: [Approver] (Visa or ref.) Agenda (optional): 1. Context ...................................................................................... 3 2. Day 1 – March 26th ........................................................................ 3 2.1. ITRF2008 vs ITRF2013 .............................................................. 3 2.2. Analysis of DORIS map corrections using phase measurements ............. 3 2.3. Status of ITRF2013 preparation ................................................... 3 2.4. Doris ground antennas Radio Frequency characterization Status .......... 3 2.5. ITRF2013 reprocessing status from the ACs .................................... 4 ESA ............................................................................................................... 4 GOP .............................................................................................................
    [Show full text]
  • City of Mesa Preliminary Executive Budget Plan
    Preliminary Executive Budget Plan City of Mesa, Arizona for the Fiscal Year 2012/2013 Mayor Scott Smith Councilmembers Scott Somers – Vice Mayor Dave Richins District 6 District 1 Alex Finter Dennis Kavanaugh District 2 District 3 Christopher Glover Dina Higgins District 4 District 5 City Manager Christopher J. Brady Table of Contents Budget Highlights ................................................................................................................................... 1 Operations ................................................................................................................................................... 2 Capital Improvement Program .................................................................................................................... 3 FY2012/13 Budget Overview ....................................................................................................................... 4 FY12/13 General Fund Overview ................................................................................................................. 8 Budget and Financial Summaries ...........................................................................................................11 Summary of Revenue by Source ................................................................................................................................11 Appropriations by Department ..................................................................................................................................12 Revenues
    [Show full text]
  • A.1 Preparation Instructions July 2021
    State of California Department of Technology Stage 1 Business Analysis Preparation Instructions Version 2.5 Statewide Information Management Manual – Section 19A.1 July 2021 INTRODUCTION TO THE STAGE 1 BUSINESS ANALYSIS Overview Statewide Information Management Manual (SIMM) Section 19A, Stage 1 Business Analysis, is the first stage of the information technology (IT) Project Approval Lifecycle and provides a basis for project management, program management, executive management, and state-level control agencies to understand and agree on business problems or opportunities, and the objectives to address them. Additionally, the Stage 1 Business Analyses are used to generate the Conceptually Approved IT Project Proposals Report each quarter, which represents the Executive Branch's plan for IT investments in support of the California IT Strategic Plan. The Stage 1 Business Analysis instructions are designed to help State of California agencies/state entities1 meet the California Department of Technology (CDT) IT project proposal documentation requirements. Clarifications Non-affiliated state entities (state entities not governed by agencies) are required to submit a Stage 1 Business Analysis for all proposals, regardless of delegated cost thresholds. Agency-affiliated state entities are not required to submit Stage 1 Business Analyses for Stage 1 Business Analyses that have been approved by the agency as delegated. Project approval reporting requirements are initially determined as part of the Stage 1 Business Analysis but may change as the proposal progresses though the Project Approval Lifecycle. Agency Chief Information Officers (AIOs) have been delegated CDT approval authority for Stage 1 Business Analyses prepared by agency-affiliated state entities. Stage 1 Business Analyses prepared by non-affiliated state entities must be approved by the CDT prior to conducting and submitting a Stage 2 Alternatives Analysis.
    [Show full text]
  • Christmas Series **Note: Sermons on Each Passage Will Be Preached on the Sunday Following the Reading**
    Outline of our Christmas Series **Note: Sermons on each passage will be preached on the Sunday following the reading** Week of Monday, December 7, 2020 Galatians 4:4-7 Week of Monday, December 14, 2020 1 John 4:7-15 Week of Monday, December 21, 2020 Revelation 22:17-22 Week of Monday, December 7, 2020 Galatians 4:4-7 4 When the time came to completion, God sent his Son, born of a woman, born under the law, 5 to redeem those under the law, so that we might receive adoption as sons. 6 And because you are sons, God sent the Spirit of his Son into our hearts, crying, “'Abba', Father! ” 7 So you are no longer a slave but a son, and if a son, then God has made you an heir. - Galatians 4:4-7 (CSB) HOPE Journaling H – Highlight what stands out to you O – Observe what it teaches P – Practice this in your life E – Express this in your prayers Weekly Devotional “God doesn’t have any grandchildren.” – E Stanley Jones In 2015, we adopted Hannah. Prior to her adoption, when Hannah joined our family, she held no claim to the Walters name or to any inheritance. However, through adoption, she was not only joyfully given the gift of the family name, she now has a legitimate claim to the inheritance. Through no doing of her own, Hannah has become our heir. That is what it is like for us as Christians. Just think about the name Christian. It is a name that we can only claim because it was joyfully given to us by grace alone through faith alone in the death, burial, and resurrection of Jesus Christ.
    [Show full text]
  • An Introduction to Cybercultures David Bell
    NAMING NAMES 11111 2 3 4 5 6 An Introduction to Cybercultures 7 8 9 10111 1 2 3 4 15111 An Introduction to Cybercultures provides an accessible guide to the major forms, 6 practices and meanings of this rapidly-growing field. From the evolution of hard- 7 ware and software to the emergence of cyberpunk film and fiction, David Bell 8 introduces readers to the key aspects of cyberculture, including email, the Internet, 9 digital imaging technologies, computer games and digital special effects. 20111 1 Each chapter contains ‘hot links’ to key articles in The Cybercultures Reader, 2 suggestions for further reading, and details of relevant websites. 3 Individual chapters examine: 4 5 ● Cybercultures: an introduction 6 ● Storying cyberspace 7 ● Cultural studies in cyberspace 8 ● Community and cyberculture 9 ● Identities in cyberculture 30111 ● Bodies in cyberculture 1 ● Cybersubcultures 2 ● Researching cybercultures 3 4 David Bell is Reader in Cultural Studies at Staffordshire University. He is the 5 co-editor of The Cybercultures Reader (Routledge 2000). 6 7 8 9 40111 1 2 311 i CONTENTS 11111 2 3 4 5 6 7 8 9 10111 1 2 3 4 15111 6 7 8 9 20111 1 2 3 4 5 6 7 8 9 30111 1 2 3 4 5 6 7 8 9 40111 1 2 311 ii CONTENTS 11111 2 3 4 5 6 7 8 9 10111 An Introduction to 1 2 Cybercultures 3 4 15111 6 7 8 9 David Bell 20111 1 2 3 4 5 6 7 8 9 30111 1 2 3 4 5 6 TL E D 7 U G O 8 E R • 9 • T a p 40111 y u lo ro r & G 1 Francis 2 London and New York 311 iii CONTENTS 11111 2 3 4 5 6 7 8 9 10111 1 2 First published 2001 3 by Routledge 4 11 New Fetter Lane, London EC4P 4EE 15111 Simultaneously published in the USA and Canada 6 by Routledge 7 29 West 35th Street, New York, NY 10001 8 This edition published in the Taylor & Francis e-Library, 2005.
    [Show full text]
  • The Road to Glory: an Autobiography of Pastor Peter
    The Road to Glory: An Autobiography By Johann Melchizedek Peter © Copyright 2017 by Johann Melchizedek Peter. All rights reserved. No part of this book may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without permission in writing from the publisher. This PDF copy of this book has been provided free for those who can’t afford it in order that they may be blessed and grow spiritually. Please feel free to donate whatever amounts you can afford towards the upkeep of our ministry. Donations can be made via Pay Pal to [email protected]. Please refer to the partners page of our website for other methods of transacting donations: Johann Ministries GPO Box 330 Canberra ACT 2601, Australia. Website: www.johannministries.com Email: [email protected] © Copyright 2017 Johann Melchizedek Peter. All rights reserved. 2 Introduction Around 20th April 2017 to 2nd May 2017, I went into a 43-day fast which was the second 40-day fast for the year 2017, the first being the usual 40 days fast from 1st January to 8th February every year. During the midst of the 43 days fast, I was taken into a Quantum Time dimension and saw that there were three periods in my earthly life when Quantum time was connected as one time zone: 18th September 1957, 18th September 1987, and the month of May 2017. There were all operating on one Quantum time zone like the operation of the 40 days of Noah’s flood, to the seven-year Tribulation to the one day at the end of the Millennium.
    [Show full text]
  • 1 Introduction: the Geography of the Soul
    Cambridge University Press 0521380650 - The Films of Ingmar Bergman Jesse Kalin Excerpt More information 1 Introduction: The Geography of the Soul Bergman describes the theme of his early 1960s film trilogy as “a ‘reduc- tion’ – in the metaphysical sense of the word.”1 In the classical concep- tion, a metaphysics was a fundamental examination of all being at its most elemental level, yielding lists of the most basic kinds of thing and of the principles that governed them through change and motion, an ontology that displayed the true structure of the world. These elements were arrived at by stripping away everything that was inessential and thereby reducing the great variety and lushness of creation to its skeleton. It was not that this detail and particularity was worthless or insignificant, but rather that its nature and meaning depended on these deeper elements, which both gave it form and direction and set its limitations. Only if these could be articulated and understood could their filled-out appearances also be com- prehended. Bergman’s subject is not being as such but the moral world – ourselves as human beings in the twentieth century: what is deepest and most true and essential about us, and what meaning we can find for our lives in the face of this truth. His goal is an essential portrait, an image of human be- ing with its heart exposed and beating, a picture of what we each look like without our protective illusions, evasions, and lies. Such reduction to essentials provides a mirror in which we can see ourselves as we truly are, face to face.
    [Show full text]
  • 48Hrbooks Template 4.25X7
    STORY OF THE WORLD Copyright © 2020 by Ian Kiptoo Rotich (Author/Publisher) Bible verses quoted from NIV (New International Version) All rights reserved. No part of this book may be reproduced or transmitted in any form or by any means without written permission from the author. (www.storyoftheworld.info) 2 Dedication To everyone, in the whole world. 3 Genesis 1:26-30 (NIV) Then God said, “Let us make man in our image, in our likeness, and let them rule over the fish of the sea and the birds of the air, over the livestock, over all the earth, and over all the creatures that move along the ground.” So God created man in his own image, in the image of God he created him; male and female he created them. God blessed them and said to them, “Be fruitful and increase in number, fill the earth and subdue it. Rule over the fish of the sea and the birds of the air and over every living creature that moves on the ground.” 4 Then God said, “I give you every seed bearing plant on the face of the whole earth and every tree that has fruit with seed in it. They will be yours for food. And to all the beasts of the earth and all the birds of the air and all the creatures that move on the ground--everything that has the breath of life in it--I give every green plant for food.”And it was so. God saw all that he had made, and it was very good.
    [Show full text]
  • World Economic Forum Annual Meeting 2016 Mastering the Fourth Industrial Revolution
    Global Agenda World Economic Forum Annual Meeting 2016 Mastering the Fourth Industrial Revolution Davos-Klosters, Switzerland 20-23 January Contents 3 Preface 4 Co-Chairs of the Annual Meeting 2016 5 Facts & Figures 6 Davos Highlights 8 Mastering the Fourth Industrial Revolution 14 Addressing Global Security Issues 20 Solving Problems of the Global Commons 26 The Humanitarian Imperative 32 Global Challenges 42 Arts & Culture 44 Reports launched at Davos 46 Acknowledgements 47 Further Information 48 Upcoming Meetings World Economic Forum 91-93 route de la Capite CH-1223 Cologny/Geneva Switzerland Tel.: +41 (0)22 869 1212 Fax: +41 (0)22 786 2744 Email: [email protected] www.weforum.org World Economic Forum ® © 2016 – All rights reserved. No part of this publication may be reproduced or transmitted in any form or by any means, including photocopying and recording, or by any information storage and retrieval system. REF 300116 Preface For 46 years, the World Economic mastering the speed, scale and Forum has brought together leaders force at which the Fourth Industrial and leading thinkers in Davos-Klosters, Revolution is reshaping the economic, Switzerland, to exchange ideas and social, ecological and cultural contexts seek answers to the fundamental in which we live; addressing a rapidly economic questions of the times. changing security and humanitarian landscape in which emerging The Davos agenda has reflected the technologies also play a key role; world’s focus on managing successive and solving problems of the global waves of economic crisis: stabilizing commons, from climate change to the financial system; countering the future of the internet, through new concerns of regional disintegration; models of public-private cooperation Klaus Schwab and increasing urgency about and the application of breakthrough Founder and Executive Chairman unemployment, unfulfilled social science and technology solutions.
    [Show full text]
  • D1.3 Data Access Requirements Document
    Consortium Members ESA Sea Level CCI D1.3 Data Access Requirements Document Reference: CLS-DOS-NT-10-249 Nomenclature: SLCCI-DARD-003 Issue: 2.5 Date: Jul. 29, 16 D1.3 Data Access Requirements Document CLS-DOS-NT-10-249 SLCCI-DARD-003 V 2.5 Jul. 29, 16 i.1 Chronology Issues: Issue: Date: Reason for change: Author 1.0 15/10/10 Creation Y Faugere 1.1 01/12/10 Update after meeting at Esrin 24/11/10, review from Y Faugere partners, addition of NOC/FCUP inputs 1.2 04/03/11 Update after request from ESA to reformat the Y Faugere requirement table 1.3 25/03/11 Update after iteration with ECMWF/D Tan Y Faugere 1.4 15/08/11 Update after ESA comments Y Faugere 2.1 29/04/14 Adaptation for SLCCI phase II JF Legeais 2.2 01/09/14 Update after ESA review JF Legeais 2.3 24/02/15 Update after the first year of phase II JF Legeais 2.4 21/10/15 Update after the end of WP2 tech. dev. JF Legeais 2.5 29/07/16 Update after ESA review L Zawadzki People involved in this issue: Written by (*): Y Faugere, JF Date + Initials:( visa or ref) Legeais Checked by (*): G Timms (CGI) Date + Initial:( visa ou ref) Approved by (*): JF Legeais (CLS) Date + Initial:( visa ou ref) Application ESA Date + Initial:( visa ou ref) authorized by (*): *In the opposite box: Last and First name of the person + company if different from CLS Distribution: Company Means of distribution Names ESA Email Jérôme Benveniste, Americo Ambrozio CLS Email Michael Ablain, Jean-François Legeais, Gilles Larnicol, CGI Email Gary Timms SLCCI Project FTP ftp.esa-sealevel-cci.org SLCCI Website http://www.esa-sealevel-cci.org/documents 1 1 - - 7 7 - - GB GB - - NT NT - - Proprietary information: no part of this document may be reproduced divulged or used in any form without prior permission from CLS.
    [Show full text]
  • Lipics-TIME-2020-15.Pdf (2
    TESL: A Model with Metric Time for Modeling and Simulation Hai Nguyen Van Université Paris-Saclay, CNRS, LRI, Orsay, France https://perso.crans.org/nguyen-van Frédéric Boulanger Université Paris-Saclay, CNRS, LRI, CentraleSupélec, Orsay, France [email protected] Burkhart Wolff Université Paris-Saclay, CNRS, LRI, Orsay, France burkhart.wolff@lri.fr Abstract Real-time and distributed systems are increasingly finding their way into critical embedded systems. On one side, computations need to be achieved within specific time constraints. On the other side, computations may be spread among various units which are not necessarily sharing a global clock. Our study is focused on a specification language – named TESL – used for coordinating concurrent models with timed constraints. We explore various questions related to time when modeling systems, and aim at showing that TESL can be introduced as a reasonable balance of expressiveness and decidability to tackle issues in complex systems. This paper introduces (1) an overview of the TESL language and its main properties (polychrony, stutter-invariance, coinduction for simulation), (2) extensions to the language and their applications. 2012 ACM Subject Classification Theory of computation → Timed and hybrid models Keywords and phrases Timed Systems, Semantics, Models, Simulation Digital Object Identifier 10.4230/LIPIcs.TIME.2020.15 Supplementary Material Artifacts and source code available at github.com/heron-solver/heron. 1 Introduction Designing and modeling systems nowadays still raise open problems. A very expressive language or framework can be useful to model a complex system where events are not trivially interleaved. On the opposite, an excessively expressive language is the reason for prohibitive slow-downs or even undecidability.
    [Show full text]