Credit portal




What size is statement paper

what size is statement paper

Dependable Embedded Systems Research:

Current Projects:

  • Toyota Unintended Acceleration talk
Investigations into potential causes of Unintended Acceleration (UA) for Toyota vehicles have made news several times in the past few years. Some blame has been placed on floor mats and sticky throttle pedals. But a jury trial verdict found that defects in Toyota's Electronic Throttle Control System (ETCS) software and safety architecture caused a fatal mishap. This verdict was based in part on a wide variety of computer hardware and software issues. This talk will outline key events in the still-ongoing Toyota UA story and pull together the technical issues that have been discovered by NASA and other experts. The results paint a picture that should inform not only future designers of safety-critical software for automobiles but also all computer-based system designers.
  • Direct link to view slides | Download Slides
  • Direct link to video
  • Stress Tests for Autonomy Architectures (STAA) (web page ) This combines our experience with Ballista software robustness testing and invariant-based embedded safety monitors to create a testing approach that will help ensure autonomous vehicles and other robots are safe even if they encounter unexpected or exceptional operating conditions.
  • Invariant-Based Embedded System Safety Monitor (Mini-poster )

    Can we create a simple, generic safety shutdown building block? Ideally, what we want is a standard component building block to ensure that a subsystem or entire system gets shut down if it exhibits unsafe behavior, without having to model the details of the design. Example result: these ideas have been successfully applied to a prototype autonomous vehicles and a prototype commercial vehicle technology demonstration platform.

  • Cyclic Redundancy Checks (CRCs) and Checksums

    A lot of the folklore on checksums isn't quite right. We spent a considerable number of CPU-years crunching on a search for optimal polynomials. And we found them. Currently we are working with the FAA applying that knowledge to aviation applications.

Previous Projects and Other Topics:

How can you mitigate malicious and non-malicious timing fault propagation across an embedded network gateway? Or, put another way, how can you keep your car's radio from destabilizing you car's suspension system? Example result: using a FIFO queue to mitigate timing clumps from an IT-style network to a control network can be worse than just throwing clumped messages away. Predictive filters look like a good way to go instead.

How can you get cryptographically secure multicast authentication on a real time embedded network such as CAN or FlexRay? You only have a few bits to spend for this in each message, as well as limited

memory and CPU power. Example result: combining truncated authenticators from multiple message packets provides a useful engineering tradeoff among bandwidth, attack resistance, and control latency.

  • Embedded System Security The rules of the embedded security game are likely to differ from those of IT and desktop security. You can't just treat an embedded computer like your desktop machine.
  • Embedded System Safety Embedded systems usually have the ability to release energy into the environment via actuators. Any potentially uncontrolled release of such energy is, by definition, a safety issue.
  • Ballista -- Software Robustness Testing Some software isn't particularly robust to exceptional inputs. We developed an automated approach to finding robustness vulnerabilities in APIs, including the POSIX and Windows. We found some one-line programs that crashed mature commercial operating systems.
  • Graceful Degradation Wouldn't it be nice if systems failed soft instead of failing hard, and did so without having to resort to brute force redundancy?
  • System Architecture How to figure out the pieces and how they fit together in systems that are bigger than just a CPU or just a computer.
  • Embedded Control Networks These differ in many ways from IT style networks, and we have worked on a variety of aspects.
  • Distributed Embedded System Dependability Distributed embedded systems have unique dependability challenges, especially when theoretical ideas such as group membership and periodic real time schedules meet the real world.
  • Stack Computers In a previous life I designed stack-based CPUs. While they have fallen out of the mainstream, there is still quite a bit of interest, so I maintain a page with my work in this area.
  • Computer Architecture In addition to stack computers, I've done a little bit of work on supercomputer architecture and everyday CPU design.
  • Embedded System Education
  • Miscellany
  • Teaching:

    • 18-649 student info for Fall 2013: Please see the course page.
    • 18-348 student info for Spring 2013: Please see the course page.
    • 18-649 Distributed Embedded Systems (Every Spring since 2007, and taught many previous years as 18-549; every Fall starting Fall 2011). Complete lecture slides are on-line as an advanced embedded systems tutorial.
    • 18-348 Embedded System Engineering (Fall 2006, 2007, 2009, every Spring starting Spring 2012)
    • 18-849 Dependable Embedded Systems (Fall 2005, 2008, 2010). Includes an extensive reading list of scholarly papers on distributed systems, dependability, safety, and more.
    • 18-548. Memory System Architecture (Fall 1998; discontinued). An old course, but it has on-line lecture notes that cover memory hierarchy top to bottom.
    • Thoughts on Ph.D. Qualifiers
    • Essay: How to Write an Abstract

    Category: Forex

    Similar articles: