Course details
Embedded Systems Design
NVD Acad. year 2012/2013 Summer semester
Embedded distributed system design principles; design life cycle. Embedded system components networking. Behavioral specifications, architectural specifications. Structured design; object-oriented design; design frameworks; specifiation frameworks. Embedded systems on Internet, wired and wireless networks. Development tools and environments. Case studies.
Guarantor
Language of instruction
Completion
Time span
- 26 hrs lectures
Department
Subject specific learning outcomes and competences
Understanding principles of embedded systems design; be aware of architectures and behaviors of embedded systems; being informed about embedded systema and their networks specification and design.
Learning objectives
Understand embedded system design principles; be aware of architectures and behaviors of embedded systems and their networks; be aware of methods and tools for design of embedded systems and their networks.
Prerequisite knowledge and skills
Basic lectures of mathematics and logics at technical universities.
Study literature
- Cheng A.M.K.: Real-Time Systems -- Scheduling, Analysis, and Verification. Wiley, 2002.
- Berger A.S.: Embedded Systems Design -- An Introduction to Processes, Tools, and Techniques. CMP Books, 2002.
- Kreowski H.-J., Montanari U., Orejas F., Rozenberg G., Taentzer G.: Formal Methods in Software and Systems Modeling. Springer, LNCS 3393, 2005.
- Schneider K.: Verification of Reactive Systems -- Formal Methods and Algorithms. Springer-Verlag, 2004.
- Huth M.R.A., Ryan M.D.: Logic in Computer Science -- Modelling and Reasoning about Systems. Cambridge University Press, 2000.
- de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.
Fundamental literature
- Cheng A.M.K.: Real-Time Systems -- Scheduling, Analysis, and Verification. Wiley, 2002.
- Berger A.S.: Embedded Systems Design -- An Introduction to Processes, Tools, and Techniques. CMP Books, 2002.
- Kreowski H.-J., Montanari U., Orejas F., Rozenberg G., Taentzer G.: Formal Methods in Software and Systems Modeling. Springer, LNCS 3393, 2005.
- Schneider K.: Verification of Reactive Systems -- Formal Methods and Algorithms. Springer-Verlag, 2004.
- Huth M.R.A., Ryan M.D.: Logic in Computer Science -- Modelling and Reasoning about Systems. Cambridge University Press, 2000.
- de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.
Syllabus of lectures
- Embedded distributed system design principles
- Embedded system design life cycle
- Embedded system components networking
- Behavioral specifications - reactive and real-time
- Architectural specifications
- Structured design
- Object-oriented design
- Design frameworks
- Specifiation frameworks
- Embedded systems on Internet
- Wired and wireless networks
- Development tools and environments
- Case studies - smart sensor networks
Progress assessment
Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.
Controlled instruction
Written essay completing and defending.