The work of the British Aerospace Dependable Computing Systems Centre includes the development of formal techniques for use in defining and tracing requirements for software systems at the system architecture level. A basic repertoire of techniques proposed so far includes the graphical representation of timing requirements allied to model-oriented specifications of functionality. This paper gi...

Static Worst Case Execution Time (WCET) analysis is a technique that computes an upper bound of the execution time of a program before runtime. Static WCET analysis has a potential to cut costs and save time in the development of real-time systems. These are systems that do not just demands a correct result, but also demands correct timing. However, static WCET analysis has not yet reached the ...

introduction nowadays, due to higher environmental pollution and decreasing fossil fuels many countries make decisions to use renewable fuels and restrict using of fossil fuels. renewable fuels generally produce from biological sources. biodiesel is an alternative diesel fuel derived from the transesterification of vegetable oils, animal fats, or waste frying oils. considering the differences be...

The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers three main aspects in this area: timing covert channels, dynamic policies and enforcement mechanisms that improve precision of the analysis. Timing channels are dangerous in the presence of concurrency. We start with the design, ...

Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour that includes precise definitions as well as analysis of how functional timing requirements interact with performance timing requirements, and how these concepts can be used by software designers. The definitions and ana...