Formal development of a washing machine controller by using formal design patterns

Authors:
Xin Ben Li;Feng Xia Zhao
Affiliations:
Department of Computer Science and Technology, Zhejiang Wanli University, Ningbo, Zhejiang, P.R. China;School of Nursing, Ningbo college of Health Science, Ningbo, Zhejiang, P.R. China
Venue:
CEA'09 Proceedings of the 3rd WSEAS international conference on Computer engineering and applications
Year:
2009

Citing 4
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems

Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction

Methods, Models and Tools for Fault Tolerance
An open extensible tool environment for event-b

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Users of Formal Methods are given sophisticated languages and tools for constructing models of complex systems. But they often lack some systematic methodological approaches that could help them. Design patterns used often in Object Oriented software can result in adapting and incorporating some pre-defined pieces of codes in a software project. Some formal design patterns are presented and applied to the development of a controller model in Event-B that is a formal method for modeling and reasoning about complex discrete system based on set-theory and predicate logic.