Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, wherea...

SIL's (Safety Integrity Levels) are used by IEC 61508:1998 [1] to characterise the required functional safety of computer control systems. For example, SIL 4, the highest rating is for fly by wire aircraft and weapons systems and track circuited train signalling systems while SIL 2 is typical of certain Programmable Logic Controllers (PLC). Fire control panels have not been SIL rated to date ev...

The development of a computer based design system for ceramic tiles forms part of a BriteEuram project aimed at providing automated quality control for ceramic tile production. The design system is expected to provide a priori information about each tile design to the quality control inspection stations. The differences between graphic design for paper and graphic design for ceramic are discuss...

Resilience can be defined as a system’s capability for returning to normal operation after having suffered disruption. This notion is of the foremost interest in many areas, particular engineering. We argue this position paper that crucial property bioinspired optimization algorithms well. Following computer system perspective, we correlate some defining requirements attaining resilient systems...