{"data":{"id":"10.48550/arxiv.0704.0865","type":"dois","attributes":{"doi":"10.48550/arxiv.0704.0865","prefix":"10.48550","suffix":"arxiv.0704.0865","identifiers":[{"identifier":"0704.0865","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"0704.0865"}],"creators":[{"name":"Rugina, Ana-Elena","nameType":"Personal","givenName":"Ana-Elena","familyName":"Rugina","affiliation":["LAAS"],"nameIdentifiers":[]},{"name":"Kanoun, Karama","nameType":"Personal","givenName":"Karama","familyName":"Kanoun","affiliation":["LAAS"],"nameIdentifiers":[]},{"name":"Kaaniche, Mohamed","nameType":"Personal","givenName":"Mohamed","familyName":"Kaaniche","affiliation":["LAAS"],"nameIdentifiers":[]}],"titles":[{"title":"An architecture-based dependability modeling framework using AADL"}],"publisher":"arXiv","container":{},"publicationYear":2007,"subjects":[{"lang":"en","subject":"Performance (cs.PF)","subjectScheme":"arXiv"},{"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":"2007-04-06T09:33:06Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2009-12-01T09:01:36Z","dateType":"Updated","dateInformation":"v1"},{"date":"2007-04","dateType":"Available","dateInformation":"v1"},{"date":"2007","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004","rightsUri":"http://arxiv.org/licenses/assumed-1991-2003/"}],"descriptions":[{"description":"For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate several types of analyses. This paper presents an iterative dependency-driven approach for dependability modeling using AADL. It is illustrated on a small example. This approach is part of a complete framework that allows the generation of dependability analysis and evaluation models from AADL models to support the analysis of software and system architectures, in critical application domains.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4wNzA0LjA4NjU8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij4wNzA0LjA4NjU8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+UnVnaW5hLCBBbmEtRWxlbmE8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkFuYS1FbGVuYTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5SdWdpbmE8L2ZhbWlseU5hbWU+CiAgICAgIDxhZmZpbGlhdGlvbj5MQUFTPC9hZmZpbGlhdGlvbj4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5LYW5vdW4sIEthcmFtYTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+S2FyYW1hPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkthbm91bjwvZmFtaWx5TmFtZT4KICAgICAgPGFmZmlsaWF0aW9uPkxBQVM8L2FmZmlsaWF0aW9uPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkthYW5pY2hlLCBNb2hhbWVkPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5Nb2hhbWVkPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkthYW5pY2hlPC9mYW1pbHlOYW1lPgogICAgICA8YWZmaWxpYXRpb24+TEFBUzwvYWZmaWxpYXRpb24+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPkFuIGFyY2hpdGVjdHVyZS1iYXNlZCBkZXBlbmRhYmlsaXR5IG1vZGVsaW5nIGZyYW1ld29yayB1c2luZyBBQURMPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPmFyWGl2PC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDA3PC9wdWJsaWNhdGlvblllYXI+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+UGVyZm9ybWFuY2UgKGNzLlBGKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPlNvZnR3YXJlIEVuZ2luZWVyaW5nIChjcy5TRSk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBDb21wdXRlciBhbmQgaW5mb3JtYXRpb24gc2NpZW5jZXM8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA3LTA0LTA2VDA5OjMzOjA2WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA5LTEyLTAxVDA5OjAxOjM2WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMDctMDQ8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlRleHQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvYXNzdW1lZC0xOTkxLTIwMDMvIj5Bc3N1bWVkIGFyWGl2Lm9yZyBwZXJwZXR1YWwsIG5vbi1leGNsdXNpdmUgbGljZW5zZSB0byBkaXN0cmlidXRlIHRoaXMgYXJ0aWNsZSBmb3Igc3VibWlzc2lvbnMgbWFkZSBiZWZvcmUgSmFudWFyeSAyMDA0PC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+Rm9yIGVmZmljaWVuY3kgcmVhc29ucywgdGhlIHNvZnR3YXJlIHN5c3RlbSBkZXNpZ25lcnMnIHdpbGwgaXMgdG8gdXNlIGFuIGludGVncmF0ZWQgc2V0IG9mIG1ldGhvZHMgYW5kIHRvb2xzIHRvIGRlc2NyaWJlIHNwZWNpZmljYXRpb25zIGFuZCBkZXNpZ25zLCBhbmQgYWxzbyB0byBwZXJmb3JtIGFuYWx5c2VzIHN1Y2ggYXMgZGVwZW5kYWJpbGl0eSwgc2NoZWR1bGFiaWxpdHkgYW5kIHBlcmZvcm1hbmNlLiBBQURMIChBcmNoaXRlY3R1cmUgQW5hbHlzaXMgYW5kIERlc2lnbiBMYW5ndWFnZSkgaGFzIHByb3ZlZCB0byBiZSBlZmZpY2llbnQgZm9yIHNvZnR3YXJlIGFyY2hpdGVjdHVyZSBtb2RlbGluZy4gSW4gYWRkaXRpb24sIEFBREwgd2FzIGRlc2lnbmVkIHRvIGFjY29tbW9kYXRlIHNldmVyYWwgdHlwZXMgb2YgYW5hbHlzZXMuIFRoaXMgcGFwZXIgcHJlc2VudHMgYW4gaXRlcmF0aXZlIGRlcGVuZGVuY3ktZHJpdmVuIGFwcHJvYWNoIGZvciBkZXBlbmRhYmlsaXR5IG1vZGVsaW5nIHVzaW5nIEFBREwuIEl0IGlzIGlsbHVzdHJhdGVkIG9uIGEgc21hbGwgZXhhbXBsZS4gVGhpcyBhcHByb2FjaCBpcyBwYXJ0IG9mIGEgY29tcGxldGUgZnJhbWV3b3JrIHRoYXQgYWxsb3dzIHRoZSBnZW5lcmF0aW9uIG9mIGRlcGVuZGFiaWxpdHkgYW5hbHlzaXMgYW5kIGV2YWx1YXRpb24gbW9kZWxzIGZyb20gQUFETCBtb2RlbHMgdG8gc3VwcG9ydCB0aGUgYW5hbHlzaXMgb2Ygc29mdHdhcmUgYW5kIHN5c3RlbSBhcmNoaXRlY3R1cmVzLCBpbiBjcml0aWNhbCBhcHBsaWNhdGlvbiBkb21haW5zLjwvZGVzY3JpcHRpb24+CiAgPC9kZXNjcmlwdGlvbnM+CjwvcmVzb3VyY2U+","url":"https://arxiv.org/abs/0704.0865","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-03-16T11:08:25.000Z","registered":"2022-03-16T11:08:26.000Z","published":"2007","updated":"2022-03-16T11:08:26.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.0704.0865","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}