Home Page
Participants
Research and Integration
Dissemination
Embedded System Links
intranet
»
Dissemination
»
Schools and Seminars
»
ARTIST2 / UNU-IIST Spring School in China 2006
Dissemination
Workshops
Past Workshops
Schools and Seminars
International Collaboration
Publications
Contributions to Standards
Course Materials Available Online
ARTIST followup
EMSIG website
more info
Subscriptions
ARTIST Mailing List
ARTIST2 / UNU-IIST Spring School in China 2006
Overview
Lecturers and Seminar Speakers
Organisation
Course Materials
April 3-15, 2006 Xi’an, China
organised and funded by ARTIST
Course Materials
Week 1: Design, Architectures and Implementation
Lothar Thiele and Peter Marwedel
Monday
Introduction to Embedded System Design
(Lothar Thiele)
Software for Embedded Systems
(Lothar Thiele)
Tuesday
Specification Languages for Embedded Systems
(Peter Marwedel)
Scheduling Policies
(Lothar Thiele)
Wednesday
Design Space Exploration of Embedded Systems
(Lothar Thiele)
Performance Analysis of Distributed Embedded Systems
(Lothar Thiele)
Thursday
Efficiency improving transformations
(Peter Marwedel)
Exploitation of the Memory Hierarchy
(Peter Marwedel)
Friday
Key Compiler Algorithms
(Peter Marwedel)
Building a Compiler
(Peter Marwedel)
Week 2: Modeling, Validation and Verification
Joseph Sifakis and Wang Yi
Monday
Modeling of Real-Time Systems
(Joseph Sifakis)
Duration Calculus (Zhou Chaochen)
Component-Based Construction: Interaction Models and Composition
(Joseph Sifakis)
Tuesday
Component-Based Construction: Scheduler Modeling and Composability
(Joseph Sifakis)
The Duration Calculus and Model Checking (Zhou Chaochen)
Correctness by Construction: Timed Systems with Priorities
(Joseph Sifakis)
Wednesday
The IF toolset and the BIP framework
(Joseph Sifakis)
Verification of Untimed Systems: CTL and Basic Algorithms
(Wang Yi)
Thursday
Semantics and Verification of Timed Systems
(Wang Yi)
A Component Model for Objects-Oriented Systems (Liu Zhiming)
The UPPAAL Tool
(1) (Wang Yi)
Friday
The UPPAAL Tool
(2) (Wang Yi)
Verification of Real-Time Fault-Tolorant Systems (Liu Zhiming)
The TIMES tool: Models to Programs
(Wang Yi)
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009
Réalisation Axome
-
Création de sites Internet