Rigorous code generation for distributed real-time embedded systems

This thesis addresses the problem of generating executable code for distributed embedded systems in which computing nodes communicate using the Controller Area Network (CAN). CAN is the dominant network in automotive and factory control systems and is becoming increasingly popular in robotic, medica...

Full description

Bibliographic Details
Main Author: Almohammad, Ali
Other Authors: Kendall, David; Henderson, William
Published: Northumbria University 2013
Subjects:
620
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588280