Seminars

The ESL runs weekly seminar sessions every Wednesday afternoon. 

Members of the Embedded Systems Laboratory presented at The Embedded Systems Show at Birmingham NEC on the 13-14 October. The Proceedings of this conference are available below.

Proceedings of the First UK Embedded Forum (PDF)

The Embedded Systems Laboratory at ESS 2004

17/11/2004 at 14.00

Location: LTC old Physics Building

Weihang Wu and Dr Tim Kelly, University of York

"Safety Tactics for Software Architecture Design"

The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies have not been developed to the extent necessary to ensure safety of these systems. Moreover, many software safety standards fail to discuss the rationale behind the adoption of alternative architectural mechanisms. Safety has not been explicitly considered by existing software architecture design methodologies. As a result, there is little practical guidance on how to address safety concerns in 'shaping' a 'safe' software architecture.

This talk presents a method for software architecture design within the context of safety. This method is centred upon extending the existing notion of architectural tactics to include safety as a consideration. The approach extends existing software architecture design methodologies and demonstrates the true value of deployment of specific protection mechanisms. The feasibility of this method is demonstrated by an example.

Monday 21 June at 13.30

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Simon Key, Embedded System Laboratory, University of Leicester, Leicester

"Implementing PID control systems using resource-limited embedded processors"

This talk will be concerned with the development of software for control systems implemented in an embedded form. The talk will cover two topics. Firstly, I will consider how the choice of implementation method affects memory and CPU requirements (and, hence, implementation cost). Second, I will consider the performance of the control system and the extent to which the choice of implementation method affects performance.

Friday 30th April at 15.00

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Dr Royan Ong, Department of Electronics and Computer Science, University of Southampton.

"Pervasive sub-glacial monitoring: Challenges and solutions"

Monitoring the subterranean environment of ice caps and glaciers is an important part of our understanding of the Earth's climate. To accurately monitor such environments the system must autonomously do so over a reasonable geographic area and over a relatively long time. It also needs to be as non-invasive as possible to mimic its surroundings.

This seminar discusses the methodology that we have employed to meet the various requirements of the project, and the solutions to various technical issues such as power management, communication, miniaturisation and reliability that we face. It also takes a look at ad-hoc networking and position determination of sub-glacial probes.

This link has more information on the project:

http://envisense.org/glacsweb.htm

Thursday 22nd January 2004 at 2pm

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Tim Edwards, Embedded System Laboratory, University of Leicester, Leicester

Distributed, Fault-Tolerant Software Architectures for X-By-Wire

Wednesday 22nd October 2003 at 2:30pm

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Dr. N.C. Audsley, Dept. Computer Science, University of York

Towards Next Generation Embedded Real-Time System Development and Implementation

====================================================

Current design and implementation strategies for embedded real-time systems tend towards an early split between hardware and software development, with separate languages and development strategies for the different domains. Work at York extends approaches for compiling a single software program to a mixture of hardware and software, targeted at an FPGA. Currently, we are using the Ada language as source, but allowing additional hardware components to be specified in VHDL. Where the Ada and / or VHDL implement a processor (ie. softcore), programs written in other languages (eg. C) can be supported on that processor. The work is promoting a closer coupling between the traditionally disjoint hardware and software disciplines of embedded real-time systems engineering.

Wednesday 15th October 2003

Chisanga Mwelwa, Embedded System Laboratory, University of Leicester, Leicester

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Tool Support for Pattern-based Development of Reliable Embedded Systems

Tuesday 16th September 2003

Teera Phatrapornnant, Embedded System Laboratory, University of Leicester, Leicester

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Software Architectures for Battery-Powered Embedded Systems

Monday 15th September 2003

Devaraj Ayavoo, Embedded Systems Laboratory, University of Leicester, Leicester

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

Designing Distributed Real-Time Embedded Control System for X-by-Wire Applications

Thursday 20th March 2003 at 2:00pm

Prof. Hussein Zedan, Software Technology Research Laboratory, De Montfort University Leicester

Location: MacLellan Room, 4th Floor seminar room - Engineering Dept.

A Compositional Framework for Hardware/Software Co-Design

Author: S A Key, last updated 16/11/2004. Best viewed on 1024 x 768.
This document has been approved by the Head of Department.