TESL: A language for reconciling heterogeneous execution traces

Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous,...

Full description

Saved in:
Bibliographic Details
Main Authors: Boulanger, Frederic, Jacquet, Christophe, Hardebolle, Cecile, Prodan, Iuliana
Format: Conference Proceeding
Language:English
Subjects:
Clocks
Computational modeling
Delays
Switches
Synchronization
Time-domain analysis
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 123
container_issue
container_start_page 114
container_title
container_volume
creator Boulanger, Frederic
Jacquet, Christophe
Hardebolle, Cecile
Prodan, Iuliana
description Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous, periodic) and different time scales (e.g. minutes, microseconds or even angles in degrees). In this article, we present a deterministic model of time which allows the specification of the coincidence of events that occur on different time scales, as well as instantaneous causality between events. This model supports both event-driven and time-driven specifications.
doi_str_mv 10.1109/MEMCOD.2014.6961849
format conference_proceeding
fullrecord <record><control><sourceid>acm_6IE</sourceid><recordid>TN_cdi_acm_books_10_1109_MEMCOD_2014_6961849</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6961849</ieee_id><sourcerecordid>acm_books_10_1109_MEMCOD_2014_6961849</sourcerecordid><originalsourceid>FETCH-LOGICAL-a2499-1db56648a3e26e32914c5fb537d4cb8f02c5dfab89657f6ae40fa6a64d6ad7de3</originalsourceid><addsrcrecordid>eNqVj81OwzAQhI0ACVTyBH0FEnb9s_YeUQg_UqoeKGfLjm0pQFWUnHh7qNoD4tbTaDSj0XxCLBEaROC7Vbdq1w-NBNQNMaHTfCYqtg61ZTZKOXv-z1-Jap7fAQCZrDNwLS423Wt_Iy5L-JxzddSFeHvsNu1z3a-fXtr7vg5SM9eYoiHSLqgsKSvJqAdTolE26SG6AnIwqYTomIwtFLKGEiiQThSSTVktxPKwO-ac_dc0bsP07Y_ff9PbQxqGrY-73cfsEfwe1R9Q_R71T12eUPdxGnNRP8UmUQ8</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>TESL: A language for reconciling heterogeneous execution traces</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Boulanger, Frederic ; Jacquet, Christophe ; Hardebolle, Cecile ; Prodan, Iuliana</creator><creatorcontrib>Boulanger, Frederic ; Jacquet, Christophe ; Hardebolle, Cecile ; Prodan, Iuliana</creatorcontrib><description>Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous, periodic) and different time scales (e.g. minutes, microseconds or even angles in degrees). In this article, we present a deterministic model of time which allows the specification of the coincidence of events that occur on different time scales, as well as instantaneous causality between events. This model supports both event-driven and time-driven specifications.</description><identifier>ISBN: 9781479953387</identifier><identifier>ISBN: 1479953385</identifier><identifier>EISBN: 9781479953387</identifier><identifier>EISBN: 1479953385</identifier><identifier>DOI: 10.1109/MEMCOD.2014.6961849</identifier><language>eng</language><publisher>Washington, DC, USA: IEEE Computer Society</publisher><subject>Clocks ; Computational modeling ; Delays ; Switches ; Synchronization ; Time-domain analysis ; Unified modeling language</subject><ispartof>2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), 2014, p.114-123</ispartof><rights>2014</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6961849$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6961849$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Boulanger, Frederic</creatorcontrib><creatorcontrib>Jacquet, Christophe</creatorcontrib><creatorcontrib>Hardebolle, Cecile</creatorcontrib><creatorcontrib>Prodan, Iuliana</creatorcontrib><title>TESL: A language for reconciling heterogeneous execution traces</title><title>2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)</title><addtitle>MEMCOD</addtitle><description>Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous, periodic) and different time scales (e.g. minutes, microseconds or even angles in degrees). In this article, we present a deterministic model of time which allows the specification of the coincidence of events that occur on different time scales, as well as instantaneous causality between events. This model supports both event-driven and time-driven specifications.</description><subject>Clocks</subject><subject>Computational modeling</subject><subject>Delays</subject><subject>Switches</subject><subject>Synchronization</subject><subject>Time-domain analysis</subject><subject>Unified modeling language</subject><isbn>9781479953387</isbn><isbn>1479953385</isbn><isbn>9781479953387</isbn><isbn>1479953385</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2014</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNqVj81OwzAQhI0ACVTyBH0FEnb9s_YeUQg_UqoeKGfLjm0pQFWUnHh7qNoD4tbTaDSj0XxCLBEaROC7Vbdq1w-NBNQNMaHTfCYqtg61ZTZKOXv-z1-Jap7fAQCZrDNwLS423Wt_Iy5L-JxzddSFeHvsNu1z3a-fXtr7vg5SM9eYoiHSLqgsKSvJqAdTolE26SG6AnIwqYTomIwtFLKGEiiQThSSTVktxPKwO-ac_dc0bsP07Y_ff9PbQxqGrY-73cfsEfwe1R9Q_R71T12eUPdxGnNRP8UmUQ8</recordid><startdate>20141001</startdate><enddate>20141001</enddate><creator>Boulanger, Frederic</creator><creator>Jacquet, Christophe</creator><creator>Hardebolle, Cecile</creator><creator>Prodan, Iuliana</creator><general>IEEE Computer Society</general><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>20141001</creationdate><title>TESL</title><author>Boulanger, Frederic ; Jacquet, Christophe ; Hardebolle, Cecile ; Prodan, Iuliana</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a2499-1db56648a3e26e32914c5fb537d4cb8f02c5dfab89657f6ae40fa6a64d6ad7de3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Clocks</topic><topic>Computational modeling</topic><topic>Delays</topic><topic>Switches</topic><topic>Synchronization</topic><topic>Time-domain analysis</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Boulanger, Frederic</creatorcontrib><creatorcontrib>Jacquet, Christophe</creatorcontrib><creatorcontrib>Hardebolle, Cecile</creatorcontrib><creatorcontrib>Prodan, Iuliana</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Boulanger, Frederic</au><au>Jacquet, Christophe</au><au>Hardebolle, Cecile</au><au>Prodan, Iuliana</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>TESL: A language for reconciling heterogeneous execution traces</atitle><btitle>2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)</btitle><stitle>MEMCOD</stitle><date>2014-10-01</date><risdate>2014</risdate><spage>114</spage><epage>123</epage><pages>114-123</pages><isbn>9781479953387</isbn><isbn>1479953385</isbn><eisbn>9781479953387</eisbn><eisbn>1479953385</eisbn><abstract>Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous, periodic) and different time scales (e.g. minutes, microseconds or even angles in degrees). In this article, we present a deterministic model of time which allows the specification of the coincidence of events that occur on different time scales, as well as instantaneous causality between events. This model supports both event-driven and time-driven specifications.</abstract><cop>Washington, DC, USA</cop><pub>IEEE Computer Society</pub><doi>10.1109/MEMCOD.2014.6961849</doi><tpages>10</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9781479953387
ispartof 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), 2014, p.114-123
issn
language eng
recordid cdi_acm_books_10_1109_MEMCOD_2014_6961849
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Clocks
Computational modeling
Delays
Switches
Synchronization
Time-domain analysis
Unified modeling language
title TESL: A language for reconciling heterogeneous execution traces
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T01%3A24%3A38IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-acm_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=TESL:%20A%20language%20for%20reconciling%20heterogeneous%20execution%20traces&rft.btitle=2014%20Twelfth%20ACM/IEEE%20Conference%20on%20Formal%20Methods%20and%20Models%20for%20Codesign%20(MEMOCODE)&rft.au=Boulanger,%20Frederic&rft.date=2014-10-01&rft.spage=114&rft.epage=123&rft.pages=114-123&rft.isbn=9781479953387&rft.isbn_list=1479953385&rft_id=info:doi/10.1109/MEMCOD.2014.6961849&rft.eisbn=9781479953387&rft.eisbn_list=1479953385&rft_dat=%3Cacm_6IE%3Eacm_books_10_1109_MEMCOD_2014_6961849%3C/acm_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a2499-1db56648a3e26e32914c5fb537d4cb8f02c5dfab89657f6ae40fa6a64d6ad7de3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6961849&rfr_iscdi=true