Computer related risks
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
Security as a safety issue in rail communications
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Performance modeling of critical event management for ubiquitous computing applications
Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
SafeSpection --- A Systematic Customization Approach for Software Hazard Identification
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
Integrated safety analysis of software-controlled critical systems
ACM SIGSOFT Software Engineering Notes
Non-preemptive fuzzy classification algorithm for non-traditional safety-critical systems
Journal of Embedded Computing - Advanced Topics on Embedded Computing
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Performance analysis and verification of safety communication protocol in train control system
Computer Standards & Interfaces
Research on Ultra-Dependable Embedded Real Time Operating System
GREENCOM '11 Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications
Architectural description of embedded systems: a systematic review
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
Using CHARTER tools to develop a safety-critical avionics application in Java
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Relevance and perspectives of AAL in Brazil
Journal of Systems and Software
Adversarial attacks against intrusion detection systems: Taxonomy, solutions and open issues
Information Sciences: an International Journal
Hi-index | 0.00 |
Safety-critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. Many modern information systems are becoming safety-critical in a general sense because financial loss and even loss of life can result from their failure. Future safety-critical systems will be more common and more powerful. From a software perspective, developing safety critical systems in the numbers required and with adequate dependability is going to require significant advances in areas such as specification, architecture, verification, and process. The very visible problems that have arisen in the area of information-system security suggests that security is a major challenge also.