Advanced Search

Content Type

Topics

Publication Date

Cyber-Physical Systems

August 2014

  • Verifying Periodic Real-Time Software August 2014 - Presentation Colloquium presentation for Oregon University EECS Department that discusses recent developments in SEI's ongoing research on verifying periodic programs.

March 2014

February 2014

January 2014

October 2013

  • Advanced Mobile Systems Initiative October 2013 - Brochure Describes Mobile Computing--the use of computing technology on the go
  • Architecting Systems of the Future October 2013 - Podcast In this episode, Eric Werner discusses research that he and several of his colleagues are conducting to help software developers create systems for the many-core central processing units in massively parallel computing environments.

September 2013

August 2014

  • Verifying Periodic Real-Time Software August 2014 - Presentation Colloquium presentation for Oregon University EECS Department that discusses recent developments in SEI's ongoing research on verifying periodic programs.

March 2014

February 2014

January 2014

October 2013

  • Advanced Mobile Systems Initiative October 2013 - Brochure Describes Mobile Computing--the use of computing technology on the go
  • Architecting Systems of the Future October 2013 - Podcast In this episode, Eric Werner discusses research that he and several of his colleagues are conducting to help software developers create systems for the many-core central processing units in massively parallel computing environments.

September 2013

July 2013

November 2012

August 2012

October 2011

  • Time-Bounded Analysis of Real-Time Systems October 2011 - Presentation This presentation considers the problem of verifying functional correctness of periodic Real-Time Embedded Software (RTES), a popular variant of RTES that execute periodic tasks in an order determined by Rate Monotonic Scheduling (RMS).