Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
Distributed Systems for System Architects
Distributed Systems for System Architects
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
IEEE Transactions on Computers
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
The Vision of Autonomic Computing
Computer
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Organization based access control
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications
IEEE Transactions on Dependable and Secure Computing
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
Intrusion-Tolerant Middleware: The Road to Automatic Security
IEEE Security and Privacy
Journal of Systems and Software
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
IEEE Transactions on Dependable and Secure Computing
Safe Wireless Communication Solution for Driver Machine Interface for Train Control Systems
ICONS '08 Proceedings of the Third International Conference on Systems
The CRUTIAL Architecture for Critical Information Infrastructures
Architecting Dependable Systems V
A Resilient SIL 2 Driver Machine Interface for Train Control Systems
DEPCOS-RELCOMEX '08 Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
Assuring Resilient Time Synchronization
SRDS '08 Proceedings of the 2008 Symposium on Reliable Distributed Systems
An integrated framework for the dependability evaluation of distributed mobile applications
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Dependent Automata for the Modelling of Dependencies
Critical Information Infrastructure Security
PRDC '09 Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing
European research on future internet design
IEEE Wireless Communications - Special issue on seamless content delivery in the future mobile internet
Modelling interdependencies between the electricity and information infrastructures
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
The world of computer systems today is composed of very different kind of critical architectures: from embedded safety-critical sensors and safety equipment (e.g., train on-board equipment), to large, highly dependable multicomputers (e.g. plant control systems), to smart resilient components for ubiquitous networks (e.g., biometrics monitoring applications). The common trend for all of them is to become open and part of an integrated cyber world; still, each of them brings specific challenges that need to be addressed for their design and validation, possibly leading to the different architectural and validation solutions. This paper discusses the experiences gained by the authors on architecting and validating dependable systems, considering the activities they carried out during recently ended European FP6 projects, which concerned traditional embedded systems (in the railway domain - SAFEDMI project), large-scale critical infrastructures (in the electric domain - CRUTIAL project), and distributed mobile systems (in the automotive domain - HIDENETS project). The vision on upcoming and future challenges and trends is finally provided considering pervasive/ubiquitous systems in the context of the just started FP7 ALARP project and considering Future Internet scenarios.