Integrated Modeling and Development of Component-Based Embedded Software in Scala.

Developing embedded software requires good frameworks, models, and programming languages. The languages typically used for embedded programming (e.g., C and C++) tend to be decoupled from the models and tend to favor efficiency and low-level expressivity over safety, high-level expressivity, and ease of use. In this work, we explore the use of Scala for integrated modeling and development of embedded systems represented as sets of interconnected components. Although Scala today is not suitable for this domain, several current efforts aim to develop Scala-like embedded languages, so it is conceivable that in the future, such a language will exist. We present four internal Scala DSLs, each of which supports an aspect of embedded software development, inspired by an actual C++ framework for programming space missions. The DSLs support programming of software components, hierarchical state machines, temporal logic monitors, and rule-based test generators. The effort required to develop these DSLs has been small compared to the similar C++ effort .