[BOOK][B] Computer Safety, Reliability, and Security

J Górski - 2006 - Springer
SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and
Reliability, held in Gdansk, Poland… The SAFECOMP 2006 program reflected in this book included …

A tool for databus safety analysis using fault injection

D Trawczynski, J Sosnowski, J Zalewski - … , SAFECOMP 2006, Gdansk …, 2006 - Springer
In real-time safety-critical systems, it is important to predict the consequences of specific faults
in databus logic and driver software on the safe operation of a databus. For this purpose …

Dynamic risk assessment in autonomous vehicles motion planning

A Wardzinski - 2008 1st International Conference on …, 2008 - ieeexplore.ieee.org
Arguing that an autonomous mobile system is sufficiently safe to operate in presence of other
vehicles and objects is an important element in development of such systems. Traditional …

[PDF][PDF] Integrated Embedded System Development for Automotive and Aerospace Applications: The DECOS Concepts

A Balogh, G Csertán, A Pataricza, B Polgár, W Herzner… - academia.edu
Today, the development of embedded-and in particular safety-critical–systems in general
follows a customized design approach, resulting in rather isolated applications and little reuse …

Development of an Integrated, Risk-based Platform for Information and E-services Security

A Białas - … , SAFECOMP 2006, Gdansk, Poland, September 27-29 …, 2006 - Springer
The paper presents a risk-based integrated platform for the information and e-services security
management related to the Information Security Managements System (ISMS) concept. …

[PDF][PDF] International Federation of Automatic Control

F Doyle - 2005 - ifac-control.org
… The entire SAFECOMP week had 122 participants representing 22 countries. The … the
25th SAFECOMP to be organised in Gdansk, Poland, from 25 – 29 September 2006. For …

Reliability analysis of resilient packet rings

P Chołda, J Domżał, A Jajszczyk, K Wajda - … , SAFECOMP 2006, Gdansk …, 2006 - Springer
Resilient Packet Ring is a novel metro access standard. Here, we analyze it from the reliability
viewpoint. The reliability function, availability as well as Mean Time to Failure metrics are …

Model-based safety assessment: Review of the discipline and its challenges

O Lisagor, T Kelly, R Niu - The Proceedings of 2011 9th …, 2011 - ieeexplore.ieee.org
Since its emergence in 1990s, Model-Based Safety Assessment (MBSA) has enjoyed
significant interest from both academia and industry. The last decade has seen not only the …

Towards filtering and alerting rule rewriting on single-component policies

J García-Alfaro, F Cuppens… - … 2006, Gdansk, Poland …, 2006 - Springer
The use of firewalls and network intrusion detection systems (NIDSs) is the dominant method
to survey and guarantee the security policy in current corporate networks. On the one hand, …

Validation and Certification of Safety-Critical Embedded Systems–The DECOS Test Bench

E Schoitsch, E Althammer, H Eriksson, J Vinter… - … 2006, Gdansk, Poland …, 2006 - Springer
The integrated EU-project DECOS (Dependable Embedded Comp-onents and Systems) aims
at developing an integrated architecture for embedded systems to reduce life-cycle costs …