Search Results

Documents authored by Troubitsyna, Elena

Document
DOI: 10.4230/DagRep.3.1.30
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)

Authors: Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna

Published in: Dagstuhl Reports, Volume 3, Issue 1 (2013)

Abstract
Software-intensive systems are becoming widely used in such critical infrastructures as railway, air- and road traffic, power management, health care and banking. In spite of drastically increased complexity and need to operate in unpredictable volatile environment, high dependability remains a must for such systems. Resilience -- the ability to deliver services that can be justifiably trusted despite changes - is an evolution of the dependability concept. It adds several new dimensions to dependability concepts including adaptability to evolving requirements and proactive error prevention. To address these challenges we need novel models, methods and tools that enable explicit modeling of resilience aspects and reasoning about them. The Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods and Tools" discussed the most promising techniques for achieving resilience both at the system design stage and at runtime. It brought together researchers from dependability, formal methods, fault tolerance and software engineering communities that promoted vivid cross-disciplinary discussions.
Cite as

Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna. Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). In Dagstuhl Reports, Volume 3, Issue 1, pp. 30-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{heisel_et_al:DagRep.3.1.30,
  author =	{Heisel, Maritta and Kaaniche, Mohamed and Romanovsky, Alexander and Troubitsyna, Elena},
  title =	{{Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)}},
  pages =	{30--46},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Heisel, Maritta and Kaaniche, Mohamed and Romanovsky, Alexander and Troubitsyna, Elena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.30},
  URN =		{urn:nbn:de:0030-drops-40072},
  doi =		{10.4230/DagRep.3.1.30},
  annote =	{Keywords: Resilience, modelling, verification, evaluation, fault tolerance, evolution}
}
Document
DOI: 10.4230/DagSemProc.09381.1
09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems

Authors: Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock

Published in: Dagstuhl Seminar Proceedings, Volume 9381, Refinement Based Methods for the Construction of Dependable Systems (2010)

Abstract
With our growing reliance on computers, the total societal costs of their failures are hard to underestimate. Nowadays computers control critical systems from various domains such as aerospace, automotive, railway, business etc. Obviously, such systems must have a high degree of dependability – a degree of trust that can be justifiably placed on them. Although the currently operating systems do have an acceptable level of dependability, we believe that they development process is still rather immature and ad-hoc. The constantly growing system complexity poses an increasing challenge on the system developers and requires significant improvement on the existing developing practice. To address this problem, we investigated how to establish a set of refinement-based engineering methods that can provide the designers with a systematic methodology for development of complex systems.
Cite as

Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock. 09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems. In Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, Volume 9381, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{abrial_et_al:DagSemProc.09381.1,
  author =	{Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajev and Troubitsyna, Elena and Woodcock, Jim C. P.},
  title =	{{09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems}},
  booktitle =	{Refinement Based Methods for the Construction of Dependable Systems},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9381},
  editor =	{Jean-Raymond Abrial and Michael Butler and Rajeev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09381.1},
  URN =		{urn:nbn:de:0030-drops-23746},
  doi =		{10.4230/DagSemProc.09381.1},
  annote =	{Keywords: Specification, refinement, verification, modelling, dependable systems}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact