Dialect with instance of data fields (a generalization of arrays), useful for rapid prototyping of parallel algorithms, and parallel high-level system specification.

Researches realtime (with Asterix realtime kernel for space), embedded, safety critical systems, software engineering, monitoring and testing, programming languages. Lists of projects, publications, other documents. At IDt (CS) Department, Mälardalen ...