Industrial deployment of system engineering methods providing high dependability and productivity


Mastering System Analysis and Design through Abstraction and Refinement

Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)

PDF (Slides) - Presentation


The complexity of requirements and complexity of operating environments make error detection in early stages of software system development difficult. This paper makes an argument for the use of formal modelling and verification in early stages of system development to identify and eliminate errors in a timely fashion. Precision is key to eliminating errors in requirements while abstraction is key to mastering requirements complexity. The paper outlines the way in which precision and abstraction may be achieved through modelling and how refinement allows the complexity to be managed through layering. The role of model validation and model verification in improving the quality of formal models and in improving the quality of the requirements is also outlined. The formalism used throughout is Event-B supported by the Rodin toolset. Based on lectures given at 2012 Marktoberdorf International Summer School on Engineering Dependable Software Systems

Item Type:Teaching Resource
Subjects:ADVANCE Project
ID Code:459
Deposited By: Michael Butler
Deposited On:06 Dec 2012 09:51
Last Modified:09 Mar 2013 12:50

Repository Staff Only: item control page

Deploy-Project - All right reserved