Some computer science issues in ubiquitous computing
Communications of the ACM - Special issue on computer augmented environments: back to the real world
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
IEEE Transactions on Computers
Component engineering for adaptive ad-hoc systems
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
On-line Monitoring of Real Time Applications for Early Error Detection
PRDC '08 Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing
Runtime Safety Models in Open Systems of Systems
DASC '09 Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing
Approaching runtime trust assurance in open adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Vertical safety interfaces: improving the efficiency of modular certification
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Conditional Safety Certification of Open Adaptive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Hi-index | 0.00 |
In the wake of current computing trends like Ubiquitous Computing, Ambient Intelligence and Cyber Physical Systems, new application domains like Car2Car emerged. One key characteristic of these new application domains is their openness with respect to dynamic integration of devices and components. It is obvious that traditional safety assurance techniques, both state of the practice and state of the art, are not sufficient in this context. A possible solution approach would be to shift portions of the safety assurance process into run time. This can be reached by the integration of appropriate run time safety models and corresponding dynamic evaluation mechanisms. In this paper we sketch out our recent work on conditional safety certificates, which facilitate such dynamic safety evaluation. We conclude with a brief discussion and state promising research directions for the future.