29 research outputs found
Software Architecture and Dependability
International audienceDependable 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
Recommended from our members
Assessment of three antibiotic combination regimens against Gram-negative bacteria causing neonatal sepsis in low- and middle-income countries.
Gram-negative bacteria (GNB) are a major cause of neonatal sepsis in low- and middle-income countries (LMICs). Although the World Health Organization (WHO) reports that over 80% of these sepsis deaths could be prevented through improved treatment, the efficacy of the currently recommended first- and second-line treatment regimens for this condition is increasingly affected by high rates of drug resistance. Here we assess three well known antibiotics, fosfomycin, flomoxef and amikacin, in combination as potential antibiotic treatment regimens by investigating the drug resistance and genetic profiles of commonly isolated GNB causing neonatal sepsis in LMICs. The five most prevalent bacterial isolates in the NeoOBS study (NCT03721302) are Klebsiella pneumoniae, Acinetobacter baumannii, E. coli, Serratia marcescens and Enterobacter cloacae complex. Among these isolates, high levels of ESBL and carbapenemase encoding genes are detected along with resistance to ampicillin, gentamicin and cefotaxime, the current WHO recommended empiric regimens. The three new combinations show excellent in vitro activity against ESBL-producing K. pneumoniae and E. coli isolates. Our data should further inform and support the clinical evaluation of these three antibiotic combinations for the treatment of neonatal sepsis in areas with high rates of multidrug-resistant Gram-negative bacteria
Revisiting the cod. 31 New Testament of the Hagia Lavra at Kalavryta: Art and patronage in the cultural centre of Mystras in the first half of the fifteenth century
΀his paper revisits the luxurious Palaiologan illuminated manuscript of the New Testament, Codex 31 of the Hagia Lavra monastery in Kalavryta. Iconographic and stylistic characteristics of the miniatures are compared with others and with seals of the early fifteenth century, as well as with the wall-paintings of the Pantanassa Monastery at Îystras (ca 1430). It is argued that the codex was commissioned by Georgios Kantakouzenos Palaiologos, a close collaborator of Konstantinos Palaiologos, Despot of the Morea and subsequent emperor, who lived in Kalavryta and promoted his personal library, which was enjoyed even by Ciriaco of Ancona. © 2022 De Gruyter. All rights reserved
Architectural Description of Dependable Software Systems
Architectural description languages (ADLs) are used within the software engineering community to support the description of high-level structure, or architecture, of software systems. A major advantage of this is the ability to analyze and evaluate trade-off among alternative solutions. This chapter will discuss the role of ADLs for representing and analyzing the architecture of software systems. Since ADLs vary considerably on the modeling aspects that they cover, we will focus our discussions on how ADLs support structuring dependability issues
Anthropogenetic intensity, a new indicator to measure coastal man-made volume, case study: Navpaktos -Aetolia-Acarnania, Greece
Îη ÎŽÎčαΞÎÏÎčΌη ÏΔÏίληÏηNot available summarizationΠαÏÎżÏ
ÏÎčÎŹÏÏηÎșΔ ÏÏÎż: Future Perspectives of GeoInformation for Integrated Coastal Management, GISIG/ICCOPS/ECOImagin