Contracts for Schedulability Analysis View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2015

AUTHORS

Philipp Reinkemeier , Albert Benveniste , Werner Damm , Ingo Stierand

ABSTRACT

In this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier subcontracting relation. The adaptation of Assume / Guarantee contracts to schedulability analysis requires some care, due to the handling of conflicts caused by shared resources. We illustrate our framework in the context of Autosar methodology now popular in the automotive industry sector. More... »

PAGES

270-287

References to SciGraph publications

  • 2013. Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction in EMBEDDED SYSTEMS: DESIGN, ANALYSIS AND VERIFICATION
  • 2015. Widening the Schedulability of Hierarchical Scheduling Systems in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2013-06. Component-based system design: analytic real-time interfaces for state-based component implementations in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2007. Automata Based Interfaces for Control and Scheduling in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 2008. Multiple Viewpoint Contract-Based Specification and Design in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2012. Interface-Based Design of Real-Time Systems in ADVANCES IN REAL-TIME SYSTEMS
  • 2014. Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • Book

    TITLE

    Formal Modeling and Analysis of Timed Systems

    ISBN

    978-3-319-22974-4
    978-3-319-22975-1

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-22975-1_18

    DOI

    http://dx.doi.org/10.1007/978-3-319-22975-1_18

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1012066697


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1605", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Policy and Administration", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/16", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Studies in Human Society", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "name": [
                "Offis"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Reinkemeier", 
            "givenName": "Philipp", 
            "id": "sg:person.012065773520.30", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012065773520.30"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Inria-Rennes"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Benveniste", 
            "givenName": "Albert", 
            "id": "sg:person.011174600625.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Carl von Ossietzky University of Oldenburg", 
              "id": "https://www.grid.ac/institutes/grid.5560.6", 
              "name": [
                "Offis", 
                "Department of Computer Sciences, University of Oldenburg"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Damm", 
            "givenName": "Werner", 
            "id": "sg:person.013511107707.83", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013511107707.83"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Carl von Ossietzky University of Oldenburg", 
              "id": "https://www.grid.ac/institutes/grid.5560.6", 
              "name": [
                "Department of Computer Sciences, University of Oldenburg"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Stierand", 
            "givenName": "Ingo", 
            "id": "sg:person.010145162327.53", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010145162327.53"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-319-10512-3_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003179342", 
              "https://doi.org/10.1007/978-3-319-10512-3_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1967021.1967029", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014060594"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-71493-4_46", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015400958", 
              "https://doi.org/10.1007/978-3-540-71493-4_46"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-15317-9_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020302079", 
              "https://doi.org/10.1007/978-3-319-15317-9_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-012-0257-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022196948", 
              "https://doi.org/10.1007/s10009-012-0257-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38853-8_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025731800", 
              "https://doi.org/10.1007/978-3-642-38853-8_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2501626.2501629", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029573937"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-92188-2_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031191561", 
              "https://doi.org/10.1007/978-3-540-92188-2_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-92188-2_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031191561", 
              "https://doi.org/10.1007/978-3-540-92188-2_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24349-3_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035008907", 
              "https://doi.org/10.1007/978-3-642-24349-3_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1450058.1450080", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047355654"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1176887.1176894", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053065660"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/rtas.2006.23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093370342"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sies.2013.6601485", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093375906"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/rtas.2008.13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094227461"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/rtcsa.2009.46", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095271941"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/aspdac.2012.6165039", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095797468"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "In this paper we propose a framework of Assume\u00a0/\u00a0Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM\u00a0/\u00a0supplier subcontracting relation. The adaptation of Assume\u00a0/\u00a0Guarantee contracts to schedulability analysis requires some care, due to the handling of conflicts caused by shared resources. We illustrate our framework in the context of Autosar methodology now popular in the automotive industry sector.", 
        "editor": [
          {
            "familyName": "Sankaranarayanan", 
            "givenName": "Sriram", 
            "type": "Person"
          }, 
          {
            "familyName": "Vicario", 
            "givenName": "Enrico", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-22975-1_18", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-319-22974-4", 
            "978-3-319-22975-1"
          ], 
          "name": "Formal Modeling and Analysis of Timed Systems", 
          "type": "Book"
        }, 
        "name": "Contracts for Schedulability Analysis", 
        "pagination": "270-287", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-22975-1_18"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "397ddaf0f0b8f07881d3c45094ce540d963c24fdd5a69de666b5d5b49b30f685"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1012066697"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-22975-1_18", 
          "https://app.dimensions.ai/details/publication/pub.1012066697"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T12:30", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8663_00000250.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-22975-1_18"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-22975-1_18'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-22975-1_18'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-22975-1_18'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-22975-1_18'


     

    This table displays all metadata directly associated to this object as RDF triples.

    151 TRIPLES      23 PREDICATES      43 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-22975-1_18 schema:about anzsrc-for:16
    2 anzsrc-for:1605
    3 schema:author Na4df52c219734bac98f9b40c60971d20
    4 schema:citation sg:pub.10.1007/978-3-319-10512-3_15
    5 sg:pub.10.1007/978-3-319-15317-9_14
    6 sg:pub.10.1007/978-3-540-71493-4_46
    7 sg:pub.10.1007/978-3-540-92188-2_9
    8 sg:pub.10.1007/978-3-642-24349-3_4
    9 sg:pub.10.1007/978-3-642-38853-8_17
    10 sg:pub.10.1007/s10009-012-0257-7
    11 https://doi.org/10.1109/aspdac.2012.6165039
    12 https://doi.org/10.1109/rtas.2006.23
    13 https://doi.org/10.1109/rtas.2008.13
    14 https://doi.org/10.1109/rtcsa.2009.46
    15 https://doi.org/10.1109/sies.2013.6601485
    16 https://doi.org/10.1145/1176887.1176894
    17 https://doi.org/10.1145/1450058.1450080
    18 https://doi.org/10.1145/1967021.1967029
    19 https://doi.org/10.1145/2501626.2501629
    20 schema:datePublished 2015
    21 schema:datePublishedReg 2015-01-01
    22 schema:description In this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier subcontracting relation. The adaptation of Assume / Guarantee contracts to schedulability analysis requires some care, due to the handling of conflicts caused by shared resources. We illustrate our framework in the context of Autosar methodology now popular in the automotive industry sector.
    23 schema:editor N3920eabf0e6b4cc3a3cbcd8fff491f14
    24 schema:genre chapter
    25 schema:inLanguage en
    26 schema:isAccessibleForFree true
    27 schema:isPartOf N65dc05b528e44a6fa04a5f934148c681
    28 schema:name Contracts for Schedulability Analysis
    29 schema:pagination 270-287
    30 schema:productId N4b5eec60823449b3937801e891bdc561
    31 N5440b2c7efb94a6bac71f164b458a54f
    32 N6a36a6dafc374f60bc13a22ad55452af
    33 schema:publisher Nad25f644e8794d40ada90d786f13ce29
    34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012066697
    35 https://doi.org/10.1007/978-3-319-22975-1_18
    36 schema:sdDatePublished 2019-04-15T12:30
    37 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    38 schema:sdPublisher N64d0d4f3e4f14ba1b1ea038ba16a15ad
    39 schema:url http://link.springer.com/10.1007/978-3-319-22975-1_18
    40 sgo:license sg:explorer/license/
    41 sgo:sdDataset chapters
    42 rdf:type schema:Chapter
    43 N05ccc642063b4181aee4b9b0be54f248 rdf:first N3e1d86620f9d4c60b8ea10687dad9078
    44 rdf:rest rdf:nil
    45 N0f6cd0f298ac41b3b64052f7a2e6ec4d rdf:first sg:person.010145162327.53
    46 rdf:rest rdf:nil
    47 N3920eabf0e6b4cc3a3cbcd8fff491f14 rdf:first Nd6a12253eab6456390c4be5a5fbcdd8c
    48 rdf:rest N05ccc642063b4181aee4b9b0be54f248
    49 N3937b82df61a41488e75d09b0ef5742d rdf:first sg:person.011174600625.42
    50 rdf:rest N9153931e59d441efbadd85f74ee43b92
    51 N3e1d86620f9d4c60b8ea10687dad9078 schema:familyName Vicario
    52 schema:givenName Enrico
    53 rdf:type schema:Person
    54 N4b5eec60823449b3937801e891bdc561 schema:name doi
    55 schema:value 10.1007/978-3-319-22975-1_18
    56 rdf:type schema:PropertyValue
    57 N5440b2c7efb94a6bac71f164b458a54f schema:name readcube_id
    58 schema:value 397ddaf0f0b8f07881d3c45094ce540d963c24fdd5a69de666b5d5b49b30f685
    59 rdf:type schema:PropertyValue
    60 N64d0d4f3e4f14ba1b1ea038ba16a15ad schema:name Springer Nature - SN SciGraph project
    61 rdf:type schema:Organization
    62 N65dc05b528e44a6fa04a5f934148c681 schema:isbn 978-3-319-22974-4
    63 978-3-319-22975-1
    64 schema:name Formal Modeling and Analysis of Timed Systems
    65 rdf:type schema:Book
    66 N6a36a6dafc374f60bc13a22ad55452af schema:name dimensions_id
    67 schema:value pub.1012066697
    68 rdf:type schema:PropertyValue
    69 N8774ce7389d446168464d768c43a988e schema:name Offis
    70 rdf:type schema:Organization
    71 N9153931e59d441efbadd85f74ee43b92 rdf:first sg:person.013511107707.83
    72 rdf:rest N0f6cd0f298ac41b3b64052f7a2e6ec4d
    73 Na4df52c219734bac98f9b40c60971d20 rdf:first sg:person.012065773520.30
    74 rdf:rest N3937b82df61a41488e75d09b0ef5742d
    75 Nad25f644e8794d40ada90d786f13ce29 schema:location Cham
    76 schema:name Springer International Publishing
    77 rdf:type schema:Organisation
    78 Nd6a12253eab6456390c4be5a5fbcdd8c schema:familyName Sankaranarayanan
    79 schema:givenName Sriram
    80 rdf:type schema:Person
    81 Nfda7c5ad10bf4db7b581795935216776 schema:name Inria-Rennes
    82 rdf:type schema:Organization
    83 anzsrc-for:16 schema:inDefinedTermSet anzsrc-for:
    84 schema:name Studies in Human Society
    85 rdf:type schema:DefinedTerm
    86 anzsrc-for:1605 schema:inDefinedTermSet anzsrc-for:
    87 schema:name Policy and Administration
    88 rdf:type schema:DefinedTerm
    89 sg:person.010145162327.53 schema:affiliation https://www.grid.ac/institutes/grid.5560.6
    90 schema:familyName Stierand
    91 schema:givenName Ingo
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010145162327.53
    93 rdf:type schema:Person
    94 sg:person.011174600625.42 schema:affiliation Nfda7c5ad10bf4db7b581795935216776
    95 schema:familyName Benveniste
    96 schema:givenName Albert
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    98 rdf:type schema:Person
    99 sg:person.012065773520.30 schema:affiliation N8774ce7389d446168464d768c43a988e
    100 schema:familyName Reinkemeier
    101 schema:givenName Philipp
    102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012065773520.30
    103 rdf:type schema:Person
    104 sg:person.013511107707.83 schema:affiliation https://www.grid.ac/institutes/grid.5560.6
    105 schema:familyName Damm
    106 schema:givenName Werner
    107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013511107707.83
    108 rdf:type schema:Person
    109 sg:pub.10.1007/978-3-319-10512-3_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003179342
    110 https://doi.org/10.1007/978-3-319-10512-3_15
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-319-15317-9_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020302079
    113 https://doi.org/10.1007/978-3-319-15317-9_14
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-3-540-71493-4_46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015400958
    116 https://doi.org/10.1007/978-3-540-71493-4_46
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-3-540-92188-2_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031191561
    119 https://doi.org/10.1007/978-3-540-92188-2_9
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/978-3-642-24349-3_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035008907
    122 https://doi.org/10.1007/978-3-642-24349-3_4
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/978-3-642-38853-8_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025731800
    125 https://doi.org/10.1007/978-3-642-38853-8_17
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/s10009-012-0257-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022196948
    128 https://doi.org/10.1007/s10009-012-0257-7
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1109/aspdac.2012.6165039 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095797468
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1109/rtas.2006.23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093370342
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1109/rtas.2008.13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094227461
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1109/rtcsa.2009.46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095271941
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1109/sies.2013.6601485 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093375906
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1145/1176887.1176894 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053065660
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1145/1450058.1450080 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047355654
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1145/1967021.1967029 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014060594
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1145/2501626.2501629 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029573937
    147 rdf:type schema:CreativeWork
    148 https://www.grid.ac/institutes/grid.5560.6 schema:alternateName Carl von Ossietzky University of Oldenburg
    149 schema:name Department of Computer Sciences, University of Oldenburg
    150 Offis
    151 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...