| TDDC05 | Embedded Systems Simulation and Verification, 7,5 ECTS credits. /Projektkurs i Inbyggda systems simulering och verifiering, CDIO/ |
||
Prel. scheduled
hours: 28 |
|||
|
Area of Education: Technology Subject area: Computer Science |
|||
| Advancement level
(A-D): C
|
|||
| Aim: To get basic knowledge in industrial development methods for systems with embedded software.To get an understanding for the importance of requirements management for a system and the tracing of the requirements to different subsystems at design and verification stages. In particular, understanding management of requirements in systems that include mechanics, electronics, or hydraulics in addition to software. To get familiar with specifying systems using discrete modeling tools like finite automata,functional blocks and logic. To get an understanding for how these specifications can be used to verify that a design satisfies the functional and performance requirements, for automatic generation of code, and for future updates and evolution of the system. By taking part in group assignments in a project form, the course participants also improve their abilities in project planning and follow up, as well as leadership. |
|||
| Prerequisites: (valid for students admitted to programmes within which the course is offered) Real-time systems (eg. TDDA47, TDDB47) and basic course in automatic control, basic set theory. Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding. |
|||
| Organisation: The course is included in the CDIO syllabus of the Y-program, but students from other programs can also take part in this form of group work.The project is carried out in groups of 4-5 students from different educational programs and the LIPS tool is used for process manangement and documentation in the project.For students outside Y-program there will be a lecture on CDIO philosophy and introduction to LIPS.Overview lectures present systems development theory. There are also deeper presentations on techniques for specification and formal verification. Specific resource sessions are used to prepare for the practical use of tools. The student's work further includes home assignments for a deeper understanding of the mathematical underpinnings.The course is given over a whole term. |
|||
| Course contents: Lectures: Development of systems with embedded software. Different phases of systems engineering process and standards, and the relation to software engineering. Tools for modelling systems: Finite automata, data flow diagrams and specification languages - discrete as well as hybrid (discrete/continuous). Orientation on component based modelling and recent development approaches (e.g. Model Driven Architecture, standards like UML). Use of logic to prove system properties. Resource sessions: Questions around the tools to be used in the project, for example: requirements management in CORE, design specification in UML or other tools (e.g. Scade), and logik-based verification tools (e.g. Prover plugin). |
|||
| Course literature: Systems Engineering: Coping with complexity. R. Stevens, K. Jackson, P. Brook, S. Arnold, Prentice Hall, 1998. Handouts and supplementary books. |
|||
| Examination: | |||
| Planning and follow-up of project, Requirements management and specification, Design specification and verification for a high-level design, code generation and adaptation (Group assignment). Home assigments in Logic (Individual). |
4 p 1 p |
||
Course language is Swedish. Department offering the course: IDA. Director of Studies: Christoph Kessler Examiner: Simin Nadjm-Tehrani Link to the course homepage at the department Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||