Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2004

AUTHORS

Simona Bernardi , Susanna Donatelli , Giovanna Dondossola

ABSTRACT

The paper discusses a constructive approach to the temporal logic specification and analysis of dependability requirements of automation systems. The work is based on TRIO formal method, which supports a declarative temporal logic language with a linear notion of time, and makes use of UML class diagrams to describe the automation system. The general concepts presented for the automation system domain are here instantiated on a case study application taken from the energy distribution field. More... »

PAGES

36-51

References to SciGraph publications

Book

TITLE

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

ISBN

978-3-540-23167-7
978-3-540-30206-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-30206-3_5

DOI

http://dx.doi.org/10.1007/978-3-540-30206-3_5

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Turin", 
          "id": "https://www.grid.ac/institutes/grid.7605.4", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 di Torino, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bernardi", 
        "givenName": "Simona", 
        "id": "sg:person.016067726573.53", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016067726573.53"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Turin", 
          "id": "https://www.grid.ac/institutes/grid.7605.4", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 di Torino, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Donatelli", 
        "givenName": "Susanna", 
        "id": "sg:person.014534741013.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014534741013.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Centro Elettrotecnico Sperimentale Italiano (Italy)", 
          "id": "https://www.grid.ac/institutes/grid.423950.9", 
          "name": [
            "CESI Automation & Information Technology, Milano, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Dondossola", 
        "givenName": "Giovanna", 
        "id": "sg:person.07647564371.51", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647564371.51"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/503271.503236", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000749304"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0164-1212(90)90074-v", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003076666"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0164-1212(90)90074-v", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003076666"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/201024.201034", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029203435"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-79789-7_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030032685", 
          "https://doi.org/10.1007/978-3-642-79789-7_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-46428-x_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033084111", 
          "https://doi.org/10.1007/3-540-46428-x_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/210223.210226", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046284937"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tc.1982.1676110", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061532813"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icre.2002.1211541", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094498831"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/dsn.2003.1209919", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094641727"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/pnpm.2003.1231544", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095163025"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "The paper discusses a constructive approach to the temporal logic specification and analysis of dependability requirements of automation systems. The work is based on TRIO formal method, which supports a declarative temporal logic language with a linear notion of time, and makes use of UML class diagrams to describe the automation system. The general concepts presented for the automation system domain are here instantiated on a case study application taken from the energy distribution field.", 
    "editor": [
      {
        "familyName": "Lakhnech", 
        "givenName": "Yassine", 
        "type": "Person"
      }, 
      {
        "familyName": "Yovine", 
        "givenName": "Sergio", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-30206-3_5", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-23167-7", 
        "978-3-540-30206-3"
      ], 
      "name": "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems", 
      "type": "Book"
    }, 
    "name": "Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems", 
    "pagination": "36-51", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1007167627"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-30206-3_5"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "22241427d80349106f646a348896d5bc75cf3898bc6ad5466fed4be3f72ac9a3"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-30206-3_5", 
      "https://app.dimensions.ai/details/publication/pub.1007167627"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T08:35", 
    "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/0000000365_0000000365/records_71677_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-30206-3_5"
  }
]
 

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-540-30206-3_5'

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-540-30206-3_5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30206-3_5'

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-540-30206-3_5'


 

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

