The Time Triggered Architecture (TTA) and its related communication protocol, TTP/C is an emerging communication principle for distributed fault-tolerant real-time systems. Typical applications are safety-critical digital control systems such as drive-by-wire and fly-by-wire. This paper highlights the hardware / software architecture and design of the first industrial single chip communication ...

The goals of the design process are usually manifold. Clearly the resulting system must satisfy its functional requirements, and will normally also have to fulfil certain non-functional requirements which might include such factors as: size; weight; cost and power consumption. When the operation of a system has implications for safety, the system will also have a set of safety requirements. The...

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semi-formal technique...

diversion dams in order to raise the water level of river and conveys of water into the main canal irrigation network is designed. if the dimensions of different parts of the diversion dam be considered large, stability will be supplying, but due to the increase volume of materials, construction costs will be more. design engineer must choose sections of dam that had least amount of materials a...

The use of powerful numerical tools based on the finite-element method has been improving the prediction of the holding capacity of fixed anchors employed by the offshore oil industry. One of the main achievements of these tools is the reduction of the uncertainty related to the holding capacity calculation of these anchors. Therefore, it is also possible to reduce the values of the associated ...

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the humancomputer interface. Conventional empirical or semi-formal techniques, although...

Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...

Level design for stealth games requires the ability to explore and understand the possible paths players may take through a given scenario and how they are impacted by different design choices. Good tool support can help by demonstrating the existence of such paths, but for rapid, interactive design, the relative difficulty of possible solutions also needs to be quantified, in a way that correl...