Abstract is missing.
- Towards a model-driven method for reliable applications: from ideal to realistic transmission semanticsVidar Slåtten, Frank Alexander Kraemer, Peter Herrmann. 2-11 [doi]
- On the impact of fault tolerance tactics on architecture patternsNeil B. Harrison, Paris Avgeriou, Uwe Zdun. 12-21 [doi]
- On fault tolerance reuse during refinementIlya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky. 22-31 [doi]
- A UML-based method for risk analysis of human-robot interactionsDamien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon. 32-41 [doi]
- Modelling and analysing resilience as a security issue within UMLRicardo J. Rodríguez, José Merseguer, Simona Bernardi. 42-51 [doi]
- Availability modelling of a virtual black box for automotive systemsOssama Hamouda, Mohamed Kaâniche, Karama Kanoun. 52-60 [doi]
- Augmenting formal development of control systems with quantitative reliability assessmentAnton Tarasyuk, Elena Troubitsyna, Linas Laibinis. 61-70 [doi]
- An industrial application of formal model based development: the Metrô Rio ATP caseAlessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso. 71-76 [doi]
- Design support and tooling for dependable embedded control softwareJan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce. 77-82 [doi]
- Dependability in dynamic, evolving and heterogeneous systems: the connect approachAntonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi. 83-88 [doi]
- Adding resilience to message oriented middlewareJinfu Wang 0001, Peng Jiang, John Bigham, Bob Chew, Milan Novkovic, Ilesh Dattani. 89-94 [doi]