Real-Time Microcontroller Systems: OSEK Standard and experiments on µcontroller devices

March 26-28, 2007       RETIS Laboratory, Scuola Superiore Sant'Anna, Pisa, Italy organised and funded by ARTIST 

Course Programme

Training course on


Real-Time Systems for Microcontrollers: OSEK Standard and experiments on microcontroller devices


Location


RETIS Laboratory, Scuola Superiore Sant'Anna, Pisa, Italy


Date


March 26-28, 2007


Day 1 - March, 26th


Morning (Giorgio Buttazzo)


Scheduling analysis of real-time systems

  • Introduction
  • Rate Monotonic and Deadline Monotonic
  • Response time analysis
  • Priority Inheritance
  • Stack Resource Policy

Afternoon (Paolo Gai)


Microcontrollers for embedded applications

  • Features and characteristics
  • Design targeted to small size

Internals of OSEK compliant kernels

  • Differences from a general purpose OS (e.g., Linux)
  • Stack sharing
  • Immediate Priority Ceiling, and Stack Resource Policy (SRP)
  • Preemption thresholding
  • Implementation of shared stacks
  • Optimization of stack usage

The OSEK/VDX standard (First Part)

  • OSEK OS: details about the standard description of primitives
  • OSEK OIL: details and examples
  • OSEK ORTI: details and examples

Practical examples (First part)

  • Using the Altera Nios II platform
  • Using the Lauterbach Trace32 tracer
  • Boot techniques for microcontrollers

Day 2 - March, 27th


Morning (Paolo Gai)


The OSEK/VDX standard (Second part)

  • OSEK OS: details about the standard description of primitives
  • OSEK OIL: details and examples
  • OSEK ORTI: details and examples

Practical examples (Second part)

  • Using the Altera Nios II platform
  • Using the Lauterbach Trace32 tracer
  • Boot techniques for microcontrollers

A brief overview on the following standards

  • OSEK COM
  • OSEK NM
  • OSEKTime
  • FT-COM
  • HIS
  • AUTOSAR
  • ProtectedOSEK

I/O management e structure of microcontroller drivers

Introduction to the techniques employed by microcontrollers for interfacing with external devices, including typical driver architecture and structure.

Afternoon (Paolo Gai)


ERIKA Enterprise Basic GPL for Microchip dsPIC (R) DSC

  • Characteristics and features
  • Programming, using and building projects
  • Debug a project

Day 3 - March, 28th


Morning (Simone Mannori)


Automatic generation of control applications

 

Automatic generation of control applications for Microchip dsPIC (R) DSC using Scilab/Scicos.

 

Afternoon


 

Examples and practice about all the presented topics.

 

Teachers


  • Paolo Gai (Evidence Srl)
  • Giorgio Buttazzo (Scuola Superiore Sant'Anna)
  • Simone Mannori (INRIA, FR)

Lab Assistants


  • Tullio Facchinetti (University of Pavia)
  • Mauro Marinoni (University of Pavia)
  • Gianluca Franchino (University of Pavia)

Subscription and accomodation


Subscription page

Accomodation page

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet