On Model Based Synthesis of Embedded Control Software

Free registration required

Executive Summary

Many Embedded Systems are indeed Software Based Control Systems (SBCSs) that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on formal model based design approaches for control software. Given the formal model of a plant as a discrete time linear hybrid system and the implementation specifications (that is, number of bits in the Analog-to-Digital (AD) conversion) correct-by-construction control software can be automatically generated from System Level Formal Specifications of the closed loop system (that is, safety and liveness requirements), by computing a suitable finite abstraction of the plant.

  • Format: PDF
  • Size: 1635.6 KB