We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an approach where we take (1) an abstract description of the control flow within a piece of software, and (2) a set of run-time traces, which are combined into a Bayesian network that can be seen as an interactive timing ...

The exploration of advanced covert timing channel design is important to understand and defend against covert timing channels. In this paper, we introduce a new class of covert timing channels, called model-based covert timing channels, which exploit the statistical properties of legitimate network traffic to evade detection in an effective manner. We design and implement an automated framework...

FOR WORKSHOP PAPER This paper describes the ongoing interaction between the York University Technology Centre (YUTC) and Rolls-Royce plc. The mission of the YUTC is to transfer technology, in an integrated manner, existing and novel methods into Rolls-Royce plc in order to achieve improvement in the process of developing aeroengine control systems. The YUTC are principally concerned with the fo...

Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an environment to assist users in the specification and analysis of timing constraints. A timing analyzer predicts the best and worst case bounds for these constrained portions of code. A user interface for this timing analyzer...

ABB Robotics has no methods for theoretical verification of the timing behavior of the robot control system. The system is complex, about 2,5 million line of code, distributed over 15 subsystems. When changing the system, it’s hard to predict how that change will affect the temporal behavior. The system was not designed to explicitly support impact analysis. This has resulted in a “trial-and-er...

Investigations were carried out to evaluate the performance of direct injection diesel engine with medium grade low heat rejection (LHR) combustion chamber and 3 mm air gap insulated piston, 3 mm air gap insulated liner, and ceramic coated cylinder head [ceramic coating with the thickness of 500 µ was made on the inside portion of the cylinder head].The engine had different operating conditions...

An architecture and a method supporting codesign of flexible computer control systems are proposed in this paper. We call this approach Quality of Control to reflect the emphasis on control performance. Key components of the architecture include negotiation to optimize overall quality, admission control, explicit specifications of control characteristics and timing constraints, and on-line esti...

Precise gain and timing control is the goal of cerebellar motor learning. Because the basic neural circuitry of the cerebellum is homogeneous throughout the cerebellar cortex, a single computational mechanism may be used for simultaneous gain and timing control. Although many computational models of the cerebellum have been proposed for either gain or timing control, few models have aimed to un...

Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...