![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Embedded Systems Topic Summary: Created On: 23-Sep-2005 12:52 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
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 |
|
![]() |
Telelogic Rhapsody
» University Instructor Community » Curriculum Exchange
»
Embedded Systems
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.