| |
EECS 249
Lectures
Course Development |
EECS 249: Design of Embedded Systems: Models, Validation and SynthesisPrerequisite: There is no pre-requisite for this course, but some exposure to the basics of real-time embedded system and an inclination to formal reasoning is welcome. No textbook required for this course.
Embedded systems are electronics systems
that sense physical quantities, elaborate the data and respond to the
environment by sending commands to actuators. These computing systems
are increasingly becoming a necessity in our everyday lives, from
complex automobile electrical systems to high-performance building
temperature and power control systems. New design methods are needed to
efficiently deal with the growing design complexity and heterogeneity of
these systems. This class presents approaches to the new system science
based on theories, methods and tools that were in part developed at the
Berkeley Center for Hybrid
and Embedded Software Systems (CHESS) and the Giga-scale System Research Center
(GSRC) where heterogeneity, concurrency, multiple levels of abstraction
play an important role and where a set of correct-by-construction
refinement techniques are introduced as a way of reducing substantially
design time and errors. Real-life applications including unmanned
avionics and building automation are used to illustrate system-level
design methodologies and tools. Class Organization (Tentative):Design
complexity, example of embedded systems,traditional design flow,
Platform-Based Design.
Introduction
to models of computation. Finite State Machines and Co-Design Finite
State Machines, Kahn Process Networks, Data Flow, Petri Nets, Hybrid
Systems. Unified frameworks: the Tagged Signal Model, Agent Algebra.
Definition
of architecture, examples: distributed architecture, coordination,
communication. Real time operating systems, scheduling of computation
and communication.
Definition
of mapping and synthesis. Software synthesis, quasi static scheduling.
Behavioral synthesis. Communication Synthesis and communication-based
design.
Validation
vs Simulation. Verification of hybrid system. Interface automata and
assume guarantee reasoning.
Automotive:
car architecture, communication standards (CAN, FlexRay, AUTOSAR),
scheduling and timing analysis.
Building automation: Communication (BacNet, LonWorks, ZigBee). Applications to monitoring and security. To modify this page, use CVS. |