BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Model-Based Design: a New Landscape for Embedded Systems Developme
 nt - David Maclay - Mathworks
DTSTART:20090513T131500Z
DTEND:20090513T141500Z
UID:TALK17250@talks.cam.ac.uk
CONTACT:Mateja Jamnik
DESCRIPTION:In this presentation\, I will consider the questions\n\n•	Wh
 at is Model-Based Design?\n\n•	Who is using it?\n\n•	What are the chal
 lenges?\n\nI will use MATLAB and Simulink examples to illustrate important
  techniques such as algorithm modelling\, automatic code generation and ve
 rification techniques including formal methods. I will describe how these 
 techniques are being used today – for the development of complex and hig
 h reliability software in the aerospace\, automotive and other industries.
  An underlying principle of Model-Based Design is the concept of a “gold
 en-model” that pulls together the combined effort of an entire design te
 am including algorithm developers\, software engineers\, verification engi
 neers and documentation writers. From this model\, engineers can automatic
 ally generate production quality code as well as documentation\, test resu
 lts and additional artefacts required to meet the requirements of standard
 s such as DO-178B for development of avionics software.\n\nDespite the wid
 espread adoption of Model-Based Design\, new technologies are becoming ava
 ilable and challenges remain that make this a very exciting area to be inv
 olved with. Some of the challenges relate to existing workflows that canno
 t easily be changed in the conservative world of avionics software develop
 ment\; however\, change is being pushed through by the need to reduce cost
 s and shorten development cycles. With the efficiency of automatically gen
 erated code now matching manually-written software it becoming difficult t
 o justify the time and cost of hand-coding. I will describe a traditional 
 workflow and how this can be evolved to embrace Model-Based Design.\n\nInc
 reasing demands for computational power and availability of multi-core and
  multi-processor systems are opening up new opportunities. I will discuss 
 how Model-Based Design can take advantage of such technologies in order to
  provide a seamless workflow from modelling through to verification and pr
 oduction deployment of an embedded system.\n\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR