• Publications
  • Influence
Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice
This book to offers a hands-on guide to designing, analyzing and debugging a communication infrastructure based on the Controller Area Network (CAN) bus. Although the CAN bus standard is wellExpand
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment
This work studies the problem of the ECU and FlexRay bus scheduling synthesis from the perspective of the application designer, interested in optimizing the scheduling subject to timing constraints with respect to latency- or extensibility-related metric functions and provides solutions for a task and signal scheduling problem. Expand
Event-Driven Programming with Logical Execution Times
A new high-level programming language for programming applications with hard real-time constraints, called xGiotto, based on the LET assumption, which accommodates also asynchronous events through a mechanism called event scoping. Expand
A hierarchical coordination language for interacting real-time tasks
This work designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems and presents a distributed HTL implementation of an automotive steer-by-wire controller. Expand
Scheduling the FlexRay bus using optimization techniques
This work studies the problem of FlexRay bus scheduling from the perspective of the application designer, interested in optimizing the performance of application related timing metrics or extensibility and provides solutions for different task scheduling policies on existing industry standards based on a mixed integer linear programming (MILP) framework. Expand
Timing Analysis and Optimization of FlexRay Dynamic Segment
This paper studies the problem of timing analysis of frames transmitted in the FlexRay dynamic segment, and proposes a novel algorithm to assign identifiers (priorities) to frames, to optimize a design objective. Expand
Correct and non-defensive glue design using abstract models
The key idea is to use high-level models, such as dataflow graphs, that enable efficient automated analysis that employs the right models to explore accurate performance and resource trade-offs. Expand
Static dataflow with access patterns: Semantics and analysis
This work formalizes the semantics of SDF-AP, defines key properties governing model execution, and discusses algorithms to check these properties under correctness and resource constraints, and results are presented to evaluate these analysis algorithms on practical applications modeled by S DF-AP. Expand