GENERATING SIMULINK AND STATEFLOW MODELS FROM SOFTWARE SPECIFICATIONS
Christian Heinzemann, Uwe Pohlmann, Jan Rieke, Wilhelm Schäfer, Oliver Sudmann, Matthias Tichy · 2012
Innovation in today's technical systems is largely driven by embedded software. Such systems are known as mechatronic systems. For example, it has been estimated that the current generation of upper class cars will contain about one gigabyte of software [Pretschner et al. 2007]. Mechatronic systems pose a challenge for software development as they are often employed in a safety-critical context and