Download the Publication
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Balancing Dependability Quality Attributes Relationships for Increased Embedded Systems Dependability
Master Thesis Software Engineering Thesis no: MSE-2009:17 September 2009 Balancing Dependability Quality Attributes Relationships for Increased Embedded Systems Dependability Saleh Al-Daajeh Supervisor: Professor Mikael Svahnberg School of Engineering Blekinge Institute of Technology Box 520 SE – 372 25 Ronneby Sweden This thesis is submitted to the School of Engineering at Blekinge Institute of Technology in partial fulfillment of the requirements for the degree of Master of Science in Software Engineering. The thesis is equivalent to 2 x 20 weeks of full time studies. Contact Information: Author: Saleh Al-Daajeh E-mail: [email protected] University advisor: Prof. Miakel Svahnberg School of Engineering Internet : www.bth.se/tek Blekinge Institute of Technology Phone : +46 457 385 000 Box 520 Fax : +46 457 271 25 SE – 372 25 Ronneby Sweden II Abstract Embedded systems are used in many critical applications of our daily life. The increased complexity of embedded systems and the tightened safety regulations posed on them and the scope of the environment in which they operate are driving the need for more dependable embedded systems. Therefore, achieving a high level of dependability to embedded systems is an ultimate goal. In order to achieve this goal we are in need of understanding the interrelationships between the different dependability quality attributes and other embedded systems’ quality attributes. This research study provides indicators of the relationship between the dependability quality attributes and other quality attributes for embedded systems by identify- ing the impact of architectural tactics as the candidate solutions to construct dependable embedded systems. III Acknowledgment I would like to express my gratitude to all those who gave me the possibility to complete this thesis. -
A Reasoning Framework for Dependability in Software Architectures Tacksoo Im Clemson University, [email protected]
Clemson University TigerPrints All Dissertations Dissertations 12-2010 A Reasoning Framework for Dependability in Software Architectures Tacksoo Im Clemson University, [email protected] Follow this and additional works at: https://tigerprints.clemson.edu/all_dissertations Part of the Computer Sciences Commons Recommended Citation Im, Tacksoo, "A Reasoning Framework for Dependability in Software Architectures" (2010). All Dissertations. 618. https://tigerprints.clemson.edu/all_dissertations/618 This Dissertation is brought to you for free and open access by the Dissertations at TigerPrints. It has been accepted for inclusion in All Dissertations by an authorized administrator of TigerPrints. For more information, please contact [email protected]. A Reasoning Framework for Dependability in Software Architectures A Dissertation Presented to the Graduate School of Clemson University In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy Computer Science by Tacksoo Im August 2010 Accepted by: Dr. John D. McGregor, Committee Chair Dr. Harold C. Grossman Dr. Jason O. Hallstrom Dr. Pradip K. Srimani Abstract The degree to which a software system possesses specified levels of software quality at- tributes, such as performance and modifiability, often have more influence on the success and failure of those systems than the functional requirements. One method of improving the level of a software quality that a product possesses is to reason about the structure of the software architecture in terms of how well the structure supports the quality. This is accomplished by reasoning through software quality attribute scenarios while designing the software architecture of the system. As society relies more heavily on software systems, the dependability of those systems be- comes critical. -
Fundamental Concepts of Dependability
Fundamental Concepts of Dependability Algirdas Avizˇ ienis Jean-Claude Laprie Brian Randell UCLA Computer Science Dept. LAAS-CNRS Dept. of Computing Science Univ. of California, Los Angeles Toulouse Univ. of Newcastle upon Tyne USA France U.K. UCLA CSD Report no. 010028 LAAS Report no. 01-145 Newcastle University Report no. CS-TR-739 LIMITED DISTRIBUTION NOTICE This report has been submitted for publication. It has been issued as a research report for early peer distribution. Abstract Dependability is the system property that integrates such attributes as reliability, availability, safety, security, survivability, maintainability. The aim of the presentation is to summarize the fundamental concepts of dependability. After a historical perspective, definitions of dependability are given. A structured view of dependability follows, according to a) the threats, i.e., faults, errors and failures, b) the attributes, and c) the means for dependability, that are fault prevention, fault tolerance, fault removal and fault forecasting. he protection and survival of complex information systems that are embedded in the infrastructure supporting advanced society has become a national and world-wide concern of the 1 Thighest priority . Increasingly, individuals and organizations are developing or procuring sophisticated computing systems on whose services they need to place great reliance — whether to service a set of cash dispensers, control a satellite constellation, an airplane, a nuclear plant, or a radiation therapy device, or to maintain the confidentiality of a sensitive data base. In differing circumstances, the focus will be on differing properties of such services — e.g., on the average real-time response achieved, the likelihood of producing the required results, the ability to avoid failures that could be catastrophic to the system's environment, or the degree to which deliberate intrusions can be prevented. -
Earthjustice-2016-Annual-Report.Pdf
2016 ANNUAL REPORT Our We are here MISSION BECAUSE THE EARTH NEEDS A GOOD LAWYER. Earthjustice is the premier nonprofit public interest environmental law organization. We wield the power of law and the strength of partnership to protect people’s health; to preserve magnificent places and wildlife; to advance clean energy; and to combat climate change. Earthjustice attorney Tom Waldo in Alaska’s Tongass National Forest THANK YOU A Letter from Our President and Board Chair Clean air, clean water, thriving communities, a vibrant, healthy natural world—these are things that most of us hold dear. Regardless of the political party we support, we cherish our rich natural heritage and strive to make the world a better place for our children. Political winds change, but these shared values— values that drive our work here at Earthjustice—stand the test of time. These are the fights we cannot afford to lose. Thanks to your support, Earthjustice made substantial progress in fiscal year 2016. As you will read in these pages, together we won key victories in each of our programs. We protected the wild with our fight to restore wild salmon to the Columbia and Snake Rivers in the Pacific Northwest and our efforts to put the brakes on a sprawling resort complex that threatened the Grand Canyon. With our partners and allies, we made major steps toward addressing the climate crisis, blocking a massive coal strip mine in Montana and coal export facilities on the West Coast, and defeating attacks on renewable energy while winning clean energy advances across the country. -
Dependability Assessment of Software- Based Systems: State of the Art
Dependability Assessment of Software- based Systems: State of the Art Bev Littlewood Centre for Software Reliability, City University, London [email protected] You can pick up a copy of my presentation here, if you have a lap-top ICSE2005, St Louis, May 2005 - slide 1 Do you remember 10-9 and all that? • Twenty years ago: much controversy about need for 10-9 probability of failure per hour for flight control software – could you achieve it? could you measure it? – have things changed since then? ICSE2005, St Louis, May 2005 - slide 2 Issues I want to address in this talk • Why is dependability assessment still an important problem? (why haven’t we cracked it by now?) • What is the present position? (what can we do now?) • Where do we go from here? ICSE2005, St Louis, May 2005 - slide 3 Why do we need to assess reliability? Because all software needs to be sufficiently reliable • This is obvious for some applications - e.g. safety-critical ones where failures can result in loss of life • But it’s also true for more ‘ordinary’ applications – e.g. commercial applications such as banking - the new Basel II accords impose risk assessment obligations on banks, and these include IT risks – e.g. what is the cost of failures, world-wide, in MS products such as Office? • Gloomy personal view: where it’s obvious we should do it (e.g. safety) it’s (sometimes) too difficult; where we can do it, we don’t… ICSE2005, St Louis, May 2005 - slide 4 What reliability levels are required? • Most quantitative requirements are from safety-critical systems. -
Like Water and Oil: Ocean-Based Fish Farming and Organic Don’T Mix
LIKE WATER AND OIL: OCEAN-BASED FISH FARMING AND ORGANIC DON’T MIX OCTOBER 2014 ABOUT US CENTER FOR FOOD SAFETY (CFS) is a national, non-profit, public interest membership organization founded in 1997 to protect human health and the environment by curbing the use of harmful food production technologies and by promoting organic and other forms of sustainable agriculture. Our membership has rapidly grown to include over a half million people across the country that support organic food and farming, grow organic food, and regularly purchase organic. More information can be found at www.centerforfoodsafety.org. Organic and Beyond Campaign Center for Food Safety works to maintain and enhance strong organic standards that live up to the quality and integrity that consumers expect from organic products through legal actions, policy comments, public testimony to government agencies and Congress, and public education. We strive to evolve the organic ethic by promoting agriculture that is local, small, medium and family-scale, biologically diverse, climate friendly, humane, and socially just. The ultimate goal of our campaign is to move beyond the industrial agriculture model to a new vision and practice of organic farming that supports and sustains the natural world for future generations. ACKNOWLEDGEMENTS Authors: LISA J. BUNIN, PH.D. & CAMERON HARSH, M.A. Legal Review: PAIGE M. TOMASELLI, ESQ. & GEORGE KIMBRELL, ESQ. Science Review: MARGARET MELLON, ESQ., PH.D Proofing: EVAN BROMFIELD & SHARON PERRONE Graphics: PATRICK RIGGS Report Design: SHARON PERRONE TABLE OF CONTENTS EXECUTIVE SUMMARY.............................................................................................................2 I. FISH ESCAPES CANNOT BE PREVENTED...............................................................5 Data highlight frequency and magnitude of escapes 6 Inadequate reporting masks the magnitude of escapes 7 Escapees threaten wild species and ecosystems 8 Closed-containment ocean systems not impenetrable 9 II. -
Software Reliability and Dependability: a Roadmap Bev Littlewood & Lorenzo Strigini
Software Reliability and Dependability: a Roadmap Bev Littlewood & Lorenzo Strigini Key Research Pointers Shifting the focus from software reliability to user-centred measures of dependability in complete software-based systems. Influencing design practice to facilitate dependability assessment. Propagating awareness of dependability issues and the use of existing, useful methods. Injecting some rigour in the use of process-related evidence for dependability assessment. Better understanding issues of diversity and variation as drivers of dependability. The Authors Bev Littlewood is founder-Director of the Centre for Software Reliability, and Professor of Software Engineering at City University, London. Prof Littlewood has worked for many years on problems associated with the modelling and evaluation of the dependability of software-based systems; he has published many papers in international journals and conference proceedings and has edited several books. Much of this work has been carried out in collaborative projects, including the successful EC-funded projects SHIP, PDCS, PDCS2, DeVa. He has been employed as a consultant to industrial companies in France, Germany, Italy, the USA and the UK. He is a member of the UK Nuclear Safety Advisory Committee, of IFIPWorking Group 10.4 on Dependable Computing and Fault Tolerance, and of the BCS Safety-Critical Systems Task Force. He is on the editorial boards of several international scientific journals. 175 Lorenzo Strigini is Professor of Systems Engineering in the Centre for Software Reliability at City University, London, which he joined in 1995. In 1985-1995 he was a researcher with the Institute for Information Processing of the National Research Council of Italy (IEI-CNR), Pisa, Italy, and spent several periods as a research visitor with the Computer Science Department at the University of California, Los Angeles, and the Bell Communication Research laboratories in Morristown, New Jersey. -
Whispering Campaign Against Your Fish
2014 Pacific Fishing Calendar Inside Alaska Independent Fishermen’s Marketing Assn. www.pacificfishing.com THE BUSINESS MAGAZINE FOR FISHERMEN n DECEMBER 2013 Whispering campaign against your fish US $2.95/CAN. $3.95 • Cal fishing co-op working 12 • Questions for Cora Campbell 63126 The No. 1 maritime VSAT network brings a new dimension to broadband at sea. Movies & IPTV TV News SATCOM... & Sports Clips and beyond! KVH’s new IP-MobileCast is a unique content delivery Newspapers service providing affordable news, sports, entertainment, Introducing TM electronic charts, and weather IP-MobileCast on top of your mini-VSAT Broadband connection. Radio Training & e-Learning Crew Social Media Weather Files Full ECDIS & Forecasts Chart Database ALL-NEW Delivery & PRODUCT LINE! Updates KVH’s end-to-end solution empowers you to deliver the bandwidth your operations demand, keep your crew happy, and manage your budget... all at the same time. Get the details: New VIP-series features powerful Integrated CommBoxTM Modem (ICM) – www.minivsat.com/VIP the hub for IP-MobileCast services. KVH INDUSTRIES WORLDWIDE World HQ: United States | [email protected] EMEA HQ: Denmark | [email protected] Asia-Pacific HQ: Singapore | [email protected] +1 401.847.3327 +45 45 160 180 +65 6513 0290 ©2013 KVH Industries, Inc. KVH, TracPhone, IP-MobileCast, CommBox, and the unique light-colored dome with dark contrasting baseplate are trademarks of KVH Industries, Inc. mini-VSAT Broadband is a service mark of KVH Industries, Inc. 13_ipmobilecast_PacificFishing.indd 1 6/6/13 12:37 PM IN THIS ISSUE Editor's note Don McManman ® Eighth THE BUSINESS MAGAZINE FOR FISHERMEN INSIDE: Commandment The truth is a notion sufficiently worthy to be written down more than 3,000 years ago: “Thou shall not bear false witness.” Yet, there are some folks who don’t know the Eighth Commandment, and they’re attacking your business. -
Critical Systems
Critical Systems ©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 3 Slide 1 Objectives ● To explain what is meant by a critical system where system failure can have severe human or economic consequence. ● To explain four dimensions of dependability - availability, reliability, safety and security. ● To explain that, to achieve dependability, you need to avoid mistakes, detect and remove errors and limit damage caused by failure. ©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 3 Slide 2 Topics covered ● A simple safety-critical system ● System dependability ● Availability and reliability ● Safety ● Security ©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 3 Slide 3 Critical Systems ● Safety-critical systems • Failure results in loss of life, injury or damage to the environment; • Chemical plant protection system; ● Mission-critical systems • Failure results in failure of some goal-directed activity; • Spacecraft navigation system; ● Business-critical systems • Failure results in high economic losses; • Customer accounting system in a bank; ©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 3 Slide 4 System dependability ● For critical systems, it is usually the case that the most important system property is the dependability of the system. ● The dependability of a system reflects the user’s degree of trust in that system. It reflects the extent of the user’s confidence that it will operate as users expect and that it will not ‘fail’ in normal use. ● Usefulness and trustworthiness are not the same thing. A system does not have to be trusted to be useful. ©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 3 Slide 5 Importance of dependability ● Systems that are not dependable and are unreliable, unsafe or insecure may be rejected by their users. -
A Practical Framework for Eliciting and Modeling System Dependability Requirements: Experience from the NASA High Dependability Computing Project
The Journal of Systems and Software 79 (2006) 107–119 www.elsevier.com/locate/jss A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project Paolo Donzelli a,*, Victor Basili a,b a Department of Computer Science, University of Maryland, College Park, MD 20742, USA b Fraunhofer Center for Experimental Software Engineering, College Park, MD 20742, USA Received 9 December 2004; received in revised form 21 March 2005; accepted 21 March 2005 Available online 29 April 2005 Abstract The dependability of a system is contextually subjective and reflects the particular stakeholderÕs needs. In different circumstances, the focus will be on different system properties, e.g., availability, real-time response, ability to avoid catastrophic failures, and pre- vention of deliberate intrusions, as well as different levels of adherence to such properties. Close involvement from stakeholders is thus crucial during the elicitation and definition of dependability requirements. In this paper, we suggest a practical framework for eliciting and modeling dependability requirements devised to support and improve stakeholdersÕ participation. The framework is designed around a basic modeling language that analysts and stakeholders can adopt as a common tool for discussing dependability, and adapt for precise (possibly measurable) requirements. An air traffic control system, adopted as testbed within the NASA High Dependability Computing Project, is used as a case study. Ó 2005 Elsevier Inc. All rights reserved. Keywords: System dependability; Requirements elicitation; Non-functional requirements 1. Introduction absence of failures (with higher costs, longer time to market and slower innovations) (Knight, 2002; Little- Individuals and organizations increasingly use wood and Stringini, 2000), everyday software (mobile sophisticated software systems from which they demand phones, PDAs, etc.) must provide cost effective service great reliance. -
Alaska Native and Conservation Groups Sue Bureau of Land Management for Shortsighted Approval of Mineral Exploration
NEWS RELEASE: December 4, 2017 Contacts: Kimberley Strong | Chilkat Indian Village of Klukwan | (907) 767-5505 | [email protected] Meredith Trainor | Southeast Alaska Conservation Council | (907) 957-8347 | [email protected] Eric Holle | Lynn Canal Conservation | (907) 314-0320 | [email protected] Will Patric | Rivers Without Borders | (360) 379-2811 | [email protected] Kenta Tsuda | Earthjustice | (907) 500-7129 | [email protected] Alaska Native and Conservation Groups Sue Bureau oF Land Management for Shortsighted Approval oF Mineral Exploration Groups say agency must consider impacts of potential development before allowing project to advance beyond point of no return. Anchorage — An Alaska Native Tribal Government and three conservation groups are suing the U.S. Bureau of Land Management (BLM) for failing to consider the future impacts of mine development before approving an exploration plan for a hardrock mine project in the Chilkat River watershed in Southeast Alaska. The Chilkat River — “Jilkaat Heeni” in the Tlingit language, meaning “storage container for salmon” — runs from its headwaters in the Coast Mountains of British Columbia, Canada, into the sea near Haines, Alaska. The watershed, which includes the Klehini River, provides spawning grounds for all five species of Pacific salmon, as well as anadromous eulachon and trout. The surrounding steep mountainsides, forests, and river valleys are inhabited by mountain goats, wolverines, wolves, black and brown bears, and moose. It is a spectacularly beautiful, amazingly special and unique place in this world. Where the Chilkat and Klehini Rivers meet the Tsirku River near Klukwan, alluvial deposits under the riverbeds release warm water and keep the confluence open into late autumn when other waterbodies have frozen. -
Juneau Empire 3 5 17
Posted March 5, 2017 06:26 am - Updated March 6, 2017 05:30 pm By KEVIN GULLUFSEN Juneau Empire Toxic water leaches into prime Alaska, Canada salmon habitat 60 years later, British Columbia still won’t commit to cleaning up the Tulsequah Chief Mine The Tulsequah Chief Mine is seen on Sept. 26, 2016. The yellow water is Acidic Mine Drainage from shuttered mine adits. It drains into an “exfiltration pond,” pictured, which overflows into the Tulsequah River. (Courtesy Photo) The year the Tulsequah Chief Mine began polluting Alaska waters, a gallon of gas cost 31 cents, baseball great Jackie Robinson announced his retirement and the electric watch hit retail shelves for the first time. Since 1957, a Canadian facility 40 miles from Alaska’s capital has leached toxic water into prime Alaska and Canada salmon habitat. Mining officials have issued numerous pollution abatement orders to mine owners over the years, but none have stuck. In the meantime, Alaska environmental groups and salmon industry advocates have called for the B.C. government to clean up the mess themselves. A recent $1.2 million financial seizure from the B.C.’s Ministry of Energy and Mines marks the most concrete step to date toward cleaning up the TCM. Additionally, B.C. and the state of Alaska are working harder than ever to come up with a solution through their Transboundary Mining Work Group. But other indications show that no cleanup effort may be coming anytime soon. Canada still won’t commit to a firm timeline to stop the pollution as B.C.