LEADER 05358nam 22007815 450 001 996465696703316 005 20200706012659.0 010 $a1-280-39044-1 010 $a9786613568366 010 $a3-642-17245-8 024 7 $a10.1007/978-3-642-17245-8 035 $a(CKB)2670000000056677 035 $a(SSID)ssj0000446305 035 $a(PQKBManifestationID)11325927 035 $a(PQKBTitleCode)TC0000446305 035 $a(PQKBWorkID)10496215 035 $a(PQKB)10568744 035 $a(DE-He213)978-3-642-17245-8 035 $a(MiAaPQ)EBC3066130 035 $a(PPN)149890567 035 $a(EXLCZ)992670000000056677 100 $a20101117d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aArchitecting Dependable Systems VII$b[electronic resource] /$fedited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 324 p. 101 illus.) 225 1 $aProgramming and Software Engineering ;$v6420 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-17244-X 320 $aIncludes bibliographical references and author index. 327 $a1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns -- A Framework for Flexible and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems -- 3. Fault Management -- Architecting Dependable Systems with Proactive Fault Management -- ASDF: An Automated, Online Framework for Diagnosing Performance Problems -- 4. Experience and Vision -- Is Collaborative QoS the Solution to the SOA Dependability Dilemma? -- Software Assumptions Failure Tolerance: Role, Strategies, and Visions -- Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges -- Architecting and Validating Dependable Systems: Experiences and Visions. 330 $aAs software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security have to be addressed at the architectural level. This book, as well as its six predecessors, was born of an effort to bring together the research communities of software architectures, dependability, and security. This state-of-the-art survey contains expanded, peer-reviewed papers based on selected contributions from the Workshop on Architecting Dependable Systems (WADS 2009), held at the International Conference on Dependable Systems and Networks (DSN 2009), as well as a number of invited papers written by renowned experts in the area. The 13 papers are organized in topical sections on: mobile and ubiquitous systems, architecting systems, fault management, and experience and vision. 410 0$aProgramming and Software Engineering ;$v6420 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer logic 606 $aComputers 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aComputers. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aModels and Principles. 676 $a004.2/2 702 $aCasimiro$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Lemos$b Rogério$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGacek$b Cristina$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465696703316 996 $aArchitecting Dependable Systems VII$92831329 997 $aUNISA