119 TRIPLES      23 PREDICATES      37 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-30206-3_5 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N4697a3fe3fb44e218f7cc5bef8be5acb
4 schema:citation sg:pub.10.1007/3-540-46428-x_7
5 sg:pub.10.1007/978-3-642-79789-7_1
6 https://doi.org/10.1016/0164-1212(90)90074-v
7 https://doi.org/10.1109/dsn.2003.1209919
8 https://doi.org/10.1109/icre.2002.1211541
9 https://doi.org/10.1109/pnpm.2003.1231544
10 https://doi.org/10.1109/tc.1982.1676110
11 https://doi.org/10.1145/201024.201034
12 https://doi.org/10.1145/210223.210226
13 https://doi.org/10.1145/503271.503236
14 schema:datePublished 2004
15 schema:datePublishedReg 2004-01-01
16 schema:description The paper discusses a constructive approach to the temporal logic specification and analysis of dependability requirements of automation systems. The work is based on TRIO formal method, which supports a declarative temporal logic language with a linear notion of time, and makes use of UML class diagrams to describe the automation system. The general concepts presented for the automation system domain are here instantiated on a case study application taken from the energy distribution field.
17 schema:editor N081b3ce63425497b99328e4faffd7e04
18 schema:genre chapter
19 schema:inLanguage en
20 schema:isAccessibleForFree false
21 schema:isPartOf N038bc298c2154425accc48eac79bb72f
22 schema:name Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems
23 schema:pagination 36-51
24 schema:productId N95e42155dbf94a229827e6d3a3122bfd
25 Naa82e14424304dd5a37bfe8b502554ab
26 Neb71e314bee445958815693a19b0e6a6
27 schema:publisher N22dd459d02e4492cb459a209ecf56e8d
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007167627
29 https://doi.org/10.1007/978-3-540-30206-3_5
30 schema:sdDatePublished 2019-04-16T08:35
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher N1de4a939e31c4f1a996af7cc46347807
33 schema:url https://link.springer.com/10.1007%2F978-3-540-30206-3_5
34 sgo:license sg:explorer/license/
35 sgo:sdDataset chapters
36 rdf:type schema:Chapter
37 N038bc298c2154425accc48eac79bb72f schema:isbn 978-3-540-23167-7
38 978-3-540-30206-3
39 schema:name Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
40 rdf:type schema:Book
41 N081b3ce63425497b99328e4faffd7e04 rdf:first Nd0de29b1d2794e2d89b21f348a172369
42 rdf:rest Nd761419efa2d42a4acaa894dcfa23345
43 N1de4a939e31c4f1a996af7cc46347807 schema:name Springer Nature - SN SciGraph project
44 rdf:type schema:Organization
45 N22dd459d02e4492cb459a209ecf56e8d schema:location Berlin, Heidelberg
46 schema:name Springer Berlin Heidelberg
47 rdf:type schema:Organisation
48 N4697a3fe3fb44e218f7cc5bef8be5acb rdf:first sg:person.016067726573.53
49 rdf:rest Ne929212220274d3e85569a3917b9fbca
50 N700394a925a54b95a2f0b633f09dee3d rdf:first sg:person.07647564371.51
51 rdf:rest rdf:nil
52 N95e42155dbf94a229827e6d3a3122bfd schema:name readcube_id
53 schema:value 22241427d80349106f646a348896d5bc75cf3898bc6ad5466fed4be3f72ac9a3
54 rdf:type schema:PropertyValue
55 Naa82e14424304dd5a37bfe8b502554ab schema:name doi
56 schema:value 10.1007/978-3-540-30206-3_5
57 rdf:type schema:PropertyValue
58 Nd0de29b1d2794e2d89b21f348a172369 schema:familyName Lakhnech
59 schema:givenName Yassine
60 rdf:type schema:Person
61 Nd761419efa2d42a4acaa894dcfa23345 rdf:first Nec87767b78b3403d8e2c65064ab42d23
62 rdf:rest rdf:nil
63 Ne929212220274d3e85569a3917b9fbca rdf:first sg:person.014534741013.21
64 rdf:rest N700394a925a54b95a2f0b633f09dee3d
65 Neb71e314bee445958815693a19b0e6a6 schema:name dimensions_id
66 schema:value pub.1007167627
67 rdf:type schema:PropertyValue
68 Nec87767b78b3403d8e2c65064ab42d23 schema:familyName Yovine
69 schema:givenName Sergio
70 rdf:type schema:Person
71 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
72 schema:name Information and Computing Sciences
73 rdf:type schema:DefinedTerm
74 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
75 schema:name Computer Software
76 rdf:type schema:DefinedTerm
77 sg:person.014534741013.21 schema:affiliation https://www.grid.ac/institutes/grid.7605.4
78 schema:familyName Donatelli
79 schema:givenName Susanna
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014534741013.21
81 rdf:type schema:Person
82 sg:person.016067726573.53 schema:affiliation https://www.grid.ac/institutes/grid.7605.4
83 schema:familyName Bernardi
84 schema:givenName Simona
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016067726573.53
86 rdf:type schema:Person
87 sg:person.07647564371.51 schema:affiliation https://www.grid.ac/institutes/grid.423950.9
88 schema:familyName Dondossola
89 schema:givenName Giovanna
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07647564371.51
91 rdf:type schema:Person
92 sg:pub.10.1007/3-540-46428-x_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033084111
93 https://doi.org/10.1007/3-540-46428-x_7
94 rdf:type schema:CreativeWork
95 sg:pub.10.1007/978-3-642-79789-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030032685
96 https://doi.org/10.1007/978-3-642-79789-7_1
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1016/0164-1212(90)90074-v schema:sameAs https://app.dimensions.ai/details/publication/pub.1003076666
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1109/dsn.2003.1209919 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094641727
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1109/icre.2002.1211541 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094498831
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1109/pnpm.2003.1231544 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095163025
105 rdf:type schema:CreativeWork
106 https://doi.org/10.1109/tc.1982.1676110 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061532813
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1145/201024.201034 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029203435
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1145/210223.210226 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046284937
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1145/503271.503236 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000749304
113 rdf:type schema:CreativeWork
114 https://www.grid.ac/institutes/grid.423950.9 schema:alternateName Centro Elettrotecnico Sperimentale Italiano (Italy)
115 schema:name CESI Automation & Information Technology, Milano, Italy
116 rdf:type schema:Organization
117 https://www.grid.ac/institutes/grid.7605.4 schema:alternateName University of Turin
118 schema:name Dipartimento di Informatica, Università di Torino, Italy
119 rdf:type schema:Organization
 




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


...