Elena Troubitsyna

Elena Troubitsyna is an Academy Research Fellow at the Academy of Finland. She got her PhD in Computer Science in 2000 on design methods for dependable systems. Her research interests include application of formal methods to development of dependable fault tolerant systems. She also conducts research on combining formal methods with informal techniques of safety analysis and semi-formal design techniques such as UML. She has worked on applying formal methods to development of an industrial fault-tolerant system within EU IST projects MATISSE, RODIN, and DEPLOY.

Publications

Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Luigia Petre, Kaisa Sere, Elena Troubitsyna. © 2012. 515 pages.
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on...
Development of Safety-Critical Control Systems in Event-B Using FMEA
Development of Safety-Critical Control Systems in Event-B Using FMEA
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav S. Kharchenko. © 2012. 17 pages.
Application of formal methods, in particular Event-B, helps us to verify the correctness of controlling software. However, to guarantee the dependability of software-intensive...
Towards Designing FPGA-Based Systems by Refinement in B
Towards Designing FPGA-Based Systems by Refinement in B
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav S. Kharchenko. © 2012. 21 pages.
In this chapter, we propose a formal approach to designing FPGA-based systems. In particular, we introduce a general pattern for specifying synchronous systems and components as...
Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach
Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. © 2012. 14 pages.
Formal refinement-based approaches have proved their worth in verifying system correctness. Often, besides ensuring functional correctness, we also need to quantitatively...
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach
Linas Laibinis, Elena Troubitsyna, Sari Leppänen. © 2012. 23 pages.
Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness...
Formal Approach to Ensuring Interoperability of Mobile Agents
Formal Approach to Ensuring Interoperability of Mobile Agents
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky. © 2012. 21 pages.
Mobile agent systems are complex distributed systems that are dynamically composed of autonomous agents. Since agents are often developed independently, they may lack...
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach
Linas Laibinis, Elena Troubitsyna, Sari Leppänen. © 2010. 25 pages.
Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness...