db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Systems Modelling and Integration
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Dan Slipper
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X As systems increase in complexity and become combinations of
   hardware,
software and physical components, the methods of
   integrating these
become difficult. In safety critical
   systems, reliability is a key
factor so we want faults to be
   predictable or mitigated wherever
possible. This research
   aims to discover techniques of applying
formal methods for
   software to a full system incorporating hardware
and
   physical components, expecting to result in improvements in
   the way
interfaces are defined, such that updates and
   maintenance in the system
will not affect its reliability or
   performance.  Another aim alongside
this is to review the
   processes followed in industry throughout the
design and
   development cycle, to find methods of keeping focus
   on
meeting the requirements along all stages of the process.