Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/10781Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Zarras, A. | en |
| dc.contributor.author | Kloukinas, C. | en |
| dc.contributor.author | Issarny, V. | en |
| dc.date.accessioned | 2015-11-24T17:00:34Z | - |
| dc.date.available | 2015-11-24T17:00:34Z | - |
| dc.identifier.issn | 0302-9743 | - |
| dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/10781 | - |
| dc.rights | Default Licence | - |
| dc.subject | fault-tolerant | en |
| dc.title | Quality analysis of dependable systems: A developer oriented approach | 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 | The quality of dependable systems (DS) is characterized by a number of non-functional properties (e.g., performance, reliability, availability, etc.). Assessing the DS quality against these properties imposes the application of quality analysis and evaluation. Quality analysis consists of checking, analytically solving, or simulating models of the system, which are specified using formalisms like CSP, CCS, Markov-chains, Petri-nets, Queuing-nets, etc. However, developers are usually not keen on using such formalisms for modeling and evaluating DS quality. On the other hand, they are familiar with using architecture description languages and object-oriented notations for building DS models. Based on the previous and to render the use of traditional quality analysis techniques more tractable, this paper proposes an architecture-based environment that facilitates the specification and quality analysis of DS at the architectural level. | en |
| heal.journalName | Architecting Dependable Systems | en |
| heal.journalType | peer reviewed | - |
| heal.fullTextAvailability | TRUE | - |
| Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Zarras-2003-Quality analysis of dependable systems A developer oriented approach.pdf | 1.66 MB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License
