|
Goal Structuring Notation
Goal structuring notation (GSN) is a graphical diagram notation used to show the elements of an argument and the relationships between those elements in a clearer format than plain text. Often used in safety engineering, GSN was developed at the University of York during the 1990s to present safety cases. The notation gained popularity as a method of presenting safety assurances but can be applied to any type of argument and was standardized in 2011. GSN has been used to track safety assurances in industries such as clinical care aviation, automotive, rail, traffic management and nuclear power and has been used in other contexts such as security cases, patent claims, debate strategy, and legal arguments. History The goal structuring notation was first developed at the University of York during the ASAM-II (A Safety Argument Manager II) project in the early 1990s, to overcome perceived issues in expressing safety arguments using the Toulmin method. The notation was further develop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argument
An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called conclusion. Arguments can be studied from three main perspectives: the logical, the dialectical and the rhetorical perspective. In logic, an argument is usually expressed not in natural language but in a symbolic formal language, and it can be defined as any group of propositions of which one is claimed to follow from the others through deductively valid inferences that preserve truth from the premises to the conclusion. This logical perspective on argument is relevant for scientific fields such as mathematics and computer science. Logic is the study of the forms of reasoning in arguments and the development of standards and criteria to evaluate arguments. Deductive arguments can be valid, and the valid ones can be sound: in a valid argument, premisses necessitate the conclusion, even if one or more of the premises is false ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Safety Engineering
Safety engineering is an engineering discipline which assures that engineered systems provide acceptable levels of safety. It is strongly related to industrial engineering/systems engineering, and the subset system safety engineering. Safety engineering assures that a life-critical system behaves as needed, even when components fail. Analysis techniques Analysis techniques can be split into two categories: qualitative and quantitative methods. Both approaches share the goal of finding causal dependencies between a hazard on system level and failures of individual components. Qualitative approaches focus on the question "What must go wrong, such that a system hazard may occur?", while quantitative methods aim at providing estimations about probabilities, rates and/or severity of consequences. The complexity of the technical systems such as Improvements of Design and Materials, Planned Inspections, Fool-proof design, and Backup Redundancy decreases risk and increases the cost. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Safety Case
One definition of a Safety Case is that it is a structured argument, supported by evidence, intended to justify that a system is acceptably safe for a specific application in a specific operating environment. Safety cases are often required as part of a regulatory process, a certificate of safety being granted only when the regulator is satisfied by the argument presented in a safety case. Industries regulated in this way include transportation (such as aviation, the automotive industry and railways) and medical devices. As such there are strong parallels with the formal evaluation of risk used to prepare a Risk Assessment, although the result will be case specific. A vehicle safety case may show it to be acceptably safe to be driven on a road, but conclude that it may be unsuited to driving on rough ground, or with an off-center load for example, if there would then be a greater risk of danger e.g. a loss of control or an injury to the occupant. The information used to compile the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Patent Claim
In a patent or patent application, the claims define, in technical terms, the extent, i.e. the scope, of the protection conferred by a patent, or the protection sought in a patent application. In other words, the purpose of the claims is to define which subject-matter is protected by the patent (or sought to be protected by the patent application). This is termed as the "notice function" of a patent claim—to warn others of what they must not do if they are to avoid infringement liability. The claims are of the utmost importance both during prosecution and litigation alike. For instance, a claim could read: * "An apparatus for catching mice, said apparatus comprising a base, a spring member coupled to the base, and ..." * "A chemical composition for cleaning windows, said composition substantially consisting of 10–15% ammonia, ..." * "Method for computing future life expectancies, said method comprising gathering data including X, Y, Z, analyzing the data, comparing the analyz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Debate Team
Debate is a process that involves formal discourse on a particular topic, often including a moderator and audience. In a debate, arguments are put forward for often opposing viewpoints. Debates have historically occurred in public meetings, academic institutions, debate halls, coffeehouses, competitions, and legislative assemblies. Debate has also been conducted for educational and recreational purposes, usually associated with educational establishments and debating societies. These debates put an emphasis upon logical consistency, factual accuracy, and emotional appeal to an audience. Modern forms of competitive debate also include rules for participants to discuss and decide upon the framework of the debate (how the debate will be judged). History Debating in various forms has a long history and can be traced back to the philosophical and political debates of Ancient Greece, such as Athenian democracy or Shastrartha in Ancient India. Modern forms of debating and the est ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of York
, mottoeng = On the threshold of wisdom , established = , type = Public research university , endowment = £8.0 million , budget = £403.6 million , chancellor = Heather Melville , vice_chancellor = Charlie Jeffery , students = () , undergrad = () , postgrad = () , city = Heslington, York , country = England , campus = Heslington West, Heslington East, and King's Manor , colours = Dark blue and dark green , website = , logo = UoY_logo_with_shield_2016.png , logo_size = 250px , administrative_staff = 3,091 , affiliations = The University of York (abbreviated as or ''York'' for post-nominals) is a collegiate research university, located in the city of York, England. Established in 1963, the university has expanded to more than thirty departments and centres, covering a wide range of subjects. Situated to the south-east of the city of York, the university campus is about in size. The original campus, Campus West, incorporates the York Scien ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toulmin Method
Stephen Edelston Toulmin (; 25 March 1922 – 4 December 2009) was a British philosopher, author, and educator. Influenced by Ludwig Wittgenstein, Toulmin devoted his works to the analysis of moral reasoning. Throughout his writings, he sought to develop practical arguments which can be used effectively in evaluating the ethics behind moral issues. His works were later found useful in the field of rhetoric for analyzing rhetorical arguments. The Toulmin model of argumentation, a diagram containing six interrelated components used for analyzing arguments, and published in his 1958 book ''The Uses of Argument'', was considered his most influential work, particularly in the field of rhetoric and communication, and in computer science. Biography Stephen Toulmin was born in London, UK, on 25 March 1922 to Geoffrey Edelson Toulmin and Doris Holman Toulmin. He earned his Bachelor of Arts degree from King's College, Cambridge in 1943, where he was a Cambridge Apostle. Soon after, Tou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Safety-Critical Systems Club
The Safety-Critical Systems Club (SCSC) is a professional association in the United Kingdom. It aims to share knowledge about safety-critical systems, including current and emerging practices in safety engineering, software engineering, and product and process safety standards. Activities Since it started in 1991, the Club has met its objectives by holding regular one- and two- day seminars, publishing a newsletter three times per year, and running an annual conference – the ''Safety-critical Systems Symposium'' (SSS), for which it publishes proceedings. In performing these functions, and in adding tutorials to its programme, the Club has been instrumental in helping to define the requirements for education and training in the safety-critical systems domain. The SCSC also implements initiatives to improve professionalism in the field of safety-critical systems engineering, and organises various working groups to develop and maintain industry-standard guidance. Notable outpu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Haddon-Cave
Sir Charles Anthony Haddon-Cave (born 20 March 1956), styled The Rt Hon Lord Justice Haddon-Cave, is a British judge of the Court of Appeal of England and Wales and is the Senior Presiding Judge for England and Wales. Haddon-Cave was called to the Bar (Gray's Inn) in 1978, and elected a bencher in 2003. He was called to the Bar in Hong Kong in 1980. Haddon-Cave took silk in 1999, and served as an assistant recorder from 1998 to 2000. He then served as a recorder until his appointment to the High Court on 31 October 2011, upon which occasion he was knighted. Haddon-Cave is the son of Sir Charles Philip Haddon-Cave, Chief Secretary of Hong Kong between 1981 and 1985, and elder brother of Francis, who was called to the Hong Kong bar in 1999. Haddon-Cave led a review into the 2006 RAF Nimrod crash. He sentenced the Parsons Green bomber to a minimum of 34 years in prison in 2018. He said, "You will have plenty of time to study the Koran in Prison… the Koran is a book of peac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2006 Royal Air Force Nimrod Crash
On 2 September 2006, a Royal Air Force Hawker Siddeley Nimrod suffered an in-flight fire and subsequently crashed in Kandahar, Afghanistan, killing all fourteen crew members on board. The crash, which occurred during a reconnaissance flight, was the biggest single loss of life suffered by the British military since the Falklands War. Aircraft The aircraft involved in the accident was XV230, the first of 38 Nimrod maritime reconnaissance/strike aircraft to enter operational service with the Royal Air Force on 2 October 1969. At a ceremony held at Woodford airfield in Cheshire, the aircraft was handed over by the deputy managing director of Hawker Siddeley Aviation, Sir Harry Broadhurst. Receiving XV230 were the AOC-in Chief of Coastal Command, Air Marshal Sir John Lapsley. At Broadhurst's invitation, Lady Lapsley performed the naming ceremony. Later in the day an RAF crew flew XV230 to its base at RAF St Mawgan, Cornwall, where the Nimrod maritime operational training unit (MOT ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Treachery Of Images
''The Treachery of Images'' (french: La Trahison des Images, link=no) is a 1929 painting by Belgian surrealist painter René Magritte. It is also known as ''This Is Not a Pipe'' and ''The Wind and the Song''. Magritte painted it when he was 30 years old. It is on display at the Los Angeles County Museum of Art. The painting shows an image of a smoking pipe (tobacco), pipe. Below it, Magritte painted, "", French for "This is not a pipe". The theme of pipes with the text "Ceci n'est pas une pipe" is extended in ''Les Mots et Les Images'', ''La Clé des Songes'', ''Ceci n'est pas une pipe (L'air et la chanson)'', ''The Tune and Also the Words'', ''Ceci n’est pas une pomme'', and ''Les Deux Mystères''. The painting is sometimes given as an example of meta message conveyed by paralanguage, like Alfred Korzybski's "The word is not the thing" and "Map–territory relation, The map is not the territory", as well as Denis Diderot's ''This is not a story''. On December 15, 1929, Pau ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Design Rationale
A design rationale is an explicit documentation of the reasons behind decisions made when designing a system or artifact. As initially developed by W.R. Kunz and Horst Rittel, design rationale seeks to provide argumentation-based structure to the political, collaborative process of addressing wicked problems. Overview A design rationale is the explicit listing of decisions made during a design process, and the reasons why those decisions were made.Jarczyk, Alex P.; Löffler, Peter; Shipman III, Frank M. (1992), "Design Rationale for Software Engineering: A Survey", ''25th Hawaii International Conference on System Sciences'', 2, pp. 577-586 Its primary goal is to support designers by providing a means to record and communicate the argumentation and reasoning behind the design process.Horner, J.; Atwood, M.E. (2006), "Effective Design Rationale: Understanding the Barriers", in Dutoit, A.H.; McCall, R.; Mistrík, I. et al., Rationale Management in Software Engineering, Springer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Argument")
