Title:

Embedded Systems Design

Code:NVD
Ac.Year:ukončen 2008/2009
Term:Summer
Curriculums:
ProgrammeBranchYearDuty
CSE-PHD-4DVI4-Elective
Language:Czech
Completion:examination (verbal)
Type of
instruction:
Hour/semLecturesSem. ExercisesLab. exercisesComp. exercisesOther
Hours:260000
 ExaminationTestsExercisesLaboratoriesOther
Points:1000000
Guarantee:Švéda Miroslav, prof. Ing., CSc., DIFS
Faculty:Faculty of Information Technology BUT
Department:Department of Information Systems FIT BUT
 
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.
Description:
  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.
Knowledge and skills required for the course:
  Basic lectures of mathematics and logics at technical universities.
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.
Syllabus of lectures:
 
  1. Embedded distributed system design principles
  2. Embedded system design life cycle
  3. Embedded system components networking
  4. Behavioral specifications - reactive and real-time
  5. Architectural specifications
  6. Structured design
  7. Object-oriented design
  8. Design frameworks
  9. Specifiation frameworks
  10. Embedded systems on Internet
  11. Wired and wireless networks
  12. Development tools and environments
  13. Case studies - smart sensor networks
Syllabus - others, projects and individual work of students:
 
  • Essay based on selected scientific paper dealing with embedded systems design.
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.
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.

 

Controlled instruction:
  Written essay completing and defending.