• Publications
  • Influence
Period Optimization for Hard Real-time Distributed Automotive Systems
TLDR
This work automatically assign task and message periods for distributed automotive systems by leveraging schedulability analysis within a convex optimization framework to simultaneously assign periods and satisfy end-to-end latency constraints. Expand
Extensible and scalable time triggered scheduling
TLDR
An important aspect of the design of automotive systems: the scheduling problem for hard real time distributed embedded systems is focused on, and the optimization framework is effective in reducing development and re-verification efforts after incremental design changes. Expand
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems
TLDR
A novel technique for constructing a fault tree that models how component faults may lead to system failure is presented, and is added to an existing design framework that enables a synthesis-based, correct-by-construction, design methodology for the deployment of real-time feedback control systems in safety critical applications. Expand
Exploring Trade-off’s Between Centralized versus Decentralized Automotive Architectures Using a Virtual Integration Environment
TLDR
It is demonstrated how a rigorous methodology (platform-based design) and the Metropolis framework can be used to find the balance between centralized and decentralized architectures. Expand
Automatic Model Generation for Black Box Real-Time Systems
TLDR
This work proposes a new method to generate models of real-time embedded systems based on machine learning from execution traces, under a given hypothesis about the system's model of computation. Expand
Sensitivity Analysis on Flexray Dynamic Segment Design Parameters
  • Sri Kanajan, J. Abell
  • Computer Science
  • Fourth International Conference on Systems and…
  • 20 September 2009
TLDR
This paper proposes the removal of this constraint and indicates the degree of performance improvement that can be achieved without the constraint and a brief discussion on the conclusions of this study and future work will be provided. Expand
Towards a Methodology for the Quantitative Evaluation of Automotive Architectures
TLDR
This paper presents a system level architecture design methodology that is supported by tools and methods for the quantitative evaluation of key metrics of interest related to timing, dependability and cost. Expand
Interactive presentation: Automatic model generation for black box real-time systems
TLDR
A new method to generate models of real-time embedded systems based on machine learning from execution traces, under a given hypothesis about the system's model of computation, based on a novel formulation of the model generation problem as learning a dependency graph that indicates partial ordering between tasks. Expand
...
1
2
...