Conferences related to Safety Critical

Back to Top

2021 IEEE Photovoltaic Specialists Conference (PVSC)

Photovoltaic materials, devices, systems and related science and technology


2020 59th IEEE Conference on Decision and Control (CDC)

The CDC is the premier conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.


2020 IEEE International Conference on Robotics and Automation (ICRA)

The International Conference on Robotics and Automation (ICRA) is the IEEE Robotics and Automation Society’s biggest conference and one of the leading international forums for robotics researchers to present their work.


2020 IEEE Symposium on Security and Privacy (SP)

Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2021 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2019 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2018 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2017 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for the presentation of developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.Papers offer novel research contributions in any aspect of computer security or electronic privacy. Papers may represent advances in the theory, design, implementation, analysis, or empirical evaluation of secure systems, either for general use or for specific application domains.

  • 2016 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for the presentation of developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.Papers offer novel research contributions in any aspect of computer security or electronic privacy. Papers may represent advances in the theory, design, implementation, analysis, or empirical evaluation of secure systems, either for general use or for specific application domains.

  • 2015 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for the presentation of developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.Papers offer novel research contributions in any aspect of computer security or electronic privacy. Papers may represent advances in the theory, design, implementation, analysis, or empirical evaluation of secure systems, either for general use or for specific application domains.

  • 2014 IEEE Symposium on Security and Privacy (SP)

    IEEE Symposium on Security and Privacy has been the premier forum for computer security research, presenting the latest developments and bringing together researchers and practitioners.

  • 2013 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change

    IEEE Symposium on Security and Privacy has been the premier forum for computer security research, presenting the latest developments and bringing together researchers and practitioners.

  • 2012 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change

    IEEE Symposium on Security and Privacy has been the premier forum for computer security research, presenting the latest developments and bringing together researchers and practitioners.

  • 2011 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2010 IEEE Symposium on Security and Privacy (SP)

    S&P is interested in all aspects of computer security and privacy.

  • 2009 IEEE Symposium on Security and Privacy (SP)

    The IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2008 IEEE Symposium on Security and Privacy (SP)

    Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field.

  • 2007 IEEE Symposium on Security and Privacy (SP)

    Research contributions in any aspect of computer security and electronic privacy including advances in the theory, design, implementation, analysis of empirical evaluation of secure systems.

  • 2006 IEEE Symposium on Security and Privacy (SP)

  • 2005 IEEE Symposium on Security and Privacy (SRSP)


2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)

ICSE is the premier forum for researchers to present and discuss the most recent innovations,trends, outcomes, experiences, and challenges in the field of software engineering. The scopeis broad and includes all original and unpublished results of empirical, conceptual, experimental,and theoretical software engineering research.


More Conferences

Periodicals related to Safety Critical

Back to Top

Aerospace and Electronic Systems Magazine, IEEE

The IEEE Aerospace and Electronic Systems Magazine publishes articles concerned with the various aspects of systems for space, air, ocean, or ground environments.


Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Biomedical Engineering, IEEE Reviews in

The IEEE Reviews in Biomedical Engineering will review the state-of-the-art and trends in the emerging field of biomedical engineering. This includes scholarly works, ranging from historic and modern development in biomedical engineering to the life sciences and medicine enabled by technologies covered by the various IEEE societies.


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Components and Packaging Technologies, IEEE Transactions on

Component parts, hybrid microelectronics, materials, packaging techniques, and manufacturing technology.


More Periodicals

Most published Xplore authors for Safety Critical

Back to Top

No authors for "Safety Critical"


Xplore Articles related to Safety Critical

Back to Top

Safety-Critical Systems and Agile Development: A Mapping Study

2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018

In the last decades, agile methods had a huge impact on how software is developed. In many cases, this has led to significant benefits, such as quality and speed of software deliveries to customers. However, safety- critical systems have widely been dismissed from benefiting from agile methods. Products that include safety critical aspects are therefore faced with a situation in ...


IEE Colloquium on 'Knowledge-Based Systems for Safety Critical Applications' (Digest No.1994/109)

IEE Colloquium on Knowledge-Based Systems for Safety Critical Applications, 1994

None


A new design approach for Safety Critical Distributed Control System

2008 IEEE International Conference on Automation and Logistics, 2008

In terms of the design of SCDCS (Safety Critical Distributed Control System), MATI (Maximum Allowable Transfer Interval) is one of the important design reference parameters that influences message transmission period and network scheduling strategy. To obtain its upper bound, Lyapunov theory and matrix measure are applied to analyze SCDCS which is networked only in its feedback path, and a sufficient ...


SECTION 1: INTRODUCTION TO SAFETY-CRITICAL AUTOMOTIVE SYSTEMS

Safety-Critical Automotive Systems, None

None


Supporting the use of COTS in safety critical applications

IEE Colloquium on Cots and Safety Critical Systems (Digest No. 1997/013), 1997

With the growing complexity and costs involved with the development of safety- critical applications, the possibility of building systems using pre-existing commercial off-the-shelf (COTS) components becomes increasingly attractive. However, a number of problems are posed by attempting to integrate COTS components, as they exist at the moment, into larger system developments, including: (a) the potential for introducing systematic errors through ...


More Xplore Articles

Educational Resources on Safety Critical

Back to Top

