{"data":{"id":"10.48550/arxiv.1903.05361","type":"dois","attributes":{"doi":"10.48550/arxiv.1903.05361","prefix":"10.48550","suffix":"arxiv.1903.05361","identifiers":[{"identifier":"1903.05361","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1903.05361"}],"creators":[{"name":"Ghadhab, Majdi","nameType":"Personal","givenName":"Majdi","familyName":"Ghadhab","affiliation":[],"nameIdentifiers":[]},{"name":"Junges, Sebastian","nameType":"Personal","givenName":"Sebastian","familyName":"Junges","affiliation":[],"nameIdentifiers":[]},{"name":"Katoen, Joost-Pieter","nameType":"Personal","givenName":"Joost-Pieter","familyName":"Katoen","affiliation":[],"nameIdentifiers":[]},{"name":"Kuntz, Matthias","nameType":"Personal","givenName":"Matthias","familyName":"Kuntz","affiliation":[],"nameIdentifiers":[]},{"name":"Volk, Matthias","nameType":"Personal","givenName":"Matthias","familyName":"Volk","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees"}],"publisher":"arXiv","container":{},"publicationYear":2019,"subjects":[{"lang":"en","subject":"Software Engineering (cs.SE)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"}],"contributors":[],"dates":[{"date":"2019-03-13T08:48:32Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2019-03-14T00:11:06Z","dateType":"Updated","dateInformation":"v1"},{"date":"2019-03","dateType":"Available","dateInformation":"v1"},{"date":"2019","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1016/j.ress.2019.02.005","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees can be used to evaluate various quantitative measures by means of model checking. The approach is accompanied by a large-scale evaluation: The resulting DFTs with up to 300 elements constitute larger-than-before DFTs, yet the concepts and architectures can be evaluated in a matter of minutes.","descriptionType":"Abstract"},{"description":"Accepted in RESS","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xOTAzLjA1MzYxPC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MTkwMy4wNTM2MTwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5HaGFkaGFiLCBNYWpkaTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TWFqZGk8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+R2hhZGhhYjwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5KdW5nZXMsIFNlYmFzdGlhbjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+U2ViYXN0aWFuPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkp1bmdlczwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5LYXRvZW4sIEpvb3N0LVBpZXRlcjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+Sm9vc3QtUGlldGVyPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkthdG9lbjwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5LdW50eiwgTWF0dGhpYXM8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPk1hdHRoaWFzPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkt1bnR6PC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPlZvbGssIE1hdHRoaWFzPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5NYXR0aGlhczwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5Wb2xrPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5TYWZldHkgQW5hbHlzaXMgZm9yIFZlaGljbGUgR3VpZGFuY2UgU3lzdGVtcyB3aXRoIER5bmFtaWMgRmF1bHQgVHJlZXM8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTk8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Tb2Z0d2FyZSBFbmdpbmVlcmluZyAoY3MuU0UpPC9zdWJqZWN0PgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iRmllbGRzIG9mIFNjaWVuY2UgYW5kIFRlY2hub2xvZ3kgKEZPUykiPkZPUzogQ29tcHV0ZXIgYW5kIGluZm9ybWF0aW9uIHNjaWVuY2VzPC9zdWJqZWN0PgogIDwvc3ViamVjdHM+CiAgPGRhdGVzPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxOS0wMy0xM1QwODo0ODozMlo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxOS0wMy0xNFQwMDoxMTowNlo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iQXZhaWxhYmxlIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDE5LTAzPC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJUZXh0Ij5BcnRpY2xlPC9yZXNvdXJjZVR5cGU+CiAgPHJlbGF0ZWRJZGVudGlmaWVycz4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IkRPSSIgcmVsYXRpb25UeXBlPSJJc1ZlcnNpb25PZiI+MTAuMTAxNi9qLnJlc3MuMjAxOS4wMi4wMDU8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDx2ZXJzaW9uPjE8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cDovL2FyeGl2Lm9yZy9saWNlbnNlcy9ub25leGNsdXNpdmUtZGlzdHJpYi8xLjAvIj5hclhpdi5vcmcgcGVycGV0dWFsLCBub24tZXhjbHVzaXZlIGxpY2Vuc2U8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5UaGlzIHBhcGVyIGNvbnNpZGVycyB0aGUgZGVzaWduLXBoYXNlIHNhZmV0eSBhbmFseXNpcyBvZiB2ZWhpY2xlIGd1aWRhbmNlIHN5c3RlbXMuIFRoZSBwcm9wb3NlZCBhcHByb2FjaCBjb25zdHJ1Y3RzIGR5bmFtaWMgZmF1bHQgdHJlZXMgKERGVHMpIHRvIG1vZGVsIGEgdmFyaWV0eSBvZiBzYWZldHkgY29uY2VwdHMgYW5kIEUvRSBhcmNoaXRlY3R1cmVzIGZvciBkcml2ZSBhdXRvbWF0aW9uLiBUaGUgZmF1bHQgdHJlZXMgY2FuIGJlIHVzZWQgdG8gZXZhbHVhdGUgdmFyaW91cyBxdWFudGl0YXRpdmUgbWVhc3VyZXMgYnkgbWVhbnMgb2YgbW9kZWwgY2hlY2tpbmcuIFRoZSBhcHByb2FjaCBpcyBhY2NvbXBhbmllZCBieSBhIGxhcmdlLXNjYWxlIGV2YWx1YXRpb246IFRoZSByZXN1bHRpbmcgREZUcyB3aXRoIHVwIHRvIDMwMCBlbGVtZW50cyBjb25zdGl0dXRlIGxhcmdlci10aGFuLWJlZm9yZSBERlRzLCB5ZXQgdGhlIGNvbmNlcHRzIGFuZCBhcmNoaXRlY3R1cmVzIGNhbiBiZSBldmFsdWF0ZWQgaW4gYSBtYXR0ZXIgb2YgbWludXRlcy48L2Rlc2NyaXB0aW9uPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iT3RoZXIiPkFjY2VwdGVkIGluIFJFU1M8L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/1903.05361","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-02-28T08:06:15.000Z","registered":"2022-02-28T08:06:17.000Z","published":"2019","updated":"2022-02-28T08:06:17.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1903.05361","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}