A logic-based approach to software system safety and security
Abstract
Reference
Index Terms
- A logic-based approach to software system safety and security
Recommendations
A Fuzzy Logic System Used in Safety Analysis
Proceedings of the International Conference, 7th Fuzzy Days on Computational Intelligence, Theory and ApplicationsThe paper focus on the methodology to elaborate a fuzzy logic system (FLS) used in safety analysis of an electric power protection system. The in FLS parameters Occurrence and Severity and the out FLS parameter Safety are proposed. Also an adequate rule ...
An Approach to Modeling Software Safety
SNPD '08: Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ComputingSoftware for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a composite of many factors. Existing software quality models like McCall’s and ...
Towards applying a safety analysis and verification method based on STPA to agile software development
CSED '16: Proceedings of the International Workshop on Continuous Software Evolution and DeliveryAgile methodologies are becoming widespread in modern software development. However, due to a lack of safety assurance activities, agile methods are criticized for being inadequate for the development of safe software. Safety analysis and safety ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 219Total Downloads
- Downloads (Last 12 months)7
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in