AlanLight: sound, functionally correct, bounded acyclic data flow modeling

For programs controlling industrial processes, it is of vital importance that they produce results conform their functional specification. Furthermore, it is important that their running times are bounded, and that we can predict corresponding worst-case scenarios. Programs written in general purpose programming languages can crash or produce...

A model driven IDE for M-industries’ Alan

While software is becoming increasingly important in our world, software development is also advancing with an increasing pace. One of the reasons is the increase in available information, which triggered the birth of a new programming paradigm: Model Driven Development (henceforth MDD). Though this can shorten the development time and make it...