| studiehandbok@lith | |
|
|
|
|
|
| TDDB30 | Embedded systems simulation and verification, 4 p (sw) /Inbyggda systems simulering och verifiering/ Advancement level: C | |
| Aim: To get basic knowledge in industrial development methods for systems with embedded software specially systems which include mechanics, electronics, hydraulics in addition to software. To understand the importance of requirements capture/management for such systems, and the tracing of requirements to different types of subsystems. To get familiar with specifying systems using discrete modeling tools like finite automata,flow graphs and logic. To get an understanding for how these specifications can be used to verify that a design satisfies the functional and performance requirements. To get an overview about methods for system verification/validation using testingPrerequisites: TDDA47 Real-time and Concurrent Programming or TDDB47 Real-Time Systems Basic course in automatic control Course organization: The course contains introductory lectures, tutorials to prepare for use of tools in the labs, and practical work in the labs as well as (optional) homeworks and report. Course content: 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). Use of logic to prove system properties. Tutorials: Introduction to the tools used in the labs, for example: requirements management in CORE, design specification in Statemate/Rhapsody (UML), and logik-based verification tools. Course literature: Systems Engineering: Coping with complexity. R. Stevens, K. Jackson, P. Brook, S. Arnold, Prentice Hall, 1998. Handouts. | ||
| |
|
|
 |
|||||
|
|
||||||
