Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Safety Verification of Ada95 Programs Using Software Fault Trees
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Safety and Security Analysis of Object-Oriented Models
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
Development of complex robotic systems using the behavior-based control architecture iB2C
Robotics and Autonomous Systems
Fault tree analysis of software-controlled component systems based on second-order probabilities
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
The development of autonomous vehicle systems demands the increased usage of software based control mechanisms. Generally, this leads to very complex systems, whose proper functioning has to be ensured. In our work we aim at investigating and assessing the potential effects of software issues on the safety, reliability and availability of complex embedded autonomous systems. One of the key aspects of the research concerns the mapping of functional descriptions in form of integrated behavior-based control networks to State-Event Fault Tree models.