Developing an Insulin Pump System Using the SOFL Method

Jichuan, Wang; Liu, Shaoying; Qi, Yong; Hou, Di Bo

doi:10.1109/apsec.2007.41

Cited by 4 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While a CDFD, a formalized data flow diagram with a well defined operational semantic [36], [37] is used to define the architecture of the system by describing how operations (called processes in SOFL) are connected using data flows and data stores, and the semantic details of every component of the CDFD are formally defined using a formal notation in an associated module. This approach will make the specification comprehensible in both construction and reading [38].…”

Section: Principle Of Integrating Animation-based Inspection Intomentioning

confidence: 99%

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems

Liu

2016

IEEE Trans. Rel.

Self Cite

View full text Add to dashboard Cite

Software design has been well recognized as an important means to achieve high reliability, and formal specification can help enhance the quality of design. However, communications between the designer and the user can become difficult via formal specifications due to the potentially complex mathematical expressions in the specification. This difficulty may lead to the situation where the user may not be closely involved in the process of constructing the specification for quality assurance. To allow formal specification to play more effective roles in software design, we put forward a new approach to deal with this problem in this paper. The approach is characterized by integrating specification animation-based inspection into the process of constructing formal design specifications. We discuss the underlying principle of the approach by explaining how specification animation is utilized as a reading technique for inspection to validate, and then evolve, the current specification towards a satisfactory one. We describe a prototype software tool for the method, and present a case study to show how the method supported by the tool works in practice.

show abstract

Section: Principle Of Integrating Animation-based Inspection Intomentioning

confidence: 99%