SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Recent studies have shown that the perception of natural movements--in the sense of being "humanlike"--depends on both joint and task space characteristics of the movemen...
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...