@inproceedings{SchorerKuntzMottok, author = {Schorer, Michael and Kuntz, Stefan and Mottok, J{\"u}rgen}, title = {Beschreibung eines kooperativen Tasksystems mit OSEK-konformen Scheduler durch Petri Netze}, series = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, booktitle = {Proceedings of the 2nd Embedded Software Engineering Congress, 8. bis 10. Dezember 2009, Sindelfingen}, pages = {637 -- 644}, language = {de} } @inproceedings{SchorerKuntzMottok, author = {Schorer, Michael and Kuntz, Stefan and Mottok, J{\"u}rgen}, title = {Verification of Behavioral Compatibility in the Virtual Integration Methodology}, series = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010}, booktitle = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010}, doi = {10.1109/WISES.2010.5548424}, pages = {35 -- 42}, abstract = {The advantages of component-based systems include reuse of generic components as well as adaption through variants. However, they bare a high risk of containing incompatibilities between components, due to the lack of control over the integration-relevant aspects of their components. Current development processes are able to detect incompatibilities between components only at very late stages of system development. The Virtual Integration methodology is an approach to detect and to solve compatibility issues during early stages of system design. The methodology supports developers with a set of measures to reduce the risk of incompatibilities to a minimum at each abstraction layer of their system architecture. Realtime requirements of embedded systems make it necessary to support the methodology with a formal model, which can describe dynamic properties of these systems. In our approach, we use interface automata because they offer a lightweight formalism to describe the behavior of components and to verify their compatibility based on these descriptions. In a feasibility study we show, to which extend interface automata are adequate for the foresaid purpose in the automotive application field.}, language = {en} } @inproceedings{NickSchorerMottok, author = {Nick, Matthias and Schorer, Michael and Mottok, J{\"u}rgen}, title = {Feasibility Study of a Build System Performing Automated Builds Based on Model-Based Build Descriptions}, series = {2nd Applied Research Conference 2012 (ARC 2012), 25./26. June 2012, Nuremberg}, booktitle = {2nd Applied Research Conference 2012 (ARC 2012), 25./26. June 2012, Nuremberg}, editor = {Mottok, J{\"u}rgen and Ziemann, Olaf}, publisher = {Shaker}, address = {Aachen}, pages = {71 -- 75}, language = {en} }