Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic Rhapsody (steve huntington)
Decrease font size
Increase font size
Topic Title: Embedded Systems
Topic Summary:
Created On: 23-Sep-2005 12:52
Status: Read Only
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
 23-Sep-2005 12:52
User is offline View Users Profile Print this message


Brandi Carroll

Posts: 82
Joined: 22-Jul-2004

Embedded Systems

Instructor: Lars Wehmeyer
Email: [email]Lars.Wehmeyer@uni-dortmund.de[/email]

University of Dortmund
Website: [url]http://ls12-www.cs.uni-dortmund.de[/url]

Computer Science Department
Embedded Systems Group
Otto-Hahn-Str. 16
44221 Dortmund Germany

Course Description:
Embedded Systems are systems where information processing is embedded into an environment. In addition, the information processing is frequently not even noticed. Examples for embedded systems are information processing systems in vehicles (cars, planes, trains), in mobile communication devices and in industrial engineering. The information processing units in these systems have to fulfill a number of similar requirements: in particular, reliability, consideration of timing deadlines and efficiency. According to a number of predictions, embedded systems will become dominant in the number of information processing applications in the future.
In the lecture, the fundamental properties of such embedded systems are discussed. In particular, the following topics will be covered:

- specification languages for embedded systems
- embedded systems hardware
- real time systems and middleware
- implementation of embedded systems using hardware/software codesign
- validation

The labs accompanying the lecture will enable students to design embedded systems using examples based on hierarchical state machines and also on Lego Mindstorm Robots.

Literature: The lecture is based on the book "Peter Marwedel:
Embedded System Design", Kluwer Academic Publishers, November 2003.
1: Introduction
1.1. Terms and scope
1.2. Application areas
1.3. Growing importance of embedded systems 1.4. Structure of this book

2: Specifications
2.1. Requirements
2.2. Models of computation
2.3. StateCharts
2.4. General language characteristics
2.5. SDL
2.6. Petri nets
2.7. Message Sequence Charts
2.8. UML
2.9. Process networks
2.10. Java
2.11. VHDL
2.12. SystemC
2.13.Verilog and System Verilog
2.14. SpecC
2.15. Additional languages
2.16. Levels of hardware modeling
2.17. Language comparison
2.18. Dependability requirements

3: Embedded system hardware
3.1. Introduction
3.2. Input
3.3. Communication
3.4. Processing units
3.5. Memories
3.6. Output

4: Embedded operating systems, middleware, and scheduling 4.1. Prediction of execution times 4.2. Scheduling in real-time systems 4.3. Embedded operating systems 4.4. Middleware

5: Implementing embedded systems: hardware/software codesign 5.1. Task level concurrency management 5.2. High-level optimizations 5.3. Hardware/software partitioning 5.4. Compilers for embedded systems 5.5. Voltage scaling and power management 5.6. Actual design flows and tools

6: Validation
6.1. Introduction
6.2. Simulation
6.3. Rapid prototyping and emulation
6.4. Test
6.5. Fault simulation
6.6. Fault injection
6.7. Risk- and dependability analysis
6.8. Formal verification
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic Rhapsody forum.
There are currently 1 users logged in.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.