IEEE-USA E-Books

  • Safety-Critical Systems and Agile Development: A Mapping Study

    In the last decades, agile methods had a huge impact on how software is developed. In many cases, this has led to significant benefits, such as quality and speed of software deliveries to customers. However, safety- critical systems have widely been dismissed from benefiting from agile methods. Products that include safety critical aspects are therefore faced with a situation in which the development of safety-critical parts can significantly limit the potential speed-up through agile methods, for the full product, but also in the non-safety critical parts. For such products, the ability to develop safety-critical software in an agile way will generate a competitive advantage. In order to enable future research in this important area, we present in this paper a mapping of the current state of practice based on a mixed method approach. Starting from a workshop with experts from six large Swedish product development companies we develop a lens for our analysis. We then present a systematic mapping study on safety-critical systems and agile development through this lens in order to map potential benefits, challenges, and solution candidates for guiding future research.

  • IEE Colloquium on 'Knowledge-Based Systems for Safety Critical Applications' (Digest No.1994/109)

    None

  • A new design approach for Safety Critical Distributed Control System

    In terms of the design of SCDCS (Safety Critical Distributed Control System), MATI (Maximum Allowable Transfer Interval) is one of the important design reference parameters that influences message transmission period and network scheduling strategy. To obtain its upper bound, Lyapunov theory and matrix measure are applied to analyze SCDCS which is networked only in its feedback path, and a sufficient condition is induced which can guarantee that the SCDCS is asymptotically stable. Furthermore, an explicit and simple method of obtaining MATI for SCDCS is derived on the base of that stable condition. The simulation validates the method and shows that the method is much less conservative than the existing methods.

  • SECTION 1: INTRODUCTION TO SAFETY-CRITICAL AUTOMOTIVE SYSTEMS

    None

  • Supporting the use of COTS in safety critical applications

    With the growing complexity and costs involved with the development of safety- critical applications, the possibility of building systems using pre-existing commercial off-the-shelf (COTS) components becomes increasingly attractive. However, a number of problems are posed by attempting to integrate COTS components, as they exist at the moment, into larger system developments, including: (a) the potential for introducing systematic errors through component mismatch, and (b) meeting the obligations of the system safety case. In this paper, we briefly describe these two problems and argue how they can both be alleviated by appropriate and sufficient component documentation. In an ideal world, additional component information that documents all the critical design features of the component and required safety evidence would be provided by the COTS component suppliers. However, in the absence of this happening, it is important for developers using COTS components to record their own thinking regarding a component (e.g. assumptions), so that, at the very least, this information can be peer-reviewed and used consistently throughout a development. Through documenting COTS components using a sufficiently clear and expressive notation, we would expect to alleviate, at least to some extent, the problems of applying COTS in safety-critical applications.

  • IEE Colloquium on 'Safety Critical Software in Vehicle and Traffic Control' (Digest No.031)

    None

  • Adaptive Safety Critical Middleware for Distributed and Embedded Safety Critical System

    Distributed and embedded safety-critical systems (DESCS) are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. Because of the nature of DESCS, designing the applications for DESCS is harder than those for distributed real-time embedded systems. In this paper, we describe a multilevel embedded safety-critical middleware called adaptive safety-critical middleware (ASCM) that provides related services for ease the development of embedded safety-critical applications. We also present multi-layer end-to-end adaptive Qos management technology to satisfy the dynamic and unpredictable mission requirements of DESCS.

  • Technology acceptance model for safety critical autonomous transportation systems

    It is becoming increasingly clear that a paradigm shift in the way people travel will be seen in the near future. This is due to the ever increasing scope of technology in our lives and a built up public demand for safer, faster, and more efficient transportation options. It is also becoming clear that greater levels of autonomy will enable this paradigm shift to a large degree. However, due to the fact that this will require control over personal safety to be entrusted to the autonomous system, many physiological factors will play an important role in their acceptance. Unfortunately, available technology acceptance models do not include considerations for safety critical systems such as these. This paper proposes a new model which incorporates these considerations focusing on the psychology of control, acceptance, and trust and the factors that influence use of a safety critical technology. This model has been built using data from a series of surveys, simulations, reliability data, and previous technology acceptance models and has been validated using previous research into the usability of autonomous vehicles. The full model and considerations for the improvement of the model as well as further validation techniques is provided. The work in the University of Tulsa Vehicle Autonomy and Intelligence Lab (VAIL) has begun development and verification of the Safety-Critical Technology Acceptance Model and is progressing with the development of the Electronic Car Learning and Intelligence Program Simulator (ECLIPS). Through the investigation of these issues using ECLIPS and user feedback, VAIL is on track to model the acceptance and develop guidelines for the development and implementation of autonomous systems. VAIL is working to research these questions at a fundamental level and describe the topics in a way that can make sure these technologies are in line with the progression of technology and the future of human involvement with these systems.

  • Safety-Critical Shortage

    Safety-critical software is playing an ever growing role in everyday's life. Whether it is in civil or military airplanes, space systems, over-ground or underground railway systems, nuclear power plants, or air traffic management systems, safety-critical software helps us and protects us. The events at the beginning of the century and the growing level of interconnectedness among these systems are also adding security requirements onto these safety- critical software systems.

  • Modeling and analyzing safety-critical parallel-series system safety

    There are working, and two failures states including fail-safe and fail- dangerous in safety-critical systems. This paper studies two different safety- critical parallel-series models by considering their components lifetime distribution possessing general forms. The indices of reliability and safety including the probabilities that the system in these states and mean time for the system under two different failure ways, are derived respectively. Various corresponding indices comparisons between the two different parallel-series system models, and among the series, parallel and parallel-series systems, are conducted. Finally some illustrative numerical examples are employed to show the procedures. The derived indices formulas are without component lifetime distribution assumptions, which have significant meanings for reliability analysis and safety design of the system.



Standards related to Safety Critical

Back to Top

IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations

This standard serves to amplify criteria in IEEE Std 603-2009, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations, to address the use of computers as part of safety systems in nuclear power generating stations. The criteria contained herein, in conjunction with criteria in IEEE Std 603-2009, establish minimum functional and design requirements for computers used as components ...



Jobs related to Safety Critical

Back to Top