Software

On Model Based Synthesis of Embedded Control Software

Date Added: Jul 2012
Format: PDF

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.