View by Category

Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking - PowerPoint PPT Presentation

Loading...

PPT – Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking PowerPoint presentation | free to download - id: f3192-ZDc1Z



Loading


The Adobe Flash plugin is needed to view this content

Get the plugin now

About This Presentation
Title:

Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking

Description:

Multiple CPU nodes connected by a TDMA bus. ... Used SPIN to verify the time partitioning properties of an avionics real-time operating system ... – PowerPoint PPT presentation

Number of Views:61
Avg rating:3.0/5.0
Slides: 31
Provided by: video8
Learn more at: http://videos.dac.com
Category:

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes
About PowerShow.com