Biomedical Engineering Reference
In-Depth Information
proposes a refinement-based graphical technique for designing the complex criti-
cal systems. The refinement chart provides an easily manageable representation for
different refinement subsystems and offers a clear view of assistance in system inte-
gration. This methodology simplifies specification, synthesis, and validation of the
systems and enables an efficient creation/customisation of the critical systems at
low-cost and development time.
Despite all the efforts of the community, critical system designers still need a new
way for modelling the systems and analyse the complexity of the systems. This is
mainly because of a set of requirements that is mandatory for an efficient modelling
solution, but is still not provided by a single existing environment:
•
Infrastructure for critical system integration and inter-operation.
•
Introspection features for easier debugging and analysis of complex specifica-
tions.
•
Model-based development and component-based design frameworks.
•
System integration of critical infrastructure.
•
Possibility of annotating models for different purposes (e.g., directing the synthe-
sis or hooking to verification tools).
•
Decomposition of the complex system into different independent subsystems.
The contribution of this chapter is to propose a new graphical notation based re-
finement chart for a complex critical system design. This technique provides the so-
lutions for all the requirements enumerated above. The refinement chart is proposed
in this methodology for designing a critical system like medical device, automotive
and avionic systems.
6.1.1 Structure of This Chapter
This chapter is organised as follows. Section
6.2
presents related work. Section
6.3
depicts a refinement chart and describes basic rules for presenting any system using
the refinement chart. Section
6.4
presents assessment of the refinement chart using
applications and case study and finally, Sect.
6.5
summarises this chapter.
6.2 Related Work
A
modal system
is a system characterised by
operation modes
, which coordinates
system operations. Many systems are
modal systems
, for instance, space and avionic
systems [
5
,
12
], steam boiler control [
3
], transportation and space system and so on.
Operation modes explore the actual system behaviour through observation of a sys-
tem functioning under multiple situations. In this approach, a system is considered
as a set of operating modes, where each operating mode is categorised according to
the system functionality over different operating conditions.
Search WWH ::
Custom Search