Utilizing an IDE for component-based design of embedded real-time software for an autonomous car

Embedded systems are inherently reactive and they often operate under resource and real-time constraints. Hence, a model supporting these fundamental properties is desirable for an efficient and correct design process. To this end, we have developed a component model and design methodology that enables component-based design of embedded software. Moreover, we have developed an Integrated Development Environment (IDE) that ensures a systematic development of software in accordance with the methodology. In this paper we review the IDE and it’s underlying modeling framework and demonstrate its applicability through a use-case with typical properties - a control system with real-time constraints and hardware interaction. This paper describes the whole design process – requirements specification, conceptual model, component-level design, component implementation, code synthesis, testing, and verification. In particular, we show how the modeling framework enforces a static component and communication structure reflecting the concurrent behavior of the system and its interaction with the environment (target platform). Our results (a working protoype) indicate applicability of the presented design approach, and show the IDE’s ability to generate efficient executables. Additionally, we show how to prove the schedulability of the target system in the IDE using standard scheduling theorems and machine assisted WCET measurements. In conclusion, this paper demonstrates both the applicability of the software design methodology and the functionality of the developed IDE