@book{GieseHildebrandtNeumannetal.2012, author = {Giese, Holger and Hildebrandt, Stephan and Neumann, Stefan and W{\"a}tzoldt, Sebastian}, title = {Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-191-2}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60184}, publisher = {Universit{\"a}t Potsdam}, pages = {vi, 51}, year = {2012}, abstract = {During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Sch{\"a}fer, Andy Sch{\"u}rr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.}, language = {en} } @book{NeumannGiese2013, author = {Neumann, Stefan and Giese, Holger}, title = {Scalable compatibility for embedded real-time components via language progressive timed automata}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-226-1}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-63853}, publisher = {Universit{\"a}t Potsdam}, pages = {vi, 67}, year = {2013}, abstract = {The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis.}, language = {de} } @book{BeckerGieseNeumann2009, author = {Becker, Basil and Giese, Holger and Neumann, Stefan}, title = {Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations}, organization = {System Analysis and Modeling Group}, isbn = {978-3-940793-91-1}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30473}, publisher = {Universit{\"a}t Potsdam}, year = {2009}, abstract = {Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the collaboration at runtime and therefore complex structural dynamics can result, which makes it very hard to ensure their correct and safe operation. We present in this paper our approach for modeling and verifying such dynamic collaborations. Modeling is supported using a well-defined subset of UML class diagrams, behavioral rules for the structural dynamics, and UML state machines for the role behavior. To be also able to verify the resulting service-oriented systems, we extended our former results for the automated verification of systems with structural dynamics [7, 8] and developed a compositional reasoning scheme, which enables the reuse of verification results. We outline our approach using the example of autonomous vehicles that use such dynamic collaborations via ad-hoc networking to coordinate and optimize their joint behavior.}, language = {en} } @article{GrottKnollenbergHammetal.2019, author = {Grott, Matthias and Knollenberg, J. and Hamm, M. and Ogawa, K. and Jaumann, R. and Otto, Katharina Alexandra and Delbo, M. and Michel, Patrick and Biele, J. and Neumann, Wladimir and Knapmeyer, Martin and K{\"u}hrt, E. and Senshu, H. and Okada, T. and Helbert, Jorn and Maturilli, A. and M{\"u}ller, N. and Hagermann, A. and Sakatani, Naoya and Tanaka, S. and Arai, T. and Mottola, Stefano and Tachibana, Shogo and Pelivan, Ivanka and Drube, Line and Vincent, J-B and Yano, Hajime and Pilorget, C. and Matz, K. D. and Schmitz, N. and Koncz, A. and Schr{\"o}der, Stefan E. and Trauthan, F. and Schlotterer, Markus and Krause, C. and Ho, T-M and Moussi-Soffys, A.}, title = {Low thermal conductivity boulder with high porosity identified on C-type asteroid (162173) Ryugu}, series = {Nature astronomy}, volume = {3}, journal = {Nature astronomy}, number = {11}, publisher = {Nature Publishing Group}, address = {London}, issn = {2397-3366}, doi = {10.1038/s41550-019-0832-x}, pages = {971 -- 976}, year = {2019}, abstract = {C-type asteroids are among the most pristine objects in the Solar System, but little is known about their interior structure and surface properties. Telescopic thermal infrared observations have so far been interpreted in terms of a regolith-covered surface with low thermal conductivity and particle sizes in the centimetre range. This includes observations of C-type asteroid (162173) Ryugu1,2,3. However, on arrival of the Hayabusa2 spacecraft at Ryugu, a regolith cover of sand- to pebble-sized particles was found to be absent4,5 (R.J. et al., manuscript in preparation). Rather, the surface is largely covered by cobbles and boulders, seemingly incompatible with the remote-sensing infrared observations. Here we report on in situ thermal infrared observations of a boulder on the C-type asteroid Ryugu. We found that the boulder's thermal inertia was much lower than anticipated based on laboratory measurements of meteorites, and that a surface covered by such low-conductivity boulders would be consistent with remote-sensing observations. Our results furthermore indicate high boulder porosities as well as a low tensile strength in the few hundred kilopascal range. The predicted low tensile strength confirms the suspected observational bias6 in our meteorite collections, as such asteroidal material would be too frail to survive atmospheric entry7}, language = {en} } @phdthesis{Neumann2013, author = {Neumann, Stefan}, title = {Modular timing analysis of component-based real-time embedded systems}, address = {Potsdam}, pages = {218 S.}, year = {2013}, language = {en} } @article{SeibelNeumannGiese2010, author = {Seibel, Andreas and Neumann, Stefan and Giese, Holger}, title = {Dynamic hierarchical mega models : comprehensive traceability and its efficient maintenance}, issn = {1619-1366}, doi = {10.1007/s10270-009-0146-z}, year = {2010}, abstract = {In the world of model-driven engineering (MDE) support for traceability and maintenance of traceability information is essential. On the one hand, classical traceability approaches for MDE address this need by supporting automated creation of traceability information on the model element level. On the other hand, global model management approaches manually capture traceability information on the model level. However, there is currently no approach that supports comprehensive traceability, comprising traceability information on both levels, and efficient maintenance of traceability information, which requires a high-degree of automation and scalability. In this article, we present a comprehensive traceability approach that combines classical traceability approaches for MDE and global model management in form of dynamic hierarchical mega models. We further integrate efficient maintenance of traceability information based on top of dynamic hierarchical mega models. The proposed approach is further outlined by using an industrial case study and by presenting an implementation of the concepts in form of a prototype.}, language = {en} } @article{HofmannVoellerNagelsetal.2015, author = {Hofmann, Reiner and V{\"o}ller, Heinz and Nagels, Klaus and Bindl, Dominik and Vettorazzi, Eik and Dittmar, Ronny and Wohlgemuth, Walter and Neumann, Till and St{\"o}rk, Stefan and Bruder, Oliver and Wegscheider, Karl and Nagel, Eckhard and Fleck, Eckart}, title = {First outline and baseline data of a randomized, controlled multicenter trial to evaluate the health economic impact of home telemonitoring in chronic heart failure - CardioBBEAT}, series = {Trials}, volume = {16}, journal = {Trials}, publisher = {BioMed Central}, address = {London}, organization = {CardioBBEAT Investigators}, issn = {1745-6215}, doi = {10.1186/s13063-015-0886-8}, pages = {12}, year = {2015}, abstract = {Background: Evidence that home telemonitoring for patients with chronic heart failure (CHF) offers clinical benefit over usual care is controversial as is evidence of a health economic advantage. Methods: Between January 2010 and June 2013, patients with a confirmed diagnosis of CHF were enrolled and randomly assigned to 2 study groups comprising usual care with and without an interactive bi-directional remote monitoring system (Motiva (R)). The primary endpoint in CardioBBEAT is the Incremental Cost-Effectiveness Ratio (ICER) established by the groups' difference in total cost and in the combined clinical endpoint "days alive and not in hospital nor inpatient care per potential days in study" within the follow-up of 12 months. Results: A total of 621 predominantly male patients were enrolled, whereof 302 patients were assigned to the intervention group and 319 to the control group. Ischemic cardiomyopathy was the leading cause of heart failure. Despite randomization, subjects of the control group were more often in NYHA functional class III-IV, and exhibited peripheral edema and renal dysfunction more often. Additionally, the control and intervention groups differed in heart rhythm disorders. No differences existed regarding risk factor profile, comorbidities, echocardiographic parameters, especially left ventricular and diastolic diameter and ejection fraction, as well as functional test results, medication and quality of life. While the observed baseline differences may well be a play of chance, they are of clinical relevance. Therefore, the statistical analysis plan was extended to include adjusted analyses with respect to the baseline imbalances. Conclusions: CardioBBEAT provides prospective outcome data on both, clinical and health economic impact of home telemonitoring in CHF. The study differs by the use of a high evidence level randomized controlled trial (RCT) design along with actual cost data obtained from health insurance companies. Its results are conducive to informed political and economic decision-making with regard to home telemonitoring solutions as an option for health care. Overall, it contributes to developing advanced health economic evaluation instruments to be deployed within the specific context of the German Health Care System.}, language = {en} }