Awas: AADL information flow and error propagation analysis framework View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2021-07-19

AUTHORS

Hariharan Thiagarajan, John Hatcliff, Robby

ABSTRACT

The continued maturation of industry standard architecture description languages is providing a foundation for more sophisticated analyses earlier in the system engineering process. The Architecture Analysis and Design Language (AADL) and its supporting annotation sub-languages provide the ability to model system hardware/software components as well as information flows within the system. Such flows include conventional notions of data/control flows, security-oriented information flows, and fault/error propagation paths supported by the AADL Error Modeling Annex (EMv2)—all of which are central to engineering safety/security-critical systems. In this paper, we describe Awas-an open-source framework for reachability analysis on AADL models annotated with flow annotations at varying degrees of detail. The framework provides highly scalable interactive flow visualizations with dynamic querying capabilities. To assist the user, we provide a simple domain-specific language to check safety and security properties. To evaluate Awas, we apply it to a collection of industrial models of safety/security-critical systems from the medical and avionics domains. More... »

PAGES

1-20

References to SciGraph publications

  • 2013. BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software in NASA FORMAL METHODS
  • 2020-09-04. Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling in MODEL-BASED SAFETY AND ASSESSMENT
  • 2007-07-25. Slicing concurrent Java programs using Indus and Kaveri in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s11334-021-00410-w

    DOI

    http://dx.doi.org/10.1007/s11334-021-00410-w

    DIMENSIONS

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


    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/0801", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Artificial Intelligence and Image Processing", 
            "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"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0804", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Data Format", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Kansas State University, Manhattan, KS, USA", 
              "id": "http://www.grid.ac/institutes/grid.36567.31", 
              "name": [
                "Kansas State University, Manhattan, KS, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Thiagarajan", 
            "givenName": "Hariharan", 
            "id": "sg:person.016551136224.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016551136224.15"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Kansas State University, Manhattan, KS, USA", 
              "id": "http://www.grid.ac/institutes/grid.36567.31", 
              "name": [
                "Kansas State University, Manhattan, KS, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hatcliff", 
            "givenName": "John", 
            "id": "sg:person.014635222727.02", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Kansas State University, Manhattan, KS, USA", 
              "id": "http://www.grid.ac/institutes/grid.36567.31", 
              "name": [
                "Kansas State University, Manhattan, KS, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Robby", 
            "id": "sg:person.01323065620.10", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01323065620.10"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s10009-007-0043-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039194323", 
              "https://doi.org/10.1007/s10009-007-0043-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38088-4_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001945350", 
              "https://doi.org/10.1007/978-3-642-38088-4_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-030-58920-2_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1130564553", 
              "https://doi.org/10.1007/978-3-030-58920-2_3"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2021-07-19", 
        "datePublishedReg": "2021-07-19", 
        "description": "The continued maturation of industry standard architecture description languages is providing a foundation for more sophisticated analyses earlier in the system engineering process. The Architecture Analysis and Design Language (AADL) and its supporting annotation sub-languages provide the ability to model system hardware/software components as well as information flows within the system. Such flows include conventional notions of data/control flows, security-oriented information flows, and fault/error propagation paths supported by the AADL Error Modeling Annex (EMv2)\u2014all of which are central to engineering safety/security-critical systems. In this paper, we describe Awas-an open-source framework for reachability analysis on AADL models annotated with flow annotations at varying degrees of detail. The framework provides highly scalable interactive flow visualizations with dynamic querying capabilities. To assist the user, we provide a simple domain-specific language to check safety and security properties. To evaluate Awas, we apply it to a collection of industrial models of safety/security-critical systems from the medical and avionics domains.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s11334-021-00410-w", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1044675", 
            "issn": [
              "1614-5046", 
              "1614-5054"
            ], 
            "name": "Innovations in Systems and Software Engineering", 
            "type": "Periodical"
          }
        ], 
        "keywords": [
          "security-critical systems", 
          "standard architecture description language", 
          "hardware/software components", 
          "simple domain-specific language", 
          "architecture description language", 
          "domain-specific language", 
          "open-source framework", 
          "systems engineering process", 
          "error propagation paths", 
          "software components", 
          "querying capabilities", 
          "AADL model", 
          "security properties", 
          "avionics domain", 
          "description language", 
          "architecture analysis", 
          "design language", 
          "engineering process", 
          "reachability analysis", 
          "information flow", 
          "analysis framework", 
          "degree of detail", 
          "annotation", 
          "language", 
          "framework", 
          "industrial model", 
          "sophisticated analysis", 
          "users", 
          "information", 
          "continued maturation", 
          "system", 
          "visualization", 
          "AWA", 
          "capability", 
          "model", 
          "path", 
          "collection", 
          "conventional notions", 
          "domain", 
          "propagation path", 
          "foundation", 
          "notion", 
          "detail", 
          "annex", 
          "process", 
          "analysis", 
          "components", 
          "ability", 
          "safety", 
          "flow visualization", 
          "flow", 
          "control", 
          "such flows", 
          "degree", 
          "properties", 
          "paper", 
          "maturation", 
          "industry standard architecture description languages", 
          "system hardware/software components", 
          "data/control", 
          "security-oriented information", 
          "fault/error propagation paths", 
          "AADL Error Modeling Annex", 
          "Error Modeling Annex", 
          "Modeling Annex", 
          "engineering safety/security-critical systems", 
          "safety/security-critical systems", 
          "flow annotations", 
          "scalable interactive flow visualizations", 
          "interactive flow visualizations", 
          "dynamic querying capabilities", 
          "AADL information flow", 
          "error propagation analysis framework", 
          "propagation analysis framework"
        ], 
        "name": "Awas: AADL information flow and error propagation analysis framework", 
        "pagination": "1-20", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1139799603"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s11334-021-00410-w"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s11334-021-00410-w", 
          "https://app.dimensions.ai/details/publication/pub.1139799603"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-01-01T18:59", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_875.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s11334-021-00410-w"
      }
    ]
     

    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/s11334-021-00410-w'

    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/s11334-021-00410-w'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11334-021-00410-w'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11334-021-00410-w'


     

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

    162 TRIPLES      22 PREDICATES      103 URIs      89 LITERALS      4 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s11334-021-00410-w schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 anzsrc-for:0803
    4 anzsrc-for:0804
    5 anzsrc-for:0806
    6 schema:author N02982a2503de4f80b6a145af4ccb0c5c
    7 schema:citation sg:pub.10.1007/978-3-030-58920-2_3
    8 sg:pub.10.1007/978-3-642-38088-4_19
    9 sg:pub.10.1007/s10009-007-0043-0
    10 schema:datePublished 2021-07-19
    11 schema:datePublishedReg 2021-07-19
    12 schema:description The continued maturation of industry standard architecture description languages is providing a foundation for more sophisticated analyses earlier in the system engineering process. The Architecture Analysis and Design Language (AADL) and its supporting annotation sub-languages provide the ability to model system hardware/software components as well as information flows within the system. Such flows include conventional notions of data/control flows, security-oriented information flows, and fault/error propagation paths supported by the AADL Error Modeling Annex (EMv2)—all of which are central to engineering safety/security-critical systems. In this paper, we describe Awas-an open-source framework for reachability analysis on AADL models annotated with flow annotations at varying degrees of detail. The framework provides highly scalable interactive flow visualizations with dynamic querying capabilities. To assist the user, we provide a simple domain-specific language to check safety and security properties. To evaluate Awas, we apply it to a collection of industrial models of safety/security-critical systems from the medical and avionics domains.
    13 schema:genre article
    14 schema:inLanguage en
    15 schema:isAccessibleForFree false
    16 schema:isPartOf sg:journal.1044675
    17 schema:keywords AADL Error Modeling Annex
    18 AADL information flow
    19 AADL model
    20 AWA
    21 Error Modeling Annex
    22 Modeling Annex
    23 ability
    24 analysis
    25 analysis framework
    26 annex
    27 annotation
    28 architecture analysis
    29 architecture description language
    30 avionics domain
    31 capability
    32 collection
    33 components
    34 continued maturation
    35 control
    36 conventional notions
    37 data/control
    38 degree
    39 degree of detail
    40 description language
    41 design language
    42 detail
    43 domain
    44 domain-specific language
    45 dynamic querying capabilities
    46 engineering process
    47 engineering safety/security-critical systems
    48 error propagation analysis framework
    49 error propagation paths
    50 fault/error propagation paths
    51 flow
    52 flow annotations
    53 flow visualization
    54 foundation
    55 framework
    56 hardware/software components
    57 industrial model
    58 industry standard architecture description languages
    59 information
    60 information flow
    61 interactive flow visualizations
    62 language
    63 maturation
    64 model
    65 notion
    66 open-source framework
    67 paper
    68 path
    69 process
    70 propagation analysis framework
    71 propagation path
    72 properties
    73 querying capabilities
    74 reachability analysis
    75 safety
    76 safety/security-critical systems
    77 scalable interactive flow visualizations
    78 security properties
    79 security-critical systems
    80 security-oriented information
    81 simple domain-specific language
    82 software components
    83 sophisticated analysis
    84 standard architecture description language
    85 such flows
    86 system
    87 system hardware/software components
    88 systems engineering process
    89 users
    90 visualization
    91 schema:name Awas: AADL information flow and error propagation analysis framework
    92 schema:pagination 1-20
    93 schema:productId N2fec751bbc21463fa43017418668e515
    94 N41041332ff8145fb8bd9f2ce19e6aaa1
    95 schema:sameAs https://app.dimensions.ai/details/publication/pub.1139799603
    96 https://doi.org/10.1007/s11334-021-00410-w
    97 schema:sdDatePublished 2022-01-01T18:59
    98 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    99 schema:sdPublisher N56e0d38b50e54d43acd71f09959603e2
    100 schema:url https://doi.org/10.1007/s11334-021-00410-w
    101 sgo:license sg:explorer/license/
    102 sgo:sdDataset articles
    103 rdf:type schema:ScholarlyArticle
    104 N02982a2503de4f80b6a145af4ccb0c5c rdf:first sg:person.016551136224.15
    105 rdf:rest N2a1f84f6dc28445984b217be16c428fd
    106 N2a1f84f6dc28445984b217be16c428fd rdf:first sg:person.014635222727.02
    107 rdf:rest Nfac5baa71c9f4394a54f761eed80dafc
    108 N2fec751bbc21463fa43017418668e515 schema:name dimensions_id
    109 schema:value pub.1139799603
    110 rdf:type schema:PropertyValue
    111 N41041332ff8145fb8bd9f2ce19e6aaa1 schema:name doi
    112 schema:value 10.1007/s11334-021-00410-w
    113 rdf:type schema:PropertyValue
    114 N56e0d38b50e54d43acd71f09959603e2 schema:name Springer Nature - SN SciGraph project
    115 rdf:type schema:Organization
    116 Nfac5baa71c9f4394a54f761eed80dafc rdf:first sg:person.01323065620.10
    117 rdf:rest rdf:nil
    118 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    119 schema:name Information and Computing Sciences
    120 rdf:type schema:DefinedTerm
    121 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    122 schema:name Artificial Intelligence and Image Processing
    123 rdf:type schema:DefinedTerm
    124 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    125 schema:name Computer Software
    126 rdf:type schema:DefinedTerm
    127 anzsrc-for:0804 schema:inDefinedTermSet anzsrc-for:
    128 schema:name Data Format
    129 rdf:type schema:DefinedTerm
    130 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    131 schema:name Information Systems
    132 rdf:type schema:DefinedTerm
    133 sg:journal.1044675 schema:issn 1614-5046
    134 1614-5054
    135 schema:name Innovations in Systems and Software Engineering
    136 rdf:type schema:Periodical
    137 sg:person.01323065620.10 schema:affiliation grid-institutes:grid.36567.31
    138 schema:familyName Robby
    139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01323065620.10
    140 rdf:type schema:Person
    141 sg:person.014635222727.02 schema:affiliation grid-institutes:grid.36567.31
    142 schema:familyName Hatcliff
    143 schema:givenName John
    144 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014635222727.02
    145 rdf:type schema:Person
    146 sg:person.016551136224.15 schema:affiliation grid-institutes:grid.36567.31
    147 schema:familyName Thiagarajan
    148 schema:givenName Hariharan
    149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016551136224.15
    150 rdf:type schema:Person
    151 sg:pub.10.1007/978-3-030-58920-2_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1130564553
    152 https://doi.org/10.1007/978-3-030-58920-2_3
    153 rdf:type schema:CreativeWork
    154 sg:pub.10.1007/978-3-642-38088-4_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001945350
    155 https://doi.org/10.1007/978-3-642-38088-4_19
    156 rdf:type schema:CreativeWork
    157 sg:pub.10.1007/s10009-007-0043-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039194323
    158 https://doi.org/10.1007/s10009-007-0043-0
    159 rdf:type schema:CreativeWork
    160 grid-institutes:grid.36567.31 schema:alternateName Kansas State University, Manhattan, KS, USA
    161 schema:name Kansas State University, Manhattan, KS, USA
    162 rdf:type schema:Organization
     




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


    ...