Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/10758
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Issarny, V. | en |
dc.contributor.author | Zarras, A. | en |
dc.date.accessioned | 2015-11-24T17:00:23Z | - |
dc.date.available | 2015-11-24T17:00:23Z | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/10758 | - |
dc.rights | Default Licence | - |
dc.subject | fault-tolerant | en |
dc.subject | definition | en |
dc.subject | systems | en |
dc.subject | tools | en |
dc.title | Software architecture and dependability | en |
heal.type | journalArticle | - |
heal.type.en | Journal article | en |
heal.type.el | Άρθρο Περιοδικού | el |
heal.language | en | - |
heal.access | campus | - |
heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
heal.publicationDate | 2003 | - |
heal.abstract | Dependable systems are characterized by a number of attributes including: reliability, availability, safety and security. For some attributes (namely for reliability, availability, safety), there exist probability-based theoretic foundations, enabling the application of dependability analysis techniques. The goal of dependability analysis is to forecast the values of dependability attributes, based on certain properties (e.g. failure rate, MTBF, etc.) that characterize the system's constituent elements. Nowadays, architects, designers and developers build systems based on an architecture-driven approach. They specify the system's software architecture using Architecture Description Languages or other standard modeling notations like UML. Given the previous, we examine what we need to specify at the architectural level to enable the automated generation of models for dependability analysis. In this paper, we further present a prototype implementation of the proposed approach, which relies on UML specifications of dependable systems' software architectures. Moreover, we exemplify our approach using a case study system. | en |
heal.journalName | Formal Methods for Software Architectures | en |
heal.journalType | peer reviewed | - |
heal.fullTextAvailability | TRUE | - |
Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Zarras-2003-Software Architecture and Dependability.pdf | 308.18 kB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License