The University of Newcastle, Australia
Available in 2019

Course handbook

Description

This course covers modelling, design and verification for embedded systems. Design problems in mechatronics are often characterised by many interlocking design trade-offs and conflicting requirements. Engineers need to carefully balance design decisions that affect mechanical structure, power electronics, dynamic response, computational power, sensor and actuator choice, cost and development time. This is achieved in MCHA3400 by a combination of mathematical modelling of systems, system testing and implementation along with consideration of safety, reliability, availability and fault tolerance. This is particularly relevant in mechatronics applications including medical devices, aerospace and autonomous systems.


Availability2019 Course Timetables

Callaghan

  • Semester 1 - 2019

Learning outcomes

On successful completion of the course students will be able to:

1. Construct state-space models of multi-domain systems including electrical, mechanical and thermofluid components

2. Construct graphical models of system structure and causality

3. Use reliability, safety and fault tolerance metrics in system design

4. Use and recognise both formal and agile design methods

5. Design verification tests and procedures to determine validity of embedded systems

6. Discuss functional safety standards for different application areas


Content

  1. System level Modelling
    • Graph-based modelling unifying mechanical, electrical, fluid power, thermodynamic, thermofluid and chemical process domains
    • Power bonds, signals and modulated elements
    • Convection bonds and compressible flow
    • Thermodynamic storage and dissipation
    • Causality and differential equations
    • Analytical mechanics, including Lagrangian and Hamiltonian dynamics
    • Lagrangian and Hamiltonian bond graphs
  2. System design and analysis and implementation
    • Reliability, availability, redundancy, fault tolerance and reconfiguration
    • Evaluation metrics for reliability and availability
    • Test-driven development
    • Methods of design, including formal and agile
    • Functional safety of embedded systems
  3. System verification and validation
    • Verification methods, including Monte-Carlo, scenario testing and extreme event tests
    • Hardware and software-in-the-loop testing
    • Verification of system redundancy

Assumed knowledge

MCHA3400Embedded Systems EngineeringThis course covers modelling, design and verification for embedded systems. Design problems in mechatronics are often characterised by many interlocking design trade-offs and conflicting requirements. Engineers need to carefully balance design decisions that affect mechanical structure, power electronics, dynamic response, computational power, sensor and actuator choice, cost and development time. This is achieved in MCHA3400 by a combination of mathematical modelling of systems, system testing and implementation along with consideration of safety, reliability, availability and fault tolerance. This is particularly relevant in mechatronics applications including medical devices, aerospace and autonomous systems.FENBEFaculty of Engineering and Built Environment512School of Engineering1030005940Semester 1 - 2019CALLAGHANCallaghan2019ENGG1003 Introduction to Procedural Programming

ELEC1710 Digital and Computer Electronics 1

ENGG2440 Modelling and ControlSystem level Modelling Graph-based modelling unifying mechanical, electrical, fluid power, thermodynamic, thermofluid and chemical process domainsPower bonds, signals and modulated elementsConvection bonds and compressible flowThermodynamic storage and dissipationCausality and differential equationsAnalytical mechanics, including Lagrangian and Hamiltonian dynamicsLagrangian and Hamiltonian bond graphsSystem design and analysis and implementation Reliability, availability, redundancy, fault tolerance and reconfigurationEvaluation metrics for reliability and availabilityTest-driven developmentMethods of design, including formal and agileFunctional safety of embedded systemsSystem verification and validation Verification methods, including Monte-Carlo, scenario testing and extreme event testsHardware and software-in-the-loop testingVerification of system redundancy NOn successful completion of this course, students will be able to:1Construct state-space models of multi-domain systems including electrical, mechanical and thermofluid components2Construct graphical models of system structure and causality3Use reliability, safety and fault tolerance metrics in system design4Use and recognise both formal and agile design methods5Design verification tests and procedures to determine validity of embedded systems6Discuss functional safety standards for different application areas Written Assignment: System Modelling AssignmentWritten Assignment: System Design AssignmentWritten Assignment: System Implementation Assignment CallaghanLaboratoryFace to Face On Campus4hour(s)per Week for0Full Term0LectureFace to Face On Campus4hour(s)per Week for0Full Term0


Assessment items

Written Assignment: System Modelling Assignment

Written Assignment: System Design Assignment

Written Assignment: System Implementation Assignment


Contact hours

Callaghan

Laboratory

Face to Face On Campus 4 hour(s) per Week for Full Term

Lecture

Face to Face On Campus 4 hour(s) per Week for Full Term