Presentations (Manchester)   ...informative, useful and productive.

Hardware Stream :

Software Stream :

Presentations - Hardware Stream

 

 


XMC families of ARM Cortex-M0/4 microcontrollers for controlling Switched Mode Power Supply (SMPS)

Infineon XMC families of ARM Cortex-M0/4 microcontrollers, allow highest efficiency and reliability when controlling Switched Mode Power Supply.



This presentation will explore the XMC microcontroller's high performing peripherals, such as High Resolution PWM, that have been tailored for optimised control of power converters, and it will explain how the highest level of performance and power density can be achieved using this approach.

back to top>>

 

 

 

Enabling PIC® Microcontroller Based Designs for Touch and Input Sensing Applications

With a powerful architecture, a range of 8-bit, 16-bit, and 32-bit offerings, flexible memory technologies and comprehensive easy-to-use development tools, the PIC Microcontroller series from Microchip has enabled many generations of low power devices. This presentation will introduce Microchip's implementations for Touch and other Input Sensing applications and will cover such topics as :

- Proximity, Keys, and Sliders
- Touch Screen and Touch Pad Controllers
- 3D Gesture Controller (detect gestures of the user and to track a movement)
- Haptics (provides tactile feedback to the user by applying forces or vibrations)



Adding a modern intuitive user interface to a design improves its ease of use, functionality and aesthetics. This presentation will explain how Microchip has opened up their algorithms and techniques to engineers, so that they have the freedom to innovate with an industry leading, robust, touch implementation on a vast range of PIC microcontrollers.



Presented By Adrian Amor, Director at Intelligent Display Solutions (an Official Microchip Design Partner)

back to top>>

back to top>>

 

 

 

Machine to Machine Communication – IoT in The Real World



This presentation will explore the many options for machine to machine communication. It will look at options such as Wifi, Bluetooth, Zigbee, Wimax, Lte and HSPA and it will evaluate each in terms of throughput, range, coverage, power consumption, devices per network, security, topology, connection and reliability.

The presentation will also discuss hardware and software options as well as exploring options for Device to Cloud connectivity and security.

back to top>>

 

 

 

Presentation details to follow shortly...

back to top>>

 

 

 

 

 

 

 

 

 

 

 

 

Presentions - Software Stream

 

 

 

9.30 - 10.10am

Improving Embedded Software Security through Coding Standards Compliance and Structural Coverage Analysis

Abstract:

Ensuring the security of embedded devices involves more than simply using vulnerability preventive programming.  However, paying attention to and leveraging security standards such as CWE/CVE, CERT C and even CERT Java, will certainly improve the probability of delivering a secure and effective system. 



To develop software of high assurance and quality, critical software developers can no longer rely on manual inspection and code review alone.  Software developers must utilise automation to assist in the analysis of today’s increasingly large and complex code bases.  Automation will save time, money and help ensure the security of the overall system by enabling automated code static analysis, dynamic coverage analysis, data and control coupling analysis and unit/integration testing. 

When good security programming practices are combined with automation and a secure software operating system and hardware architecture, security can be greatly enhanced, if not highly assured.

This presentation will focus on embedded software security covering:

  • Vulnerability and security flaws
  • Software development with security coding standards
  • Verification and traceability of security requirements

 

Speaker :

Mark Richardson has over 25 years of experience in the development of real-time embedded software in C, C++ and Java. He is currently working for LDRA, where he is a Field Application Engineer working in close collaboration with LDRA’s numerous distributors.  Previously to joining LDRA, Mark was the lead application engineer for IBM Rational Rhapsody and has over 12 years of experience using UML on embedded projects.

He has lived in England, France and the USA, working on a variety of embedded projects and is currently living in the UK.

back to top>>




10.15 - 10.55am

Getting it ‘right first time’ with TT architectures

This presentation will be concerned with the development of software for real-time embedded systems that need to be reliable.  The real-world examples used in this talk will include both a controller for a washing machine and an automotive “Electronic Control Unit” (ECU).

Throughout the talk, the presenter will have a focus on time-triggered (TT) systems.  Implementation of a TT system will typically start with a single interrupt that is linked to the periodic overflow of a timer. This interrupt may drive a task scheduler (a simple form of “operating system”). The scheduler will – in turn – release the system tasks at predetermined points in time. 

In this presentation, we will argue that TT approaches provide an excellent foundation for reliable real-time systems because – during development and after construction – it is easy to model the system and, thereby, determine whether all of the key timing requirements have been met.  There will be examples of the kind of models in mind (and demonstrate how easy it is to create them). 

During the presentation, we will also argue that the deterministic behaviour of TT systems offers significant advantages when the design is up and running because – since we know precisely what the system should be doing at a given point in time – we can very quickly determine whether it is doing something wrong.  Again, we’ll use some practical examples to illustrate how easy it is to perform precise run-time monitoring on TT systems.

Presented by Michael J. Pont, SafeTTy Systems Ltd

back to top>>

 

 

11.30 - 12.10pm

Is it Supposed To Do that ?  - Testing and Debugging Embedded Systems

Testing embedded systems can be fraught with difficulties. The systems are usually embedded deeply within something else with fixed memory available. The target they run on behaves differently to desktop PCs. They control real hardware, and take inputs from sensors and other machines so they frequently have a real-time element.



Many useful methods, techniques and families of tools that have been developed, but seem to have been forgotten about recently. This presentation will look at and evaluate the available types of tools, techniques and methods, starting from creating the system specification needed to validate the tests, through to final verification, and offer helpful ways of automating many of them.

Presented by Chris Hills of Phaedrus Systems

back to top>>

 

 

 

 

Least Privilege Separation Kernel Hypervisors Explained

The concept of a Least Privilege Separation Kernel Hypervisor starts with a traditional Separation Kernel, designed to ensure that different blocks of a partitioned system are invisible to other blocks except for tightly controlled information flow. A Least Privilege Separation Kernel extends that model by subdividing the contexts of the blocks so that the information flow becomes even more tightly controlled. Finally, adding hypervisor functionality to that mix leaves you with a single platform capable of safely hosting multiple and differing subjects, irrespective of the required integrity level for each.

This presentation will introduce key design principles of and will explain how they allow developers to fully leverage the in-built hardware virtualization on today’s multicore processes. It will then go on to describe how typical real-world scenarios can make best use of this technology, in applications such as:

1. Secure IoT separation between Operation Technology and Information Technlogy

2. Platform consolidation through the virtualization of disparate environments

3. Virtualization of defunct target devices to provide a cost effective path to hardware refresh

4. Safe, single processor hosting of multiple subjects with differing safety and security integrity levels

Presenter Biography:

Mark Pitchford has over 25 years’ experience in software development for engineering applications. He has worked on many significant industrial and commercial projects in development and management, both in the UK and internationally. Since 2001, he has worked with development teams looking to achieve compliant software development in safety critical environments, working with standards such as DO-178, IEC61508 and ISO 26262.

Mark earned his Bachelor of Science degree at Trent University, Nottingham, and he has been a Chartered Engineer for almost 20 years. He now works throughout Europe, the Middle East and Africa as Technical Manager with Lynx Software Technologies.

back to top>>

 

 

The Impact of a Certified Toolset in a High Integrity Software Development Environment

Working to any of the key software standards such as DO-178C, EN50128, ISO26262 or IEC61508 drives onerous changes into the V cycle design process. This talk will demonstrate that using a qualified or certified toolset can dramatically streamline and automate many of the steps, as well as build quality and best practise into the design.

back to top>>

 

 

 

Migrating to Git for Embedded Software Development? Caveat Emptor

Git is popular for version management during embedded software development due it being freely available, its flexibility and support by the community. Because of this, companies are considering to migrate from SCM systems such as Subversion to give developers local copies of their source code with the objective of increasing their productivity.



This creates a problem of how to retain control over the release of software builds and being able to track them as a project progresses. This presentation discusses the key issues that need to be considered prior to moving to Git and the limitations of Git that can cause difficulties with traceability of software built for embedded systems.

back to top>>