|
Elena A. Troubitsyna Assoc. Professor Ph.D.(Computer Science), Docent (Dependable Systems) |
Telephone |
+358-2-215-4086 |
Postal
address Åbo
Akademi |
Visiting Address Åbo
Akademi, Agora |
E-mail |
Elena.Troubitsyna at abo.fi (at = @) |
Announcements
We are hiring!
Several open PhD and PostDoc positions are
available in the projects CoRA, OpenCPS
and CyberTrust
To learn more please e-mail me Elena.Troubitsyna at abo.fi
Research interests
- Dependable and resilient software-intensive systems
- Formal modelling and verification methods
- Model-driven engineering for dependability and
resilience
- Safety-critical and fault tolerant systems
- Stochastic methods for dependability and resilience
- Integrated modelling approaches
- Cyber security
Research projects
2016-2020 CoRA: Continuous Resilience Assurance of Complex
Software-Intensive Systems
(funded by the
Academy of Finland)
To start in September 2016
To facilitate development of resilient systems, we should combine a
broad range of
modelling, verification and analysis techniques into an
integrated multi-objective development framework that enables explicit
reasoning about system resilience and trade-off analysis of diverse
properties. Such a framework should establish a continuum between the
design and run-time
by complementing the design for resilience
approach with the advanced run-time mechanisms for continuous
resilience monitoring and diagnostics, as well as system adaptation and
dynamic reconfiguration.
The CoRA project will create
a novel approach to enhancing
resilience of software-intensive systems -- the continuous resilience
assurance (CoRA) framework. Essentially, the CoRA framework will
integrate three different research
strands: formal modelling and
verification, Complex Event
Processing, and epistemic reasoning. A
synergy of these frameworks will allow the designers to augment the
system design with
the resilience-enhancing capabilities ensuring
continuous trustworthy service provisioning.
2016-2017 Open-CPS:
Open Integrated Framework for Accelerating
Development of Resilient CPS
(funded by the
Academy of Finland)
Resilience is an ability of a
system to deliver safe and reliable services
despite faults and changes. Achieving resilience is one the main
objectives of the development of cyber-physical systems (CPS), because
it implies that a system can adapt to different standards and
environments while remaining safe and fault tolerant.
The OpenCPS project aims at developing a
support for cross-
domain engineering and multi-disciplinary CPS development. We will
create an abstraction layer enabling a seamless resilience-ensuring
integration of systems and components at the application level and
promoting design reuse. OpenCPS will leverage the role
of modelling
and create a synergy of diverse verification and simulation technologies
that will results in developing of a powerful model-based experimentation
platform. The project will build the foundations for creating an open
integrated model-based framework for multidisciplinary and collaborative
engineering of smart CPS.
2015 -2018 CyberTrust
Finnish National Research program
2014-2015 Need for Speed N4S-Program: Finnish Software Companies
Speeding
Digital Economy Finnish National Research program
2014-2015 EIT ICT Labs action: Integrated
information engineering for Cyber Physical Systems
2010-2014 ASSURE: Autonomic software-intensive systems
–
foundations of safety and resilience
funded by the
2010- 2013 EU-funded
TEMPUS project SAFEGUARDS:
National Safeware Engineering Network of Centres
of Innovative
Academia-Industry Handshaking
2008- 2012 EU-funded integrated
project Deploy: Industrial deployment
of system
engineering methods
providing high dependability and productivity
2006-2009
EU-funded TEMPUS-project MASTAC:
Curriculum Development in Critical IT
engineering
2007-2012
NODES: Network On Dependable Systems, Network
for research and research
training funded by Nordic research
board
2006-2012 DECO: formal dependability-explicit
development model
for complex software-intensive systems
funded by the
2004-2007 EU-funded
FP6 project RODIN: Rigorous Open
Development
Environment for
Complex Systems
2001-2004 FOSSE:
Formal System and Software Engineering, funded by the Academy of Finland
2000-2004 EU-funded
STREP-project in FP5 MATISSE:
Methods and Tools for
Industrial Strength
System Engineering,
EVENTS
ISSRE 2016 PC Co-chair of 27th International Symposium
on Software Reliability
Engineering,
Ottawa, Canada, October 23-27, 2016,
SERENE
2016 PC Co-chair of 8th International Workshop on Software Engineering
for Resilient
Systems,
Gothenburg, Sweden, September 5-6,
2016
TEACHING
2016/17 Period
III: Software Quality
Period
IV: Software Safety
2015/16 Period
I: Specification Methods
Period
III: Distributed Systems and Algorithms
Last
updated 07.07.2016