You are here

Model-based Design of Safety-Critical Embedded Systems, from Functional Model to Implementation

Wednesday, March 12, 2014 -
8:45am to 9:45am
KEC 1007

Speaker Information

Haibo Zeng
Assistant Professor
McGill University


<p>Safety-critical embedded systems, e.g., avionics, automotive, and medical devices, must tightly integrate and coordinate embedded computing systems with physical elements in a timely and dependable fashion. The current design process leverages results from the real-time scheduling theory, which considers tasks or jobs (from the operating system concept of thread) as the units for the analysis and validation. As a result, timing is often considered as a “non-functional” requirement which will only be checked after the system integration, while it should be a correctness criterion starting from the functional design. In addition, the constantly growing complexity of embedded systems coupled with the tight cost and short time-to-market often results in long design iterations to improve the design and fix errors, and ultimately sub-optimal solutions.</p><p>We propose to make time a first-class citizen of system design, and consider timing in the design synthesis from the functional models. Different from the traditional research in real-time systems community, the task (or threads) model becomes an intermediate artifact, and the timing analysis becomes part of a synthesis problem. We will focus on the Synchronous Reactive (SR) model, since it is very popular for modeling safety-critical embedded applications. We will automate the design optimization and synthesis of automotive systems that go from system-level modeling to correct, predictable, and efficient implementation. The implementation will be targeted at all kinds of practical architecture platforms, including single-core, multi-core, time-triggered distributed systems, and distributed systems without synchronized clocks.</p>

Speaker Bio

Haibo Zeng is currently an Assistant Professor at McGill University, Canada. He received his Ph.D. in Electrical Engineering and Computer Sciences from University of California at Berkeley, a B.E. and M.E. in Electrical Engineering from Tsinghua University, Beijing, China. He was a senior researcher at General Motors R&D until October 2011. His research interests are design methodology, analysis, and optimization for embedded systems, cyber-physical systems, and real-time systems. His work has received three best paper awards in the above fields.