We present vpl2cxx, a translator that automatically generates efficient, fully distributed C++ code from high-level system models specified in the mathematically well-founded VPL design language. As the Concurrency Workbench of the New Century (CWB-NC) verification tool includes a front-end for VPL, designers may use the full range of automatic verification and simulation checks provided by thi...

Abstract One of the most important lifestyle risk factors for many chronic conditions in older age, low physical activity has shown to have significant impact on sustainability national welfare developed countries. Technology-based assisted living solutions can effectively be used enable adults optimise their health-related quality life, as well promote an active and healthy longevity. This pap...