Dependability
In systems engineering, dependability is a measure of a system's availability, reliability, maintainability, and in some cases, other characteristics such as durability, safety and security. In real-time computing, dependability is the ability to provide services that can be trusted within a time-period.A. Avizienis, J.-C. Laprie, Brian Randell, and C. Landwehr,Basic Concepts and Taxonomy of Dependable and Secure Computing" IEEE Transactions on Dependable and Secure Computing, vol. 1, pp. 11-33, 2004. The service guarantees must hold even when the system is subject to attacks or natural failures. The International Electrotechnical Commission (IEC), via its Technical Committee TC 56 develops and maintains international standards that provide systematic methods and tools for dependability assessment and management of equipment, services, and systems throughout their life cycles. The IFIP Working Group 10.4 on "Dependable Computing and Fault Tolerance" plays a role in synthesizing t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reliability Engineering
Reliability engineering is a sub-discipline of systems engineering that emphasizes the ability of equipment to function without failure. Reliability is defined as the probability that a product, system, or service will perform its intended function adequately for a specified period of time, OR will operate in a defined environment without failure. Reliability is closely related to availability, which is typically described as the ability of a component or system to function at a specified moment or interval of time. The ''reliability function'' is theoretically defined as the probability of success. In practice, it is calculated using different techniques, and its value ranges between 0 and 1, where 0 indicates no probability of success while 1 indicates definite success. This probability is estimated from detailed (physics of failure) analysis, previous data sets, or through reliability testing and reliability modeling. Availability, testability, maintainability, and maintenance ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Brian Randell
Brian Randell (born 1936) is a British computer scientist, and emeritus professor at the School of Computing, Newcastle University, United Kingdom. He specialises in research into software fault tolerance and dependability, and is a noted authority on the early pre-1950 history of computing hardware. Biography Randell was employed at English Electric from 1957 to 1964 where he was working on compilers. His work on ALGOL 60 is particularly well known, including the development of the Whetstone compiler for the English Electric KDF9, an early stack machine. In 1964, he joined IBM, where he worked at the Thomas J. Watson Research Center on high performance computer architectures and also on operating system design methodology. In May 1969, he became a professor of computing science at the then named University of Newcastle upon Tyne, where he has worked since then in the area of software fault tolerance and dependability. He is a member of the Special Interest Group ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
International Conference On Dependable Systems And Networks
The International Conference on Dependable Systems and Networks (or DSN) is an annual conference on topics related to dependable computer systems and reliable networks. It typically features a number of coordinated tracks, including the main paper track, several workshops, tutorials, industry session, a student forum, and fast abstracts. It is sponsored by the IEEE and the IFIP WG 10.4 on Dependable Computing and Fault Tolerance. DSN was formed in 2000 by merging the IEEE The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE ... International Symposium on Fault-Tolerant Computing (FTCS) and the IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA). The instance number for DSN is taken from FTCS which was first held in 1980 and annually thereafter. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Availability
In reliability engineering, the term availability has the following meanings: * The degree to which a system, subsystem or equipment is in a specified operable and committable state at the start of a mission, when the mission is called for at an unknown, ''i.e.'' a random, time. * The probability that an item will operate satisfactorily at a given point in time when used under stated conditions in an ideal support environment. Normally high availability systems might be specified as 99.98%, 99.999% or 99.9996%. The converse, unavailability, is 1 minus the availability. Representation The simplest representation of availability (''A'') is a ratio of the expected value of the uptime of a system to the aggregate of the expected values of up and down time (that results in the "total amount of time" ''C'' of the observation window) : A = \frac = \frac Another equation for availability (''A'') is a ratio of the Mean Time To Failure (MTTF) and Mean Time Between Failure (MTBF), or ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
International Electrotechnical Commission
The International Electrotechnical Commission (IEC; ) is an international standards organization that prepares and publishes international standards for all electrical, electronics, electronic and related technologies. IEC standards cover a vast range of technologies from power generation, transmission and distribution to home appliances and office equipment, semiconductors, fibre optics, batteries, solar energy, nanotechnology, and marine energy, as well as many others. The IEC also manages four global conformity assessment systems that certify whether equipment, system or components conform to its international standards. All electrotechnologies are covered by IEC Standards, including energy production and distribution, electronics, magnetics and electromagnetics, electroacoustics, multimedia, telecommunications and medical technology, as well as associated general disciplines such as terminology and symbols, electromagnetic compatibility, measurement and performance, dependa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
IEEE Transactions On Dependable And Secure Computing
The ''IEEE Transactions on Dependable and Secure Computing'' is a bimonthly peer-reviewed scientific journal covering all aspects of dependability and security. It is published by the IEEE Computer Society and was established in 2004. The current editor-in-chief is Jaideep Vaidya (Rutgers University). According to the ''Journal Citation Reports'', the journal has a 2019 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ... of 6.404. References External links *{{Official website, 1=https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=8858 Dependable and Secure Computing, IEEE Transactions on Computer science journals Academic journals established in 2004 English-language journals Bimonthly journals ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Paola Inverardi
Paola Inverardi (born 1957) is an Italian computer scientist specializing in software engineering. She is a professor in the Department of Information Engineering, Computer Science, and Mathematics at the University of L'Aquila in Italy, and the former rector of the university. Education and career Inverardi was born in L'Aquila on 3 November 1957. She studied computer science at the University of Pisa, earning a laurea in 1981. After three years with Olivetti, she became a researcher for the Italian National Research Council (CNR) in 1984. She moved to her present position as a professor at the University of L'Aquila in 1994. She was founding director of the computer science department at the University of L'Aquila, and headed the department from 2001 to 2007, and from 2008 to 2012 served as dean of science at the university. From 2013 to 2019 she was rector of the University of L'Aquila. Recognition In 2011, Mälardalen University College in Sweden gave Inverardi an honorary ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Andrea Bondavalli
Andrea Bondavalli is a Full Professor of Computer Science at the University of Florence. He has previously held positions as a researcher and senior researcher at the National Research Council (Italy), working at the CNUCE Institute in Pisa. Education and career Bondavalli obtained his degree in Computer Science from the University of Pisa. He spent a year at the University of Newcastle upon Tyne in the UK as a CNR-NATO fellow and has had visiting professorships at EPFL in Lausanne and the Budapest University of Technology and Economics. Research His research focuses on the dependability and resilience of critical systems and infrastructures, particularly in safety, security, fault tolerance, and the evaluation of attributes such as reliability, availability, and performability. He has authored over 220 papers in international journals and conferences. Projects and collaborations Bondavalli has led various national and European projects, including the Italian MIUR PRIN project ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Integrity
Integrity is the quality of being honest and having a consistent and uncompromising adherence to strong moral and ethical principles and values. In ethics, integrity is regarded as the honesty and Honesty, truthfulness or of one's actions. Integrity can stand in opposition to hypocrisy. It regards internal consistency as a virtue, and suggests that people who hold apparently conflicting values should account for the discrepancy or alter those values. The word ''integrity'' evolved from the Latin adjective , meaning ''whole'' or ''complete''. In this context, integrity is the inner sense of "wholeness" deriving from qualities such as honesty and consistency of Moral character, character. In ethics In ethics, a person is said to possess the virtue of integrity if the person's actions are based upon an internally consistent framework of principles. These principles should uniformly adhere to sound logical axioms or postulates. A person has ethical integrity to the extent that the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |