Improving Quality Factors in Model-Based Embedded Software

This paper surveys, mainly through a run- ning example, the most noticeable features of Part-Whole Statecharts, a formalism originally conceived with the aim of introducing modularity within the Statecharts formalism in order to solve software quality issues of Harel’s Statecharts.Embedded systems (electronics and software) are of widespread use in safety-critical domains such as aerospace, automotive, and industrial automation and in business-critical domains such as communications and consumer electronics. Stringent quality requirements go together with the demand for low costs and low maintenance needs, but high safety and security levels, high dependability, high reliability and short time-to-market. This symposium will put the emphasis on quality engineering of these systems.