Software Engineering for Embedded Systems (WS 2011/12) - tele-TASKhttps://www.tele-task.de/series/864/Software-intensive systems, in which a considerable fraction of the system development efforts is dedicated to the development of embedded software, are often regarded as the most important software engineering field in the years to come. They are expected to be one key factor of success for many industries such as, for example, the automotive sector, transportation, or medical devices. As today technical systems also become connected to each other using network technology, we no longer only have technical systems which are controlled by isolated operating embedded software. Instead, the software may include complex information processing capabilities and the coordination between the different technical systems via networks taking hard real-time constraints into account. Modeling embedded systems often results in a mix of models from a multitude of disciplines such as software engineering, control engineering, mechanical engineering, and electrical engineering. Block diagrams in systems engineering and the Unified Modeling Language (UML) in software engineering, are prominent examples of domain specific modeling techniques used for modeling. Recently, several steps towards integrating both worlds can be observed. UML 2.0 component diagrams offer a system view which has been originally invented for complex real-time systems in the telecommunications domain. SysML suggests an extension of the UML for systems engineering. The required integration has to combine the usually continuous world considered by systems engineering and the discrete software engineering view and thus results in techniques for hybrid systems which support both continuous as well as discrete behavior. Embedded systems are often safety-critical applications where their correct operation is vital to ensure the safety of the public and environment. Examples include shut-down systems for nuclear power plants, fly-by-wire aircrafts, autonomous train control software or anti-lock braking systems in automobiles. Safety is a system property and thus cannot be studied by simply taking into account the software part of an embedded system, only. However, in this lecture we will address the general engineering aspects of safety in a rather superficial manner and mainly concentrate on the specific problems of safety-critical systems which contain (complex) software parts. In this lecture, we will review the current state of the art of software engineering for embedded systems taking into account the techniques available for the different development activities such as project management, requirements engineering, analysis & design, implementation, and verification & validation. This will, in particular, include the study of available techniques for the development of systems, which are safety-critical, have hard real-time constraints, and are hybrid systems. Also an overview about the current state of the art for the model-driven development of embedded systems is provided. In addition to the lecture exercises are organized to give an insight how to use state of the art approaches and tools. Within small projects the students can contribute the gained knowledge by developing solutions for the Robotino-Robot by using these introduced tools and concepts. The exercises and projects will be organized (partially) in the context of the currently established new Cyber-Physical-Systems-Laboratory (CPS-Lab) at the Hasso-Plattner-Institute.High quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)Prof. Dr. Holger GieseSoftware-intensive systems, in which a considerable fraction of the system development efforts is dedicated to the development of embedded software, are often regarded as the most important software engineering field in the years to come. They are expected to be one key factor of success for many industries such as, for example, the automotive sector, transportation, or medical devices. As today technical systems also become connected to each other using network technology, we no longer only have technical systems which are controlled by isolated operating embedded software. Instead, the software may include complex information processing capabilities and the coordination between the different technical systems via networks taking hard real-time constraints into account. Modeling embedded systems often results in a mix of models from a multitude of disciplines such as software engineering, control engineering, mechanical engineering, and electrical engineering. Block diagrams in systems engineering and the Unified Modeling Language (UML) in software engineering, are prominent examples of domain specific modeling techniques used for modeling. Recently, several steps towards integrating both worlds can be observed. UML 2.0 component diagrams offer a system view which has been originally invented for complex real-time systems in the telecommunications domain. SysML suggests an extension of the UML for systems engineering. The required integration has to combine the usually continuous world considered by systems engineering and the discrete software engineering view and thus results in techniques for hybrid systems which support both continuous as well as discrete behavior. Embedded systems are often safety-critical applications where their correct operation is vital to ensure the safety of the public and environment. Examples include shut-down systems for nuclear power plants, fly-by-wire aircrafts, autonomous train control software or anti-lock braking systems in automobiles. Safety is a system property and thus cannot be studied by simply taking into account the software part of an embedded system, only. However, in this lecture we will address the general engineering aspects of safety in a rather superficial manner and mainly concentrate on the specific problems of safety-critical systems which contain (complex) software parts. In this lecture, we will review the current state of the art of software engineering for embedded systems taking into account the techniques available for the different development activities such as project management, requirements engineering, analysis & design, implementation, and verification & validation. This will, in particular, include the study of available techniques for the development of systems, which are safety-critical, have hard real-time constraints, and are hybrid systems. Also an overview about the current state of the art for the model-driven development of embedded systems is provided. In addition to the lecture exercises are organized to give an insight how to use state of the art approaches and tools. Within small projects the students can contribute the gained knowledge by developing solutions for the Robotino-Robot by using these introduced tools and concepts. The exercises and projects will be organized (partially) in the context of the currently established new Cyber-Physical-Systems-Laboratory (CPS-Lab) at the Hasso-Plattner-Institute.notele-TASKtele-task@hpi.deen℗; ©; tele-TASKThu, 25 Feb 2021 18:11:17 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssVerification & Validation, Summary and Outlookhttps://www.tele-task.de/lecture/video/3079/Prof. Dr. Holger Giese01:18:55tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/3079/Wed, 21 Dec 2011 11:01:29 GMTCode Generation, MDD & MDA and Verification & Validation https://www.tele-task.de/lecture/video/3070/Prof. Dr. Holger Giese01:30:49tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/3070/Tue, 20 Dec 2011 11:01:51 GMTIntroduction & Manual Codinghttps://www.tele-task.de/lecture/video/3059/Prof. Dr. Holger Giese01:33:55tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/3059/Wed, 14 Dec 2011 11:01:02 GMTDesign for Reliability, Availability and Safetyhttps://www.tele-task.de/lecture/video/3055/Prof. Dr. Holger Giese01:37:47tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/3055/Tue, 13 Dec 2011 11:00:14 GMTAdvanced Design Concepts & Design Dependable Embedded Systemshttps://www.tele-task.de/lecture/video/3024/Prof. Dr. Holger Giese01:28:35tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/3024/Wed, 07 Dec 2011 11:03:07 GMTMethods, Analysis and Designhttps://www.tele-task.de/lecture/video/3007/Prof. Dr. Holger Giese01:24:09tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/3007/Tue, 06 Dec 2011 11:00:49 GMTController Designhttps://www.tele-task.de/lecture/video/2978/Dipl. Inf. Stefan Neumann00:52:36tele-TASK, HPI, computer science, technology, Germany, PotsdamDipl. Inf. Stefan NeumannDipl. Inf. Stefan Neumannhttps://www.tele-task.de/lecture/video/2978/Tue, 22 Nov 2011 11:05:35 GMTSoftware Reliability and Availabilityhttps://www.tele-task.de/lecture/video/2955/Prof. Dr. Holger Giese01:25:17tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2955/Wed, 16 Nov 2011 11:03:04 GMTDependability Requirementshttps://www.tele-task.de/lecture/video/2951/Prof. Dr. Holger Giese01:30:57tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2951/Tue, 15 Nov 2011 11:04:48 GMTRequirementshttps://www.tele-task.de/lecture/video/2936/Prof. Dr. Holger Giese01:27:48tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2936/Wed, 09 Nov 2011 11:01:37 GMTLife Cycle Models & Requirementshttps://www.tele-task.de/lecture/video/2931/Prof. Dr. Holger Giese01:37:00tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2931/Tue, 08 Nov 2011 11:02:01 GMTExercise 1https://www.tele-task.de/lecture/video/2904/Dipl. Inf. Stefan Neumann01:08:31tele-TASK, HPI, computer science, technology, Germany, PotsdamDipl. Inf. Stefan NeumannDipl. Inf. Stefan Neumannhttps://www.tele-task.de/lecture/video/2904/Tue, 01 Nov 2011 10:59:42 GMTApplication Domains & Life Cyclehttps://www.tele-task.de/lecture/video/2887/Prof. Dr. Holger Giese01:30:27tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2887/Wed, 26 Oct 2011 11:02:03 GMTModel Propertieshttps://www.tele-task.de/lecture/video/2881/Prof. Dr. Holger Giese01:19:10tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2881/Tue, 25 Oct 2011 11:00:55 GMTFoundationshttps://www.tele-task.de/lecture/video/2862/Prof. Dr. Holger Giese01:30:08tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2862/Wed, 19 Oct 2011 11:02:02 GMTOrganization & Introductionhttps://www.tele-task.de/lecture/video/2860/Prof. Dr. Holger Giese01:29:22tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Holger GieseProf. Dr. Holger Giesehttps://www.tele-task.de/lecture/video/2860/Tue, 18 Oct 2011 11:00:57 GMT