Industrial deployment of system engineering methods providing high dependability and productivity

 

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

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

Full text not available from this repository.

Official URL: http://drops.dagstuhl.de/opus/volltexte/2010/2374

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.

Item Type:Book
Uncontrolled Keywords:Specification, refinement, verification, modelling, dependable systems
Subjects:Industrial Deployment
Methodology
Tool developments
ID Code:187
Deposited By:Michael Butler
Deposited On:14 Jan 2010 17:31
Last Modified:14 Jan 2010 17:31

Repository Staff Only: item control page

Deploy-Project - All right reserved