Design Automation Tools

Software tools for designing electronic systems.
event

Visible to the public  Resilience Week 2016
Aug 16, 2016 7:30 am - Aug 18, 2016 5:00 am CDT

Resilience Week includes IEEE technically co-sponsored symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from unexpected and malicious threats - securing our way of life.

We are pleased to have the following renowned plenary and keynote speakers joining us this year, with more to be confirmed in the near future.

Plenary Speakers

group

Visible to the public 2016 CPS Challenge

License: 
Creative Commons 2.5
This repository contains artifacts related to the upcoming multi-institution student competition.

These challenges will provide engineering students the opportunity to validate their analytic studies through a real-world vehicle design and verification experience.

event

Visible to the public  FMICS-AVoCS 2016
Sep 26, 2016 7:00 am - Sep 29, 2016 6:00 pm CEST

PRELIMINARY CALL FOR PAPERS

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)

Pisa, Italy | 26-29 September 2016 | http://fmics-avocs.isti.cnr.it/

file

Visible to the public Go-RealTime: Knowledge and Control of Time in High Level Programming Language

Abstract:

General purpose operating systems (OS) are concurrent and multithread, and the primary goal of thread scheduler is to enforce fairness among all threads. This design is unsuitable for Real-Time (RT) systems, because tasks have soft or hard deadline of finishing time. Concurrency breaks timing of RT applications because users never know when their program is actually running. Explicitly allocation of processor resource to programs (threads) is thus necessary for timing-aware applications.

file

Visible to the public Controller Design for Systems with Clock Offsets

Abstract:

It's common in controller design to assume that the controller reads the sensors and writes to the actuators at the same time instant. This assumption is often violated in practice because the controller executes its code sequentially on a microprocessor. If the microprocessor is "fast enough," often the controller will still work.