Squeeze All the Power Out of Your Hardware to Verify Your Software! View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2008

AUTHORS

Jiří Barnat , Luboš Brim

ABSTRACT

The computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single- processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed. This fundamental technological shift in core computing architecture will require a fundamental change in how we ensure the quality of software. The key issue is that verification techniques need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. In this position paper we would like to advocate the necessity of fully exploiting the power offered by the new computer hardware to make the verification techniques capable of handling next-generation software. More... »

PAGES

604-618

Book

TITLE

Leveraging Applications of Formal Methods, Verification and Validation

ISBN

978-3-540-88478-1
978-3-540-88479-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-88479-8_43

DOI

http://dx.doi.org/10.1007/978-3-540-88479-8_43

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Barnat", 
        "givenName": "Ji\u0159\u00ed", 
        "id": "sg:person.011367557177.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011367557177.46"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2008", 
    "datePublishedReg": "2008-01-01", 
    "description": "The computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single- processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed. This fundamental technological shift in core computing architecture will require a fundamental change in how we ensure the quality of software. The key issue is that verification techniques need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. In this position paper we would like to advocate the necessity of fully exploiting the power offered by the new computer hardware to make the verification techniques capable of handling next-generation software.", 
    "editor": [
      {
        "familyName": "Margaria", 
        "givenName": "Tiziana", 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-88479-8_43", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-88478-1", 
        "978-3-540-88479-8"
      ], 
      "name": "Leveraging Applications of Formal Methods, Verification and Validation", 
      "type": "Book"
    }, 
    "keywords": [
      "verification techniques", 
      "complexity of software", 
      "quality of software", 
      "single processor chip", 
      "core computing architecture", 
      "multi-core workstations", 
      "next generation software", 
      "new computer hardware", 
      "solid state disks", 
      "external memory devices", 
      "computing architecture", 
      "computer hardware", 
      "new hardware", 
      "state disks", 
      "access speed", 
      "computer industry", 
      "hard disk", 
      "hardware", 
      "software", 
      "position paper", 
      "huge clusters", 
      "chip manufacturers", 
      "terms of capacity", 
      "technological shifts", 
      "development resources", 
      "key issues", 
      "paradigm shift", 
      "new generation", 
      "workstations", 
      "architecture", 
      "memory devices", 
      "complexity", 
      "technique", 
      "chip", 
      "resources", 
      "devices", 
      "issues", 
      "fundamental changes", 
      "speed", 
      "power", 
      "quality", 
      "clusters", 
      "industry", 
      "technological transition", 
      "manufacturers", 
      "generation", 
      "necessity", 
      "terms", 
      "disk", 
      "capacity", 
      "shift", 
      "paper", 
      "changes", 
      "transition"
    ], 
    "name": "Squeeze All the Power Out of Your Hardware to Verify Your Software!", 
    "pagination": "604-618", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1053444460"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-88479-8_43"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-88479-8_43", 
      "https://app.dimensions.ai/details/publication/pub.1053444460"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:46", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_367.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-88479-8_43"
  }
]
 

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-88479-8_43'

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-88479-8_43'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88479-8_43'

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-88479-8_43'


 

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

130 TRIPLES      23 PREDICATES      81 URIs      73 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-88479-8_43 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:0803
4 schema:author N1479d46a81094d24873ab426d44e5a9e
5 schema:datePublished 2008
6 schema:datePublishedReg 2008-01-01
7 schema:description The computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single- processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed. This fundamental technological shift in core computing architecture will require a fundamental change in how we ensure the quality of software. The key issue is that verification techniques need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. In this position paper we would like to advocate the necessity of fully exploiting the power offered by the new computer hardware to make the verification techniques capable of handling next-generation software.
8 schema:editor N9c712931aba6425ca163cd115c0c0b64
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree false
12 schema:isPartOf Nd3909426196842adbd6962e2cc5373bd
13 schema:keywords access speed
14 architecture
15 capacity
16 changes
17 chip
18 chip manufacturers
19 clusters
20 complexity
21 complexity of software
22 computer hardware
23 computer industry
24 computing architecture
25 core computing architecture
26 development resources
27 devices
28 disk
29 external memory devices
30 fundamental changes
31 generation
32 hard disk
33 hardware
34 huge clusters
35 industry
36 issues
37 key issues
38 manufacturers
39 memory devices
40 multi-core workstations
41 necessity
42 new computer hardware
43 new generation
44 new hardware
45 next generation software
46 paper
47 paradigm shift
48 position paper
49 power
50 quality
51 quality of software
52 resources
53 shift
54 single processor chip
55 software
56 solid state disks
57 speed
58 state disks
59 technique
60 technological shifts
61 technological transition
62 terms
63 terms of capacity
64 transition
65 verification techniques
66 workstations
67 schema:name Squeeze All the Power Out of Your Hardware to Verify Your Software!
68 schema:pagination 604-618
69 schema:productId N0e4f67e452ee4a85a4579a042a1df114
70 Nc4c88ca72acf4842bd7dfb9275f62b66
71 schema:publisher N6171e8fd59a44c26b98abee301778152
72 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053444460
73 https://doi.org/10.1007/978-3-540-88479-8_43
74 schema:sdDatePublished 2022-05-20T07:46
75 schema:sdLicense https://scigraph.springernature.com/explorer/license/
76 schema:sdPublisher N2cc4f834aea14985830fa20627945b56
77 schema:url https://doi.org/10.1007/978-3-540-88479-8_43
78 sgo:license sg:explorer/license/
79 sgo:sdDataset chapters
80 rdf:type schema:Chapter
81 N0e4f67e452ee4a85a4579a042a1df114 schema:name dimensions_id
82 schema:value pub.1053444460
83 rdf:type schema:PropertyValue
84 N1479d46a81094d24873ab426d44e5a9e rdf:first sg:person.011367557177.46
85 rdf:rest Ne9979895198640aaaa6053662f4bf290
86 N29a8017f45564ae1859bcd7ad3e2d90c rdf:first Neb35b91299fa4129bcee4479c456a741
87 rdf:rest rdf:nil
88 N2cc4f834aea14985830fa20627945b56 schema:name Springer Nature - SN SciGraph project
89 rdf:type schema:Organization
90 N6171e8fd59a44c26b98abee301778152 schema:name Springer Nature
91 rdf:type schema:Organisation
92 N782eada7bf43437fb4d4793c5ddf4ffc schema:familyName Margaria
93 schema:givenName Tiziana
94 rdf:type schema:Person
95 N9c712931aba6425ca163cd115c0c0b64 rdf:first N782eada7bf43437fb4d4793c5ddf4ffc
96 rdf:rest N29a8017f45564ae1859bcd7ad3e2d90c
97 Nc4c88ca72acf4842bd7dfb9275f62b66 schema:name doi
98 schema:value 10.1007/978-3-540-88479-8_43
99 rdf:type schema:PropertyValue
100 Nd3909426196842adbd6962e2cc5373bd schema:isbn 978-3-540-88478-1
101 978-3-540-88479-8
102 schema:name Leveraging Applications of Formal Methods, Verification and Validation
103 rdf:type schema:Book
104 Ne9979895198640aaaa6053662f4bf290 rdf:first sg:person.0645117057.83
105 rdf:rest rdf:nil
106 Neb35b91299fa4129bcee4479c456a741 schema:familyName Steffen
107 schema:givenName Bernhard
108 rdf:type schema:Person
109 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
110 schema:name Information and Computing Sciences
111 rdf:type schema:DefinedTerm
112 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
113 schema:name Computation Theory and Mathematics
114 rdf:type schema:DefinedTerm
115 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
116 schema:name Computer Software
117 rdf:type schema:DefinedTerm
118 sg:person.011367557177.46 schema:affiliation grid-institutes:grid.10267.32
119 schema:familyName Barnat
120 schema:givenName Jiří
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011367557177.46
122 rdf:type schema:Person
123 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
124 schema:familyName Brim
125 schema:givenName Luboš
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
127 rdf:type schema:Person
128 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Brno, Czech Republic
129 schema:name Faculty of Informatics, Masaryk University, Brno, Czech Republic
130 rdf:type schema:Organization
 




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


...