design

event

Visible to the public  33rd IEEE Real-Time Systems Symposium (RTSS) 2012
Dec 04, 2012 4:15 pm - Dec 07, 2012 4:15 pm AST

IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real-time systems, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and experiences. RTSS 2012 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

event

Visible to the public  32nd IEEE Real-Time Systems Symposium
Nov 29, 2011 8:00 am - Dec 02, 2011 8:00 am CST

RTSS is the premier conference in the area of real-time comuting, presenting innovations in the field with respect to theory and practice.

forum

Visible to the public CFP: RTSS 2012

Call for Papers

Real-Time Systems Symposium (RTSS)

San Juan, Puerto Rico | December 5-7, 2012 http://www.rtss.org/rtss2012-cfp/

file

Visible to the public Model-Based Design Overview

This presentation conceptualizes Model-Based Design of a cyber-physical system. Three stages of a system under design at various levels of detail are depicted. The designs are captured by models that have computational semantics based on the execution engine on a host platform. The implementation as generated code executes on a target platform. Because executable, the design can be explored, tested, and verified while at various levels of detail. This enables separation of concerns and so allows raising the level of abstraction in design.