@prefix epid: .
@prefix void: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix eprel: .
@prefix dc: .
@prefix bibo: .
@prefix geo: .
@prefix owl: .
@prefix event: .
@prefix skos: .
@prefix foaf: .
@prefix rdfs: .
@prefix rdf: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "Validation of Networked Automotive Control Systems using Global Predicates.pdf"^^xsd:string .
rdfs:label "lightbox.jpg"^^xsd:string .
rdfs:label "preview.jpg"^^xsd:string .
rdfs:label "medium.jpg"^^xsd:string .
rdfs:label "small.jpg"^^xsd:string .
rdfs:label "indexcodes.txt"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #1663 \n\nValidation of Networked Automotive Control Systems Using Global Predicates\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Validation of Networked Automotive Control Systems Using Global Predicates (PDF)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:islightboxThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "Validation of Networked Automotive Control Systems Using Global Predicates (Other)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ispreviewThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "Validation of Networked Automotive Control Systems Using Global Predicates (Other)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ismediumThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "Validation of Networked Automotive Control Systems Using Global Predicates (Other)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:issmallThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "Validation of Networked Automotive Control Systems Using Global Predicates (Other)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isIndexCodesVersionOf ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
rdf:type ep:Document;
rdfs:label "Validation of Networked Automotive Control Systems Using Global Predicates (Other)"^^xsd:string .
rdf:_1 .
bibo:abstract "Vehicles consist of many connected networks of electronic control units (ECUs). Automotive application software (e.g. traction control system, climate control, engine management) is distributed across many separate ECUs, making\napplication testing and system integration very difficult. The main difficulty is in constructing a global application state, due to the asynchronous independent operation of each ECU.\n\nThe aim of this research is to make the system integration more efficient by creating a global application state based on analysis of application test results. To achieve this goal, a prototype program was developed to construct global states and to analyse these global states. The prototype collects ECU state and network interaction data using the Vector CANoe tool. From these data a lattice of consistent global application states is constructed. The global state lattice can then be used as the basis for analysing ECU signal consistency across ECUs and identifying the potential for erroneous system states to be entered.\n\nTest results from the prototype demonstrate the validity of the theoretical approach despite the disadvantage of the state space explosion associated with large distributed systems."^^xsd:string;
bibo:authorList ;
bibo:status ;
dct:creator ;
dct:date "2011-06";
dct:isPartOf ;
dct:issuer ,
;
dct:subject ;
dct:title "Validation of Networked Automotive Control Systems Using Global Predicates"^^xsd:string;
ep:hasDocument ,
,
,
,
,
;
rdf:type bibo:Article,
bibo:Thesis,
ep:EPrint,
ep:ThesisEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "*NONE OF THESE*"@en .
dct:isPartOf ;
foaf:name "School of Engineering, Waterford Institute of Technology"^^xsd:string;
rdf:type foaf:Organization .
dct:hasPart ;
foaf:name "Waterford Institute of Technology"^^xsd:string;
rdf:type foaf:Organization .
foaf:familyName "Liang"^^xsd:string;
foaf:givenName "Zhang"^^xsd:string;
foaf:name "Zhang Liang"^^xsd:string;
rdf:type foaf:Person .