Integrating Reactive Blocks with JamaicaVM
This collaborative concept paper highlights how graphical model-driven design, formal analysis, and automated Java code generation can be combined with JamaicaVM, a real-time virtual machine for Java bytecode, to support the intuitive design of event-driven hard real-time systems. Model-driven development of real-time applications empowers both domain experts and advanced programmers. While programmers can focus on the low-level internals of modules, the domain experts can combine these to create high-level applications. By providing well-defined abstract interfaces, the modelled applications also become more robust to technological changes. Another considerable advantage is that the real-time application itself serves as up-to-date documentation; It bridges gaps between IT, business, and non-tech customers and becomes a basis for inclusive discussions.