Evolving Specifications for Embedded Systems in the Automotive Domain

摘要

In many respects a modern luxury car resembles a complex software system on wheels, containing over 70 embedded systems, many of them interconnected using domain-specific networks. In order to cope with the still-increasing complexity, there is a strong need to specify system characteristics formally, even for security-insensitive subsystems. In this paper we present a case study of a basic car entertainment system, specified in part by using evolving specifications (especs). Especs have a thorough mathematical foundation in category theory, but do not require deep categorical knowledge to be deployed. We use visualizations to guide the reader through our espec design.