NICTA Embedded Systems Public Seminar
From Requirements to Embedded Software - Formalising the Key Steps
Mr Toby Myers, Griffith University
Time/Venue
Tuesday 27 January 2009, 11am
NICTA, Neville Roach Laboratory, Level 1 Seminar Room, 223 Anzac Parade (Building L5), Kensington NSW 2052
Abstract
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. If there are also critical dependability issues, not satisfying system requirements can have life threatening consequences. However in current approaches, ensuring requirements are satisfied is often delayed until late in the development process during a cycle of testing and debugging.
This talk describes how the system development approach, Behavior Engineering, can be used to develop software for embedded systems. The result is a model-driven development approach that can create embedded system software that satisfies its requirements, as a result of applying the development process.
Biography:
Toby Myers received a dual Bachelor of Microelectronic Engineering / Bachelor of Information Technology from Griffith University in 2004, and is currently completing a PhD in Software Engineering also at Griffith University.
His main research interest is in the area of Model-Driven Engineering, where he has focused on extending the Behavior Engineering approach to support the development of executable designs for various applications.