License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-23746
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2374/
Go to the corresponding Portal


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

09381 Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems

pdf-format:
Document 1.pdf (3,339 KB)


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.

BibTeX - Entry

@InProceedings{abrial_et_al:DSP:2010:2374,
  author =	{Jean-Raymond Abrial and Michael Butler and Rajev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
  title =	{09381 Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems},
  booktitle =	{Refinement Based Methods for the Construction of Dependable Systems},
  year =	{2010},
  editor =	{Jean-Raymond Abrial and Michael Butler and Rajeev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
  number =	{09381},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2374},
  annote =	{Keywords: Specification, refinement, verification, modelling, dependable systems}
}

Keywords: Specification, refinement, verification, modelling, dependable systems
Seminar: 09381 - Refinement Based Methods for the Construction of Dependable Systems
Issue Date: 2010
Date of publication: 14.01.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI