Industrial deployment of system engineering methods providing high dependability and productivity

 

Formal Engineering of Resilient Systems: Achievements and Challenges

Troubitsyna, Elena and Romanovsky, Alexander (2012) Formal Engineering of Resilient Systems: Achievements and Challenges. In: The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). Fast Abstract Track , Boston, USA.

[img]
Preview
PDF
74Kb

Abstract

In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU DEPLOY project. We discuss our experience and open issues.

Item Type:Conference or Workshop Item (Other)
Subjects:Event-B
Methodology > Resilience
ID Code:393
Deposited By: Prof A Romanovsky
Deposited On:01 May 2012 12:49
Last Modified:26 Jul 2012 15:12

Repository Staff Only: item control page

Deploy-Project - All right reserved